Polyèdre fractal

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (janvier 2024).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Motif : Aucune citation.

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.

Construction des polyèdres fractals[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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.