Histoire et cultureNotion · Glossaire
dimension de Hausdorff
Pour un sous-ensemble d’un espace métrique, la dimension de Hausdorff est le seuil où sa mesure de Hausdorff, construite à partir de recouvrements par des ensembles de diamètre arbitrairement petit, passe de l’infini à zéro lorsque l’exposant augmente. Elle peut être non entière et quantifie ainsi la façon dont un ensemble irrégulier occupe l’espace aux petites échelles.
Sommaire
Ce que vous allez apprendre
- Relier la dimension de Hausdorff aux recouvrements à petite échelle.
- Calculer exactement la dimension de l'ensemble de Cantor.
- Distinguer dimension de Hausdorff, dimension topologique et comptage de boîtes.
- Repérer les limites de la formule d'auto-similarité.
En clair
Prenez un segment, retirez son tiers central, puis recommencez sur chaque morceau restant. Le résultat, appelé ensemble de Cantor, est fait de points et tient sur une ligne, mais il est plus riche qu'une simple collection isolée de points.
La dimension de Hausdorff décrit cette façon d'occuper l'espace à toutes les échelles. Elle ne compte pas seulement les directions visibles : elle observe comment le nombre de petits morceaux nécessaires varie quand leur taille diminue. Une valeur non entière peut ainsi traduire une géométrie située entre les dimensions usuelles.
Définition
Soit E un sous-ensemble d'un espace métrique. Pour un nombre réel s positif ou nul, on recouvre E par une famille au plus dénombrable d'ensembles Ui dont le diamètre ne dépasse pas une échelle δ, puis on minimise la somme des diamètres élevés à la puissance s. La mesure de Hausdorff de dimension s est obtenue en faisant tendre δ vers zéro :
La dimension de Hausdorff de E est la valeur critique où cette mesure passe de l'infini à zéro : . À la valeur critique, la mesure peut être nulle, finie positive ou infinie. Certains auteurs multiplient la mesure par un facteur de normalisation ; ce choix ne change pas la dimension.
Un exemple, pas à pas
Considérons l'ensemble de Cantor construit dans un segment de longueur 1. À chaque étape, chaque segment est remplacé par deux segments trois fois plus courts. Les données sont donc : 2 copies, un rapport de réduction de 1/3 et une longueur initiale égale à 1.
1. Après n étapes, il reste 2n segments, chacun de longueur 3−n.
2. Pour chercher l'exposant critique s, on impose que la somme s-dimensionnelle reste stable : .
3. En prenant les logarithmes, on obtient .
2. Pour chercher l'exposant critique s, on impose que la somme s-dimensionnelle reste stable : .
3. En prenant les logarithmes, on obtient .
La dimension de Hausdorff de l'ensemble de Cantor vaut donc exactement log 2 / log 3. Le contrôle se refait en remplaçant s dans l'équation : 3s = 2, donc 2 × 3−s = 1. Le résultat est compris entre 0 et 1, comme l'intuition le suggère pour cet ensemble de points contenu dans une ligne.
En pratique
Pour une fractale définie par des copies réduites qui ne se chevauchent pas de façon problématique, on cherche l'exposant rendant stable la somme des tailles élevées à cette puissance. L'ensemble de Cantor illustre ce geste avec deux copies de rapport 1/3.
Pour un ensemble irrégulier donné abstraitement, on revient aux recouvrements de diamètre de plus en plus petit. Cette voie est préférable au simple comptage de cases lorsque l'on veut une définition intrinsèque à la métrique et indépendante d'une grille choisie.
Pour une courbe ou une surface régulière, la dimension usuelle fournit déjà la bonne valeur : 1 pour une courbe et 2 pour une surface. La dimension de Hausdorff devient surtout informative lorsque l'ensemble présente une structure fine à toutes les échelles.
À ne pas confondre
Dimension topologique. Dans les cadres usuels où elle est définie, elle prend des valeurs entières non négatives ou la valeur infinie et décrit la structure topologique. L'ensemble de Cantor a une dimension topologique égale à 0, tandis que sa dimension de Hausdorff vaut log 2 / log 3.
Dimension par comptage de boîtes. Elle compte les cases d'une grille qui rencontrent l'ensemble. Elle coïncide avec la dimension de Hausdorff pour l'ensemble de Cantor, mais pas pour tout ensemble ; une égalité observée sur cet exemple n'est donc pas une règle générale.
Limites et pièges
La valeur critique ne détermine pas la mesure critique. À s = dimH(E), la mesure de Hausdorff peut être nulle, strictement positive et finie, ou infinie. Il faut donc calculer séparément la dimension et la mesure.
Une approximation à échelle finie n'est pas la définition. Une pente estimée sur quelques tailles peut varier avec la plage observée. La dimension de Hausdorff porte sur des recouvrements arbitrairement fins ; il faut annoncer l'échelle et l'incertitude d'une estimation numérique.
La formule d'auto-similarité exige des hypothèses de séparation. Si les copies réduites se recouvrent fortement, résoudre la seule équation des rapports peut donner une valeur incorrecte. Il faut alors revenir à la définition par recouvrements ou établir des conditions adaptées.
Le seuil s = 0 demande une convention. Pour un ensemble fini non vide, la dimension de Hausdorff est 0. Pour l'ensemble vide, elle est aussi conventionnellement prise égale à 0 ; ce cas ne décrit aucune irrégularité géométrique.
Pour aller plus loin
L'ensemble de Cantor détaille la construction qui fournit ici le calcul conducteur.
La dimension fractale replace la dimension de Hausdorff parmi plusieurs façons de quantifier un changement d'échelle.
La dimension topologique éclaire la différence entre structure topologique entière et finesse métrique éventuellement non entière.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres