Système itéré de fonction

Système itéré de fonction

Système de fonctions itérées

Fractales contruites à partir d'un système de 3 similitudes
Fractale "Flame" contruite à partir d'un système itéré de fonctions non linéaires, avec le programme Apophysis

Un système de fonctions itérées ou IFS (d'après le nom anglais Iterated Function System) est une théorie mathématique développée par John Hutchinson en 1981 mais presque essentiellement utilisée dans le cadre de la géométrie fractale (depuis les travaux de Barnsley en 1988 et son livre Fractals Everywhere). Cette théorie est entièrement fondée sur les invariances par changement d'échelle.

Un IFS peut être la représentation fonctionnelle d'une fractale. Cela donne une théorie parfaitement définie mathématiquement qui permet de nombreuses études sur les fractales (Continuité, dérivabilité, approximation...)

Un IFS est un ensemble de N fonctions contractantes T_i:M\to M dans un espace métrique M.

On définit une fonction également contractantes sur l'ensemble des parties munie avec la distance de Hausdorff, T=\bigcup_{i=1}^N{T_i}:\mathcal{P}(M)\to\mathcal{P}(M).

Le théorème du point fixe donne l'existence et l'unicité d'un sous-ensemble fixe F\subset M tel que T(F) = F. F est appelé attracteur de l'IFS. F est alors une fractale.

En pratique, F est obtenue comme la limite Tn(F0) pour n\to\infty où F0 est un compact quelconque. C'est de cette propriété qui vient le mot itéré car on se restreint souvent à l'étude de TN(F0) une approximation de la fractale.

Remarques :

  • Les IFS ne servent pas uniquement à la modélisation des fractales, même si c'est dans ce cadre-là qu'elles sont le plus utilisées.
  • La plupart des fonctions des IFS sont des fonctions affines. On appelle flame IFS des fractales obtenues par des fonctions non linéaires.

Sommaire

Dimension fractale

Si la condition d'ensemble ouvert est respectée, la valeur de la dimension de Hausdorff D de l'attracteur d'un IFS composé de k similitudes contractantes de rapport ci, satisfait à l'équation suivante:

c_1^D+c_2^D+ \dots + c_k^D=1

Dans le cas de fonctions affines ou non linéaires, cette equation n'est plus valable.

Exemples

La fougère de Barnsley, élaborée par un système de 3 fonctions affines
Fonction 1 : homothétie de rapport 1/3 par rapport au point (0,0,0)
Fonction 2 : homothétie de rapport 1/3 par rapport au point (1,0,0)
  • Le tapis de Sierpinski de sommets P1, P2, P3 et P4 : 4 homothéties de rapport 1/2 par rapport à chacun des points Pi
  • La fougère de Barnsley, construite à partir de trois contractions affines (rouge, bleu et cyan sur l'illustration)

Images

Encyclopédie numérique des fractales IFS

De nombreux exemples d'images fractales IFS.
http://fractal.ifrance.com/

Logiciels

  • Brazil Fractal Builder
Logiciel permettant la création d'images fractales de type IFS. Son avantage est de permettre de véritablement construire les objets fractals que vous désirez, de façon visuelle et sans connaissances mathématiques préalables.
http://www.geocities.com/CapeCanaveral/Lab/1837/
  • Portail des mathématiques Portail des mathématiques

Ouvrages de référence

  • (en) Kenneth Falconer, Fractal geometry: Mathematical foundations and applications, John Wiley and Sons, 1990 (ISBN 0-471-92287-0), p. 113–117,136 
  • John E. Hutchinson, « Fractals and self similarity », dans Indiana Univ. Math. J., vol. 30, 1981, p. 713–747 [lien DOI] 
Ce document provient de « Syst%C3%A8me de fonctions it%C3%A9r%C3%A9es ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Système itéré de fonction de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Systeme de fonctions iterees — Système de fonctions itérées Fractales contruites à partir d un système de 3 similitudes …   Wikipédia en Français

  • Système de fonctions itérées — Fractales construites à partir d un système de 3 similitudes …   Wikipédia en Français

  • Collage — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Collage », sur le Wiktionnaire (dictionnaire universel) Collage, assemblage de matériaux au moyen d… …   Wikipédia en Français

  • Liste de fractales par dimension de Hausdorff — Cet article est une liste de fractales, ordonnées par dimension de Hausdorff croissante. En mathématiques, une fractale est un ensemble dont la dimension de Hausdorff (notée δ) est strictement supérieure à la dimension topologique[1]. Sommaire 1… …   Wikipédia en Français

  • Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …   Wikipédia en Français

  • Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of… …   Wikipédia en Français

  • Méthode de Newton — Isaac Newton En analyse numérique, la méthode de Newton ou méthode de Newton Raphson[1] est, dans son application la plus simple, un algorithme efficace pour trouver numériquement une approximation précise d …   Wikipédia en Français

  • SYSTÈMES DYNAMIQUES DIFFÉRENTIABLES — Sans doute née avec le mémoire que Poincaré écrivit en 1881 «sur les courbes définies par des équations différentielles», où l’étude quantitative (analytique) locale des équations différentielles dans le champ complexe est remplacée par leur… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”