Famille de mesures extérieures sur un espace métrique paramétrée par un réel s ≥ 0, construite en recouvrant un ensemble par une suite dénombrable d'ensembles de petit diamètre et en prenant l'infimum des sommes des diamètres^s (construction de Carathéodory) ; pour chaque s on obtient la mesure de Hausdorff s‑dimensionnelle, qui généralise longueur, aire et volume et identifie des dimensions fractales.

Principe

Pour un paramètre d'échelle s donné, la mesure est définie en prenant la limite, lorsque le diamètre des recouvrements tend vers zéro, de l'infimum des sommes des (diamètre)^s sur les recouvrements dénombrables ; l'exposant critique où la mesure passe de l'infini à zéro caractérise la dimension de Hausdorff.

Démonstration

L'ensemble de Cantor du tiers moyen a une dimension de Hausdorff log(2)/log(3) ; sa mesure de Hausdorff à ce s critique est finie et positive, tandis que pour s plus grand la mesure s'annule et pour s plus petit elle est infinie.

Mauvaise application

Supposer que la mesure de Hausdorff pour un s entier coïncide toujours avec la mesure de Lebesgue sur des sous‑ensembles euclidiens ; l'égalité n'est vraie que pour des ensembles suffisamment réguliers (rectifiables), pas pour des ensembles mesurables arbitraires ou des fractales.

Conséquence

Les mesures de Hausdorff fournissent un outil quantitatif sensible à l'échelle : elles attribuent une mesure finie et positive à la dimension critique, permettent de définir la dimension de Hausdorff et distinguent des ensembles aux mêmes propriétés topologiques par leur taille géométrique fine.

Inversion

La mesure de packing ou la dimension de Minkowski (box-counting), qui sont des façons alternatives mais distinctes de quantifier la taille et la dimension ; contrairement à la mesure de Hausdorff, ces approches traitent différemment les recouvrements et peuvent donner des tailles critiques différentes.

Limite

Définie sur des espaces métriques (une distance est requise) et dépend de l'exposant s choisi ; elle n'est pas directement applicable en contexte non métrique et peut nécessiter une complétion pour devenir une mesure sur toutes les parties via la régularisation d'une mesure extérieure.

Tension sémantique

Il existe une tension entre la mesure de Hausdorff et les mesures classiques (Lebesgue) ou d'autres mesures fractales (packing, box‑counting) ; les différences reflètent le choix de la stratégie de recouvrement et la sensibilité à la structure géométrique fine.

Synthèse

La mesure de Hausdorff est une famille paramétrée de mesures construite à partir de recouvrements pondérés par diamètre^s qui généralise les mesures classiques aux ensembles métriques arbitraires et fournit la notion de dimension fractale via l'exposant seuil où la mesure passe de l'infini à zéro.