Un invariant métrique d'un sous-ensemble défini comme l'infimum des exposants s pour lesquels la mesure de Hausdorff s-dimensionnelle du sous-ensemble est nulle ; il quantifie l'exposant d'échelle des recouvrements et capte la taille fractale.

Principe

On considère des recouvrements par des ensembles de diamètre ≤ δ, on forme les sommes des diamètres^s, puis on prend la limite quand δ→0 ; l'exposant critique où la mesure passe de ∞ à 0 est la dimension de Hausdorff.

Démonstration

L'ensemble de Cantor du milieu des tiers a une dimension de Hausdorff log(2)/log(3) car sa construction auto-similaire donne des masses de recouvrement qui se mettent à l'échelle selon cet exposant.

Mauvaise application

Confondre dimension de Hausdorff et dimension topologique ou de box-counting ; utiliser des estimations grossières de box-counting comme valeurs exactes de Hausdorff ou supposer une intégralité de la dimension.

Conséquence

Fournit une mesure raffinée invariante par changement d'échelle de la complexité géométrique, distingue des ensembles de mesure de Lebesgue nulle par leur taille fractale et est préservée par les applications bi-Lipschitziennes.

Inversion

La dimension topologique classe la structure locale euclidienne et peut être strictement plus petite que la dimension de Hausdorff pour des ensembles fractals ; les notions basées sur la mesure de Lebesgue ne détectent pas l'échelle fine.

Limite

Définie pour des sous-ensembles d'espaces métriques ; exige une structure métrique et des recouvrements de diamètre arbitrairement petit — ne s'applique pas aux seuls espaces topologiques sans métrique.

Tension sémantique

Hausdorff versus dimension de box-counting : la box-counting est plus simple à calculer numériquement mais peut surestimer ; Hausdorff est plus fin et défini par la théorie de la mesure mais plus difficile à évaluer.

Synthèse

La dimension de Hausdorff est l'exposant critique de mise à l'échelle extrait des recouvrements métriques qui quantifie la complexité fractale d'un ensemble et affine les notions classiques de taille au-delà des mesures ordinaires.