Courbe de De Rham
![Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png)
Cet article ne cite pas suffisamment ses sources ().
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 ?
En mathématiques, une courbe de De Rham est une courbe fractale continue obtenue comme l'image de l'espace de Cantor ou, de manière équivalente, à partir du développement en base 2 des nombres réels dans l'intervalle unité. De nombreuses courbes fractales bien connues, dont la fonction de Cantor, la courbe de Cesàro-Faber ( courbe C de Lévy ), la fonction point d'interrogation de Minkowski, la courbe de blanc-manger et la courbe de Koch sont toutes des exemples de courbes de De Rham. La forme générale de la courbe a été décrite pour la première fois par Georges de Rham en 1957[1].
Construction
On considère un espace métrique complet (en général 2 avec la distance euclidienne habituelle), et une paire d'applications contractantes sur M :
D'après le théorème du point fixe de Banach, ceux-ci ont des points fixes et respectivement. Soit x un nombre réel dans l'intervalle , ayant un développement binaire
où chaque vaut 0 ou 1. On considère l'application
définie par
où désigne la composition des fonctions. On peut montrer que chaque projette le bassin d’attraction commun de et vers un seul point dans . L'ensemble de points , paramétrée par un seul paramètre réel x, est connue sous le nom de courbe de De Rham.
Condition de continuité
La construction en termes de chiffres binaires peut être comprise de deux manières distinctes. Une solution consiste à projeter l'espace de Cantor en des points distincts du plan. L'espace de Cantor est l'ensemble de toutes les chaînes infiniment longues de chiffres binaires. C'est un espace discret et non connexe. L'espace de Cantor peut être projeté sur l'intervalle réel unité en voyant chaque chaîne comme un développement binaire d'un nombre réel. Dans cette carte, les fractions dyadiques ont deux représentations distinctes sous forme de chaînes de chiffres binaires. Par exemple, le nombre réel 1/2 a deux développements binaires équivalents : et , de manière analogue à l'égalité 0,999... = 1,000... en termes de développements décimaux. Les deux points et sont des points distincts dans l'espace de Cantor, mais les deux sont projetés sur le nombre même réel 1/2. Ainsi, les réels de l’intervalle unité sont une image continue de l’espace de Cantor.
La même notion de continuité est appliquée à la courbe de De Rham en demandant que les points fixes soient appariés, de sorte que
Avec cet appariement, les développements binaires des fractions dyadiques correspondent toujours au même point, assurant ainsi la continuité à ce point. On considére le comportement en 1/2. Pour tout point p du plan, on a deux suites distinctes :
correspondant aux deux développements binaires et . Puisque les deux applications sont toutes deux contractantes, la première suite converge vers et la deuxième à . Si ces deux éléments sont égaux, alors les deux développements binaires de 1/2 correspondent au même point. Cet argument peut être répété à n’importe quelle fraction dyadique, assurant ainsi la continuité en ces points. Les nombres réels qui ne sont pas des fractions dyadiques n'ont qu'une seule représentation binaire unique, et il s'ensuit que la courbe ne peut pas être discontinue en de tels points. La courbe de De Rham résultante est une fonction continue de x, pour tout x.
En général, les courbes de De Rham ne sont pas dérivables.
Propriétés
Les courbes de De Rham sont par construction auto-similaires, puisque
- pour et
- pour
Les auto-symétries de toutes les courbes de De Rham sont données par le monoïde qui décrit les symétries de l'arbre binaire infini ou espace de Cantor. Ce soi-disant monoïde à doublement de période est un sous-ensemble du groupe modulaire.
L'image de la courbe, c'est-à-dire l'ensemble des points , peut être obtenu par un système de fonctions itérées utilisant l'ensemble des applications contractantes . Mais le résultat d’un système de fonctions itérées avec deux applications contractantes est une courbe de De Rham si et seulement si les applications contractantes satisfont à la condition de continuité.
Des exemples détaillés et concrets des autosimilarités peuvent être trouvés dans les articles sur l'escalier de Cantor et sur la fonction point d'interrogation de Minkowski. Précisément le même monoïde d'autosimilarités, le monoïde dyadique, s'applique à chaque courbe de De Rham.
Classification et exemples
Les systèmes suivants génèrent des courbes continues.
Courbes de Cesàro
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Cesaro-0.3.png/220px-Cesaro-0.3.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/48/Cesaro-0.5.png/220px-Cesaro-0.5.png)
Les courbes de Cesàro, également connues sous le nom de courbes de Cesàro – Faber ou courbes en C de Lévy, sont des courbes de De Rham générées par des transformations affines conservant l'orientation, avec des points fixes en et .
En raison de ces contraintes, les courbes de Cesàro sont déterminées de manière unique par un nombre complexe tel que et .
Les applications contractantes et sont alors définies comme fonctions complexes dans le plan complexe par :
Pour la valeur de , la courbe résultante est la courbe en C de Lévy.
Courbes de Koch-Peano
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/27/Koch-Peano-0.37.png/220px-Koch-Peano-0.37.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/96/Koch-Peano-0.45.png/220px-Koch-Peano-0.45.png)
De la même manière, on peut définir la famille de courbes de Koch – Peano comme l'ensemble des courbes de De Rham générées par des transformations affines inversant l'orientation, avec des points fixes en et .
Ces applications sont exprimées dans le plan complexe en fonction de , le complexe conjugué de :
Le nom de la famille vient de ses deux membres les plus célèbres. Le flocon de Koch est obtenue en fixant :
tandis que la courbe de Peano correspond à :
La courbe de De Rham pour pour les valeurs de inférieures et proches de 1 ressemble visuellement à la courbe d'Osgood (en). Ces deux courbes sont étroitement liées, mais ne sont pas identiques. La courbe d'Osgood est obtenue par soustraction d'ensembles répétés et constitue donc un ensemble parfait, tout comme l'ensemble de Cantor lui-même. La construction de l'ensemble d'Osgood demande que des triangles de plus en plus petits soient soustraits, laissant derrière eux un ensemble « gros » de mesure non nulle ; la construction est analogue à l'ensemble gras de Cantor, qui a une mesure non nulle. En revanche, la courbe de De Rham n’est pas « grosse » ; la construction n'offre pas de moyen de « grossir » les « segments de droite » qui se situent « entre » les rationnels dyadiques.
Applications affines générales
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9a/Curve_0.33_-0.38_-0.18_-0.42.png/220px-Curve_0.33_-0.38_-0.18_-0.42.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ad/Curve_-0.10_-0.80_-0.30_-0.60.png/220px-Curve_-0.10_-0.80_-0.30_-0.60.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0a/Curve_0.00_0.60_0.18_0.60.png/220px-Curve_0.00_0.60_0.18_0.60.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e9/Curve_-0.35_0.00_-0.35_0.00.png/220px-Curve_-0.35_0.00_-0.35_0.00.png)
Les courbes de Cesàro–Faber et de Peano–Koch sont toutes deux des cas particuliers du cas général d'une paire de transformations linéaires affines sur le plan complexe. En fixant une extrémité de la courbe à 0 et l'autre à 1, le cas général est obtenu en itérant sur les deux transformées
Étant des transformations affines, ces transformations agissent sur un point du plan 2D en agissant sur le vecteur
On voit que le milieu de la courbe se situe en ; les quatre autres paramètres peuvent varier pour créer une grande variété de courbes.
La courbe du blanc-manger du paramètre peut être obtenu en définissant , et , soit :
Depuis la courbe du blanc-manger pour le paramètre est une parabole de l'équation , cela illustre le fait que dans certaines occasions, les courbes de De Rham peuvent être lisses.
Fonction point d'interrogation de Minkowski
La fonction point d'interrogation de Minkowski est générée par la paire d'applications
Non-exemples
Étant donné deux fonctions quelconques et , on peut définir une application à partir de l'espace de Cantor, par itération répétée des chiffres, exactement de la même manière que pour les courbes de De Rham. En général, le résultat ne sera pas une courbe de De Rham si les conditions de continuité ne sont pas remplies. Ainsi, il existe de nombreux ensembles qui pourraient être en correspondance biunivoque avec l'espace de Cantor, dont les points peuvent être associés de manière unique avec des points dans l'espace de Cantor ; cependant, ce ne sont pas des courbes de De Rham, car les rationnels dyadiques ne correspondraient pas au même point.
Ensemble de Julia de l'ensemble de Mandelbrot
L'ensemble de Mandelbrot est généré par une équation itérée de doublement de période L'ensemble de Julia correspondant est obtenu en itérant dans la direction opposée. Cela se fait en écrivant , ce qui donne deux racines distinctes déduites de l'itération avant . Ces deux racines peuvent être distinguées comme
En fixant du nombre complexe , le résultat est l'ensemble de Julia pour cette valeur de . Cette courbe est continue lorsque est à l'intérieur de l'ensemble de Mandelbrot ; sinon, c'est un nuage de points déconnectés. Cependant, la raison de la continuité n'est pas due à la condition de De Rham, car, en général, les points correspondant aux rationnels dyadiques sont très éloignés les uns des autres. En fait, cette propriété peut être utilisée pour définir une notion de « pôles opposés », de points conjugués dans l'ensemble de Julia.
Généralisations
Il est facile de généraliser la définition en utilisant plus de deux applications de contraction. Si l'on utilise n applications, alors la décomposition n-aire de x doit être utilisée à la place du développement binaire des nombres réels. La condition de continuité doit être généralisée en :
- , pour
Cette condition de continuité peut être comprise avec l’exemple suivant. Supposons que l'on travaille en base 10. Ensuite, on a (classiquement) la correspondance 0,999...= 1,000... ce qui est une équation de continuité qui doit être appliquée à chaque écart de ce type. Autrement dit, étant donné les chiffres décimaux avec , on a
Une telle généralisation permet, par exemple, de produire la courbe en pointe de flèche de Sierpiński (dont l'image est le triangle de Sierpiński ), en utilisant les applications de contraction d'un système de fonctions itérées qui produit le triangle de Sierpiński.
Courbes multifractales
Ornstein et d'autres décrivent un système multifractal dans lequel, au lieu de travailler sur une base fixe, on travaille sur une base variable.
On considère l'espace produit d'espaces discrets des bases variables
pour le groupe cyclique, pour un nombre entier. Tout nombre réel dans l'intervalle unité peut être développé en une suite telle que chaque . Plus précisément, un nombre réel s'écrit comme
Ce développement n'est pas unique, si pour tout . Dans ce cas, on a :
De tels points sont analogues aux rationnels dyadiques dans le développement dyadique, et les équations de continuité sur la courbe doivent être appliquées à ces points.
Pour chaque , il faut préciser deux choses : un ensemble de deux points et et un ensemble de fonctions (avec ). La condition de continuité est alors comme ci-dessus,
- , pour
Dans son exemple original, Ornstein utilise
Voir également
- Système de fonctions itérées
- Fonction raffinable (en)
- Groupe modulaire
- Groupe fuchsien (en)
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « De Rham curve » (voir la liste des auteurs).
- ↑ Georges de Rham, Sur quelques courbes definies par des equations fonctionnelles. Univ. e Politec. Torino. Rend. Sem. Mat., 1957, 16, 101 –113
Bibliographie
- (en) Georges de Rham, On Some Curves Defined by Functional Equations (1957), reprinted in Classics on Fractals, ed. Gerald A. Edgar (Addison-Wesley, 1993), pp. 285–298.
- (en) Linas Vepstas, A Gallery of de Rham curves, (2006).
- (en) Linas Vepstas, Symmetries of Period-Doubling Maps, (2006). (A general exploration of the modular group symmetry in fractal curves.)
v · m | |
---|---|
Caractéristiques | |
Système de fonctions itérées | |
Attracteur étrange | |
L-Système |
|
Création |
|
Techniques de rendu photoréaliste |
|
Fractales aléatoires | |
Personnalités | |
|
Portail de l'analyse
Portail de la géométrie