Polyèdre fractal

Un polyèdre est dit fractal lorsqu'il est constitué d'un ensemble connexe autosimilaire de polyèdres construit itérativement à partir d'un polyèdre initial.

Tétraèdre de Sierpinski

Construction des polyèdres fractals

Soit un polyèdre $P$ d'ordre n, à n sommets notés $S_{i}$. Le polyèdre fractal associé est construit en appliquant itérativement à ce polyèdre un système de n homothéties $H_{i}$ sur $\scriptstyle {\mathbb {R} ^{3}}$, de rapport unique $R$ telles que:

• le centre de l'homothétie $H_{i}$ est le sommet $S_{i}$.
• le rapport $R$ est le plus grand rapport tel que l'intersection de deux quelconques des polyèdres images soit de volume nul.

Le rapport est donc déterminé pour que l'ensemble soit tout juste connexe, les intersections étant limitées à des points ou des arêtes.

On définit à partir des homothéties $H_{i}$ une nouvelle fonction $H$, elle aussi contractante sur $\scriptstyle {\mathbb {R} ^{3}}$ muni de la distance de Hausdorff, par l'expression $\scriptstyle {H(P)=\bigcup _{i=1}^{n}H_{i}(P)}$. $H(P)$ est un ensemble de n polyèdres similaires à $P$.

Le théorème du point fixe assure l'existence et l'unicité d'un sous-ensemble fixe $F$ de $\scriptstyle {\mathbb {R} ^{3}}$ tel que $H(F)=F$. $F$ est appelé attracteur du système de fonctions itérées H. En pratique, F est obtenu comme la limite $H^{n}(F_{0})$ pour $n\to \infty$ où $F_{0}$ est un compact quelconque, tel que le polyèdre $P$.

Pour chaque polyèdre platonique, à l'exception notable du cube, en itérant à l'infini, l'ensemble résultant est un ensemble fractal. Pour obtenir un ensemble connexe, le rapport d'homothétie nécessaire pour le cube serait 1/2. Mais l'ensemble résultant est le cube lui-même et n'est donc pas fractal.

Les polyèdres fractals platoniques

On appelle polyèdre fractal platonique un polyèdre fractal issu d'un polyèdre régulier convexe. Le cube ne génère pas d'ensemble fractal selon les règles mentionnées ci-dessus.

	Tétraèdre fractal	Octaèdre fractal	Dodécaèdre fractal	Icosaèdre fractal
Nombre d'homothéties	4	6	20	12
Rapport d'homothétie	$\textstyle {{\frac {1}{2}}=0,5}$	$\textstyle {{\frac {1}{2}}=0,5}$	$\textstyle {{\frac {1}{2+\varphi }}\approx 0,2763}$	$\textstyle {{\frac {1}{1+\varphi }}\approx 0,3819}$
Dimension fractale	$\textstyle {{\frac {\ln(4)}{\ln(2)}}=2}$	$\textstyle {{\frac {\ln(6)}{\ln(2)}}\approx 2,5849}$	$\textstyle {{\frac {\ln(20)}{\ln(2+\varphi )}}\approx 2,3296}$	$\textstyle {{\frac {\ln(12)}{\ln(1+\varphi )}}\approx 2,5819}$

Tétraèdre fractal ou tétraèdre de Sierpinski

Tétraèdre de Sierpinski après la troisième itération

Le polyèdre fractal de la pyramide de Sierpiński à la 8ème itération. Mai 2023.

Le tétraèdre fractal est l'extension naturelle à la 3^e dimension du triangle de Sierpinski. Il a la particularité d'avoir pour dimension 2. En conséquence, sa surface ne varie pas d'une itération à l'autre. A l'infini, sa surface est identique à celle du tétraèdre d'origine.

	Volume	Surface
A l'itération n	${\frac {\sqrt {2}}{3*2^{n+2}}}a^{3}$	${\sqrt {3}}a^{2}$
% variation entre deux itérations	$-50\%$	$0\%$
A l'infini	$Nul$	${\sqrt {3}}a^{2}$

avec $a$ = longueur de l'arête du polyèdre d'origine.

Octaèdre fractal

Octaèdre fractal après la troisième itération

L'octaèdre fractal est le polyèdre fractal dont le volume diminue le plus lentement d'une itération à l'autre.

L'intersection de deux polyèdres images voisins est une arête et non un sommet.

Chaque face est un triangle de Sierpinski.

À la limite, sa surface infinie enveloppe un volume nul.

	Volume	Surface
A l'itération n	${\frac {3^{n-1}{\sqrt {2}}}{2^{2n}}}a^{3}$	${\frac {{3^{n}}{\sqrt {3}}}{2^{n-1}}}a^{2}$
% variation entre deux itérations	$-25\%$	$+50\%$
A l'infini	$Nul$	$\infty$

avec $a$ = longueur de l'arête du polyèdre d'origine.

Dodécaèdre fractal

Dodécaèdre fractal après la troisième itération

Le dodécaèdre fractal est le polyèdre fractal platonique dont le volume diminue le plus vite d'une itération à l'autre.

À la limite, sa surface infinie enveloppe un volume nul.

	Volume	Surface
A l'itération n	${\frac {20^{n}(2+7\varphi /2)}{(2+\varphi )^{3n}}}a^{3}$	${\frac {3*20^{n}{\sqrt {5(3+4\varphi )}}}{(2+\varphi )^{2n}}}a^{2}$
% variation entre deux itérations	$-57,7\%$	$+53,8\%$
A l'infini	$Nul$	$\infty$

avec $a$ = longueur de l'arête du polyèdre d'origine et $\scriptstyle {\varphi =(1+{\sqrt {5}})/2}$, le nombre d'or.

Icosaèdre fractal

Icosaèdre fractal après la troisième itération

L'icosaèdre fractal est le polyèdre fractal platonique dont la surface augmente le plus vite d'une itération à l'autre.

À la limite, sa surface infinie enveloppe un volume nul.

	Volume	Surface
A l'itération n	${\frac {5*12^{n}}{6(1+\varphi )^{3n-1}}}a^{3}$	${\frac {5*12^{n}{\sqrt {3}}}{(1+\varphi )^{2n}}}a^{2}$
% variation entre deux itérations	$-33,1\%$	$+75,1\%$
A l'infini	$Nul$	$\infty$

avec $a$ = longueur de l'arête du polyèdre d'origine et $\scriptstyle {\varphi =(1+{\sqrt {5}})/2}$, le nombre d'or.

Généralisation

Cube de Cantor

On peut généraliser la construction et ignorer la propriété de connexité en s'autorisant un rapport strictement inférieur à la valeur critique.

Dans ce cas, l'ensemble résultat n'est plus connexe et on ne peut plus parler de polyèdre.

Par exemple, le cube auquel on applique un rapport d'homothétie $R=1/3$ conduit à un ensemble disjoint qui, lui, est fractal et a pour dimension $ln(8)/ln(3)=1,8928$. Il est baptisé Cube de Cantor.

Voir aussi

• Fractale
• Liste de fractales par dimension de Hausdorff

Liens externes

• (en) Paul Bourke, « Sierpinski Gasket », sur paulbourke.net, 1993 (consulté le 16 janvier 2024)