Système de fonctions itérées
En mathématiques, un système de fonctions itérées (SFI ou encore IFS, acronyme du terme anglais Modèle:Lang) est un outil pour construire des fractales. Plus précisément, l'attracteur d'un système de fonctions itérées est une forme fractale autosimilaire faite de la réunion de copies d'elle-même, chaque copie étant obtenue en transformant l'une d'elles par une fonction du système<ref>Modèle:Lien web</ref>.
La théorie a été formulée lors d'un séjour à l'université de Princeton par John Hutchinson en 1980<ref name=":5">Modèle:Article (p. 714) : Modèle:Citation étrangère.</ref>. Michael Barnsley a démontré, avec le théorème du collage, que tout ensemble compact de points peut être approximé d'un SFI.
Définition
Un SFI est une famille Modèle:Mvar de Modèle:Mvar fonctions contractantes <math>T_i:M\to M</math> dans un espace métrique complet Modèle:Mvar<ref>Modèle:Lien web.</ref>,<ref>Modèle:Lien web.</ref>.
On définit à partir des Modèle:Mvar une nouvelle fonction Modèle:Mvar, elle aussi contractante sur <math>(\mathcal{H}(M),h)</math>, l'ensemble des parties compactes de Modèle:Mvar muni de la distance de Hausdorff, par l'expression <math>T(A)=\bigcup_{i=1}^NT_i(A)</math>, appelée opérateur de Hutchinson de Modèle:Mvar<ref name=":5" />.
<math>(\mathcal{H}(M),h)</math> est un espace métrique complet<ref>Modèle:Ouvrage</ref>.
Le théorème du point fixe de Banach assure l'existence et l'unicité d'un sous-ensemble Modèle:Mvar de Modèle:Mvar fixe par Modèle:Mvar.
Modèle:Mvar est appelé attracteur du SFI et noté Modèle:Math.
- Remarques
- En pratique, on choisit un compact quelconque Modèle:Mvar, par exemple un point, et on considère la suite Modèle:Math, autrement dit l'orbite de Modèle:Mvar<ref name=":6" />. Il est remarquable que cette suite converge alors, pour n'importe quel compact Modèle:Mvar, vers Modèle:Math. C'est de là que vient le terme d'itéré<ref name=":7" />.
- La plupart des fonctions des SFI classiques sont des fonctions affines<ref name=":3">Modèle:Lien web.</ref>,<ref name=":4">Modèle:Lien web.</ref>,<ref name=":7">Modèle:Ouvrage.</ref>.
- On appelle flammes fractales des fractales obtenues par des fonctions non linéaires<ref>Modèle:Lien web.</ref>.
Exemple
Considérons les deux homothéties définies sur <math>\Bbb R</math> par <math>f_1(x)=\frac{x}{3}, f_2(x)=\frac{x+2}{3}</math>. Les deux ont pour rapport <math>\frac{1}{3}</math>. La première a pour centre <math>0</math> et la deuxième <math>1</math>. <math>\Bbb K_3</math>, l'ensemble triadique de Cantor vérifie alors <math>\Bbb K_3=f_1(\Bbb K_3)\cup f_2(\Bbb K_3)</math>. La famille de contractions est ici <math>\{f_1,f_2\}</math> et <math>\Bbb K_3</math> en est l'attracteur<ref>Modèle:Ouvrage</ref>,<ref>Modèle:Ouvrage</ref>.
Caractère d’auto similarité
En reprenant les notations précédentes, il doit être précisé que l'on applique le théorème du point fixe dans l'espace métrique complet Modèle:Math des compacts non vides de Modèle:Math, muni de la distance de Hausdorff. Ainsi, Modèle:Mvar est lui-même un espace compact non vide de Modèle:Math, c'est-à-dire un fermé borné. Il doit aussi être précisé en quoi Modèle:Mvar est une fractale. En réécrivant l'égalité Modèle:Math, est obtenu : <math>F=\bigcup_{i=1}^NT_i(F)</math>. C'est l'égalité qui traduit l'intuition obtenue en observant bon nombre d'attracteurs de systèmes de fonctions itérées (la courbe de Lévy par exemple, l'ensemble de Cantor, le triangle de Sierpinski<ref name=":0">Modèle:Ouvrage.</ref>...). Le caractère d'autosimilarité est ici parfaitement définissable mathématiquement, et au moins exploitable dans le cadre restreint des attracteurs de systèmes de fonctions itérées. C'est celle choisie par John Hutchinson dès la première page de son article de 1980<ref name=":5" />.
Géométrie des attracteurs
Soit <math>\mathcal{A}:=|\{f_1,f_2\}|</math> un attracteur, où les <math>f_i</math> sont injectives, et <math>K</math> un compact.
(i) On suppose que <math>f_1(K)\cup f_2(K) \subset K \text{ et }f_1(K)\cap f_2(K) =\varnothing</math> . Alors <math>\mathcal{A}</math> est totalement discontinu.
(ii) On suppose que <math>f_1(K)\cup f_2(K) \subset K \text{ et }f_1(K)\cap f_2(K) \neq \varnothing</math>. Alors <math>\mathcal{A}</math> est connexe<ref name=":6" />.
Par exemple, l'ensemble triadique de Cantor est totalement discontinu.
Dimension de la fractale
De la construction du SFI, on peut déduire la dimension de Hausdorff de la fractale finale : si l'application Modèle:Mvar est contractante de rapport Modèle:Mvar, et que Modèle:Mvar(|Modèle:Mvar|) est disjoint de Modèle:Mvar(|Modèle:Mvar|), pour tous Modèle:Math distincts, alors la dimension de Modèle:Mvar est le réel Modèle:Mvar vérifiant :<math>\sum_{i=1}^N k_i^d = 1.</math>
Une riche source de fractales
C'est en ces termes que Michael Barnsley explique l'intérêt du théorème suivant<ref name=":1">Modèle:Ouvrage.</ref> :
- Exemples
- Le cas Modèle:Math fournit le disque unité.
- Le cas Modèle:Math fournit l'ensemble de Julia associé, noté<ref>Modèle:Lien web.</ref> Modèle:Math. On peut prendre pour Modèle:Mvar le carré de centre 0 et de côté 4.
- On a<ref name=":1" />, de façon générale, <math>A = \left \{ x\in X\mid\forall n=0, 1, 2... f^ n(x)\in X\right \}</math>. Autrement dit, Modèle:Mvar est l'ensemble des points dont l'orbite ne s'échappe pas de Modèle:Mvar, où l'on appelle<ref name=":6">Modèle:Ouvrage, p.80.</ref> orbite d'un point <math>x\in X </math> la suite Modèle:Math.
Exemples d'attracteurs classiques
- Le tapis de Sierpiński, défini par 8 similitudes de rapports 1/3.
- La fougère de Barnsley, construite à partir de quatre contractions affines (rouge, bleu, cyan et vert sur l'illustration).
- La courbe de Takagi, attracteur d'une paire de contractions affines qui sont des composées de transvection avec une homothétie de rapport 1/2<ref>Modèle:Lien web.</ref>.
- La courbe de Koch et la courbe de Cesaro.
- L'escalier du diable<ref>Modèle:Lien web.</ref>
- La courbe de Hilbert<ref>Modèle:Lien web.</ref>.
- La courbe de Lévy
- La courbe du dragon
- L'éponge de Menger
- Un arbre fractal<ref>Modèle:Lien web.</ref>
Références
Voir aussi
Article connexe
Jeu du chaos, une version simplifiée proposée par Barnsley.
Liens externes
Logiciels
- Apophysis, générateur de fractales supportant des fonctions non linéaires.
- Glito, programme libre permettant d'explorer les SFI de dimension 2 (applications affines, fonction sinusoïdales, ensemble de Julia).
- Générateur de SFI en ligne, proposant des systèmes de fonctions itérées classiques, et permettant également de créer des SFI inédits.
