Dimension de Hausdorff

Dimension de Hausdorff

En mathématiques, et plus précisément en topologie, la dimension de Hausdorff d'un espace métrique (X,d) est un nombre réel positif ou nul, éventuellement l'infini. 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.

L'exemple le plus simple est l'espace euclidien de dimension (au sens des espaces vectoriels) égale à d (ou plus généralement un espace vectoriel réel de dimension d muni d'une distance associée à une norme) : sa dimension de Hausdorff est aussi égale à d. Mais la dimension de Hausdorff d'un espace métrique quelconque peut ne pas être un entier naturel.

Comment estimer la dimension de Hausdorff de la côte de la Grande-Bretagne

Sommaire

Introduction informelle

Dans un espace euclidien de dimension d, une boule de rayon r a un volume proportionnel à rd. Intuitivement, on s'attend donc à ce que le nombre N(r) de boules de rayon r nécessaires pour recouvrir une boule de rayon unité soit de l'ordre de 1 / rd.

On généralise cette notion à un espace métrique compact X quelconque de la façon suivante. Posons N(r) le nombre minimal de boules ouvertes de rayon r nécessaires pour recouvrir X. Si, lorsque r tend vers 0, N(r) croît comme \frac{1}{r^d}, l'espace X est dit de dimension d. Plus précisément, d sera le nombre tel que N(r)rs tend vers 0 si s > d, et N(r)rs tend vers l'infini si s < d.

Définition

Malheureusement, les limites des quantités N(r)rs introduites dans le paragraphe précédent n'existent pas toujours. On peut contourner cette difficulté en procédant de la façon suivante :

  • On recouvre l'espace X au moyen d'une réunion dénombrable de parties notées Ai, chacune étant de diamètre inférieur à r. Le fait d'utiliser une majoration du diamètre permet de prendre des parties arbitrairement petites, par exemple s'il s'agit de recouvrir une partie dénombrable de X, et de minimiser ainsi le rôle d'une telle partie dans le calcul de la dimension de X. Pour tout s réel positif ou nul, on considère la quantité \sum_{i=1}^{\infty}\mathrm{diam}(A_i)^s. Plus précisément, souhaitant avoir un recouvrement le plus économique possible, on introduit la quantité :
H^s_{r}(X)=\inf_{\mathrm{diam}(A_i) < r}{\left\{\sum_{i=1}^{\infty}\mathrm{diam}(A_i)^s : X \subseteq \bigcup_{i=1}^\infty A_i\right\}}
  • La fonction Hs est décroissante, ce qui assure l'existence d'une limite (éventuellement infinie) quand on fait tendre r vers 0. D'où la définition :
H^s(X)=\lim_{r \rightarrow 0}H^s_{r}(X)
Hs s'appelle mesure de Hausdorff. On vérifie que, si Hs(X) est fini, alors pour tout t > s, Ht(X) = 0, et que, si Hs(X) > 0, alors pour tout t < s, Ht(X) est infini.
  • Il existe donc un nombre séparant les nombres s pour lesquels Hs(X) = 0 de ceux pour lesquels Hs(X) est infini. Ce nombre est la dimension de Hausdorff de X. On pose donc :
\dim_H(X)=\inf\left\{s,H^s(X)=0\right\}=\sup\left\{s,H^s(X)=\infty\right\}.

Propriétés

  • Si X est inclus dans (Y, D_Y)\,, alors \dim_H{X} \leq \dim_H{Y}.
  • La dimension de Hausdorff d’un produit d’espaces métriques est supérieure ou égale à la somme des dimensions de Hausdorff.
    Explicitement, pour tous espaces métriques (X, D_X)\, et (Y, D_Y)\,, on a :
    \dim_H{\left( X \times Y \right)} \geq \dim_H{X} + \dim_H{Y}.
  • Si X est inclus dans \mathbb R^n, sa dimension de Hausdorff est inférieure ou égale à n.
  • Si X est une réunion dénombrable de parties, toutes de dimension inférieure ou égale à n, alors \dim_H{X} \leq n. En particulier la dimension de Hausdorff d'un espace métrique dénombrable est nulle.
  • Une fonction lipschitzienne diminue la dimension de Hausdorff.
    Plus généralement, si f : X \rightarrow Y\, est une fonction a\,-höldérienne entre espaces métriques (avec 0 < a < 1\,), alors on a :
    \dim_H\left( f(X) \right) \leq \frac{1}{a} \dim_H(X)\,.
Démonstration

Soit s strictement positif tel que as > \dim_H{X}\,, il existe un recouvrement ouvert dénombrable \{ A_i | \forall i, A_i \sub X \}\, de diamètre inférieur à \delta > 0\, tel que :

\sum_i{ {\operatorname{diam}_X}^{a s}(A_i) } < \epsilon.

Comme f\, est a\,-höldérienne, il existe une constante C\, telle que f\, envoie toute partie A\, de (X, D_X)\, et de diamètre d = \operatorname{diam}_X(A)\, sur une partie f(A)\, de (Y, D_Y)\, et de diamètre d' = \operatorname{diam}_Y(f(A)) tel que d' \leq C d^a\,. Soit B_i\, un voisinage ouvert suffisamment petit de f(A_i)\,. On peut supposer que le diamètre dans (Y, D_Y)\, de B_i\, est inférieur à C \operatorname{diam}_X^a(A_i)\,. Le diamètre des parties B_i\, est majoré par \delta' = C \delta^a\,. Par construction, \sum_i{ \operatorname{diam}_X^s\left( B_i \right) } \leq C \epsilon\,. Il s’ensuit : H^s\left( f(X) \right) = 0\, pour as > \dim_H(X)\,.

  • La dimension de Hausdorff n'est pas une quantité conservée par homéomorphisme. Par exemple, on peut définir des ensembles de Cantor, homéomorphes entre eux, mais de dimensions différentes. Mais si l'homéomorphisme ainsi que sa réciproque sont tous deux lipschitiziens, alors la distance est conservée.
  • Si deux métriques sont Lipschitz-équivalentes, alors elles définissent la même dimension de Hausdorff.

Calcul pratique dans un cas particulier classique

Si X\, est une partie d’un espace vectoriel réel qui vérifie la propriété suivante :

« Il existe n\, similitudes f_1, f_2, \cdots, f_n\, de rapports r_1, r_2, \cdots, r_n\, telles que f_1(X), f_2(X), \cdots, f_n(X) soient disjoints deux à deux et que leur union soit isométrique avec X\,. »

On a alors la relation :

{r_1}^d + {r_2}^d + \cdots + {r_n}^d = 1\,, où d\, est la dimension de X\,.

Cela découle de la propriété suivante des mesures de Hausdorff :

« Pour tout λ positif, H^d\left( \lambda \cdot X \right) = \lambda^d \cdot H^d(X). »

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
  • L’ensemble de Cantor est constitué 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 2 \left( \frac{1}{3} \right)^d = 1\,, ce qui donne : d = \frac{\ln(2)}{\ln(3)} = \log_{3}{2}\,.
L'ensemble de Cantor asymétrique
  • L’ensemble de Cantor asymétrique est constitué de deux ensembles de Cantor, l'un deux fois plus petit, l'autre quatre fois plus petit. Les deux similitudes sont donc ici des homothéties de rapports respectifs 1/2 et 1/4, composées avec des translations.
Donc \left( \frac12\right)^d + \left( \frac14\right)^d = 1\,, ce qui conduit à : d = \frac{\ln(\varphi)}{\ln(2)}\,, où \varphi = \frac{1+\sqrt5}2 est le nombre d'or.

Exemples

Triangle de Sierpinski, de dimension de Hausdorff \frac{\ln{3}}{\ln{2}} ~..

Annexes

Sur les autres projets Wikimedia :

Articles connexes

Liens externes

Bibliographie

(en) Dierk Schleicher, « Hausdorff dimension, its properties and its surprises », dans Amer. Math. Monthly 114 (juin-juillet 2007), 509-528


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dimension de Hausdorff de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Dimensión de Hausdorff-Besicovitch — Saltar a navegación, búsqueda La dimensión de Hausdorff o dimensión de Hausdorff Besicovitch es una generalización métrica del concepto de dimensión de un espacio topológico, que permite definir la dimensión de una dimensión fraccionaria (no… …   Wikipedia Español

  • 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

  • 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

  • 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

  • Dimension box-counting — Dimension de Minkowski–Bouligand En géométrie fractale, la dimension de Minkowski–Bouligand, également appelée dimension de Minkowski ou dimension box counting, est une manière de déterminer la dimension fractale d un ensemble S dans un Espace… …   Wikipédia en Français

  • Dimension de Minkowski — Dimension de Minkowski–Bouligand En géométrie fractale, la dimension de Minkowski–Bouligand, également appelée dimension de Minkowski ou dimension box counting, est une manière de déterminer la dimension fractale d un ensemble S dans un Espace… …   Wikipédia en Français

  • Dimension de Hamel — Dimension Voir « dimension » sur le Wiktionnaire …   Wikipédia en Français

  • Dimension spatiale — Dimension Voir « dimension » sur le Wiktionnaire …   Wikipédia en Français

Share the article and excerpts

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