- Dimension de hausdorff
-
Dimension de Hausdorff
En topologie, la dimension de Hausdorff d'un espace métrique (X,d) est un nombre réel positif ou nul, éventuellement l'infini. Si deux métriques sont Lipschitz-équivalentes, alors elles ont la même dimension de Hausdorff. Introduite en 1918 par le mathématicien Felix Hausdorff, elle a été développée par Abram Samoilovitch Besicovitch. Elle est parfois appelée dimension de Hausdorff-Besicovitch.
Un espace vectoriel réel de dimension finie E peut être muni d'une norme et toutes les normes sont équivalentes. La dimension de Hausdorff de E fait sens et vaut la dimension de E - telle qu'elle est définie en algèbre linéaire. Cependant, en général, la dimension de Hausdorff n'est pas entière. Par exemple, la dimension de Hausdorff d'une courbe peut être strictement supérieure à 1. Il est possible de rencontrer des espaces métriques compacts de dimension 0 qui ne soient pas finis.
Sommaire
Introduction informelle
Intuitivement, la dimension d'un ensemble à l'instar d'une partie d'un espace euclidien est le nombre de paramètres indépendants pour décrire un point dans cet ensemble. Ainsi a-t-on besoin d'un seul paramètre pour décrire un point sur une règle, de deux paramètres pour décrire la position d'un clou sur un mur, de trois paramètres pour décrire la position d'une balle de tennis dans l'espace, et plus généralement de n paramètres pour décrire un point dans .
Comment atteindre cette donnée en utilisant uniquement la structure métrique ? Si on dispose de d paramètres pour repérer un point, pour l'approximer à près, on devrait disposer d'un points. Soit X un espace métrique compact. Posons N(r) le nombre minimal de boules ouvertes de rayon r nécessaires pour recouvrir X. Lorsque N(r) croît comme , l'espace X est dit de dimension d.
Une introduction à cette notion sur le sujet suivant : http://www.corriges-mathprepa.fr/corriges-1980/pdf/m80tm2ea.pdfDéfinition
La dimension de Haussdorff offre un moyen usuel de calcul de la dimension d'un espace métrique. Sa définition requiert l'étude des mesures de Hausdorff Hs
Calcul pratique dans un cas particulier classique
Si E est une partie d'un ℝ-espace vectoriel qui vérifie la propriété suivante :
« Il existe n similitudes f₁, f₂, …, fn de rapports r₁, r₂, …, rn telles que f₁(E), f₂(E), …, fn(E) soient disjoints deux à deux et que leur union soit isométrique avec E. »,
alors on a la relation :
- , où d est la dimension de E.
Cela découle de la propriété suivante des mesures de Hausdorff :
- « Pour tout λ positif, . »
et de l'invariance par isométrie. Cela offre un moyen simple de calculer les dimensions de fractales classiques, telles le flocon de Koch, le tapis de Sierpinski, etc.
Exemple.
L'ensemble de Cantor est constituée de deux ensembles de Cantor trois fois plus petits ; les deux similitudes sont donc ici des homothéties de rapports 1/3, composées avec des translations. Donc , ce qui donne : .
Propriétés
- La dimension de Hausdorff d'un produit d'espaces métriques est supérieure à la somme des dimensions de Hausdorff. Explicitement, pour tous espaces métriques X et Y, on a :
- .
- Une fonction lipschitzienne diminue la dimension de Hausdorff. Plus généralement, si est une fonction a-höldérienne entre espaces métriques (avec 0<a<1), alors on a :
- .
Pour as > dimHX, il existe un recouvrement ouvert dénombrable Ai de X de diamètre inférieur à δ > 0 tel que . Comme f est a-höldérienne, il existe une constante C telle que f envoie toute partie A de diamètre d sur une partie de diamètre < Cda. Soit Bi un voisinage ouvert sufficamment petit de f(Ai). On peut supposer que le diamètre de Bi soit inférieure à 2CdiamaAi (et donc en particulier δ' = Cδa). Par construction, .
Il s'en suit Hs(f(X)) = 0 pour as > dimHX.
Exemples
- Le cercle est de dimension de Hausdorff 1.
- Le graphe d'une fonction d'une variable réelle lipschitzienne est de dimension de Hausdorff 1. Si la fonction est a-höldérienne, alors la dimension de Hausdorff de son graphe est comprise entre 1 et 2-a.
- La dimension de Hausdorff de l'ensemble triadique de Cantor est .
- La dimension de Hausdorff du triangle de Sierpinski est .
- La dimension de Hausdorff du tapis de Sierpinski est .
- La trajectoire du mouvement brownien en dimension 2 est presque sûrement de dimension 2.
Liens internes
- Portail de la géométrie
Catégories : Fractale | Théorie de la mesure
Wikimedia Foundation. 2010.