Pour chaque réel s≥0, la mesure de Hausdorff de dimension s est une mesure extérieure définie sur un espace métrique en prenant la limite δ→0 de l'infimum des sommes ∑ diam(U_i)^s pour les recouvrements dénombrables {U_i} de diamètre ≤δ ; elle généralise longueur, aire et volume et détecte la taille à des dimensions non entières (fractalité).

Principe

Construites par la procédure de Carathéodory adaptée à la métrique : recouvrir l'ensemble par des parties arbitrairement petites, pondérer chaque élément du recouvrement par la s‑ième puissance de son diamètre, puis prendre l'infimum et la limite ; la dépendance en s est monotone et le passage de mesure infinie à nulle définit la dimension de Hausdorff.

Démonstration

Pour s=1 sur R, la mesure de Hausdorff 1 coïncide (à normalisation près) avec la longueur sur les courbes rectifiables. L'ensemble de Cantor du tiers moyen a dimension de Hausdorff log 2 / log 3 et sa mesure de Hausdorff est finie et positive pour ce s, tandis que sa mesure de Lebesgue est nulle.

Mauvaise application

Employer la mesure de Hausdorff sans tenir compte de la métrique ambiante (par exemple en calculant mal les diamètres) ou la confondre avec des invariants topologiques ; fixer arbitrairement un s pour mesurer tous les ensembles comme si la mesure de Hausdorff n'était pas une famille à un paramètre.

Conséquence

Fournit une manière canonique de quantifier la taille fractale, définir la dimension de Hausdorff et comparer des ensembles de mesure de Lebesgue nulle mais de structure d'échelle non triviale ; elle soutient la théorie des dimensions et de nombreux arguments en géométrie métrique et théorie de la mesure.

Inversion

S'en tenir uniquement à la mesure de Lebesgue : de nombreux ensembles fractals sont invisibles (mesure nulle) pour Lebesgue, ce qui fait perdre l'information d'échelle ; inversement, mesurer par la dimension topologique ignore la structure géométrique captée par la mesure de Hausdorff.

Limite

Dépend de la métrique et du comportement local à petite échelle ; définie sur les espaces métriques (ou espaces munis d'une notion de diamètre) et non invariante par homéomorphismes quelconques — elle est préservée seulement par les applications bi-Lipschitz à une constante multiplicative près ; pour s entiers et ensembles réguliers elle peut coïncider avec des mesures classiques.

Tension sémantique

Conflit avec la dimension de Minkowski (box-counting) et les mesures d'emballage : la mesure de Hausdorff est sensible aux recouvrements par petits ensembles et donne une notion de dimension franche, tandis que Minkowski ou packing peuvent diverger ou être plus faciles à calculer.

Synthèse

La mesure de Hausdorff est une famille paramétrée de mesures extérieures métriques qui pondèrent les recouvrements par diamètre^s pour détecter la taille géométrique à chaque échelle ; la variation de s fournit la dimension de Hausdorff et permet de mesurer précisément les phénomènes fractals et de dimension inférieure, au-delà du volume de Lebesgue.