Dimension de Hausdorff - Définition

Introduction

La dimension de Hausdorff d'un espace métrique (X,d) est, en topologie, 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.

Un espace vectoriel réel de dimension finie E peut être muni d'une norme et toutes les normes sur E 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.

Introduction informelle

Dans un espace euclidien de dimension d, une boule de rayon r a un volume proportionnel à r^d. 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 / r^d.

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 , l'espace X est dit de dimension d. Plus précisément, d sera le nombre tel que N(r)r^s tend vers 0 si s > d, et N(r)r^s tend vers l'infini si s < d.

Propriétés

• Si X est inclus dans , alors .
• 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 et , on a :

  .

• Si X est inclus dans , 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 .
• Une fonction lipschitzienne diminue la dimension de Hausdorff.

  Plus généralement, si est une fonction -höldérienne entre espaces métriques (avec ), alors on a :

  .

Soit s strictement positif tel que , il existe un recouvrement ouvert dénombrable de diamètre inférieur à tel que :

.

Comme est -höldérienne, il existe une constante telle que envoie toute partie de et de diamètre sur une partie de et de diamètre tel que . Soit un voisinage ouvert suffisamment petit de . On peut supposer que le diamètre dans de est inférieur à . Le diamètre des parties est majoré par . Par construction, .

Il s’en suit : pour .

 

• 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.

Définition

Malheureusement, les limites des quantités N(r)r^s 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 A_i, 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é . Plus précisément, souhaitant avoir un recouvrement le plus économique possible, on introduit la quantité :

• La fonction H^s 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 s'appelle mesure de Hausdorff. On vérifie que, si H^s(X) est fini, alors pour tout t > s, H^t(X) = 0, et que, si H^s(X) > 0, alors pour tout t < s, H^t(X) est infini.

• Il existe donc un nombre séparant les nombres s pour lesquels H^s(X) = 0 de ceux pour lesquels H^s(X) est infini. Ce nombre est la dimension de Hausdorff de X. On pose donc :

.