Eine Familie von Außenmaßen auf einem metrischen Raum, parametriert durch eine nichtnegative reelle Zahl s, konstruiert durch Überdeckung der Mengen mit abzählbar vielen Mengen kleiner Durchmesser und der Bildung des Infimums der Summe von Durchmesser^s (Carathéodory‑Konstruktion); für jedes s ergibt sich das s‑dimensionale Hausdorff‑Maß, das Länge, Fläche und Volumen verallgemeinert und fraktale Dimensionen bestimmt.

Prinzip

Für einen gegebenen Skalenparameter s wird das Maß definiert, indem man im Grenzwert für schrumpfende Überdeckungsdurchmesser das Infimum der Summen der (Durchmesser)^s über abzählbare Überdeckungen nimmt; der kritische s‑Wert, bei dem das Maß von ∞ auf 0 springt, kennzeichnet die Hausdorff‑Dimension.

Demonstration

Die mitteldrittelige Cantor‑Menge hat die Hausdorff‑Dimension log(2)/log(3); ihr Hausdorff‑Maß bei diesem kritischen s ist positiv und endlich, für größere s verschwindet es und für kleinere s ist es unendlich.

Fehlanwendung

Davon auszugehen, dass das Hausdorff‑Maß für ganzzahlige s stets mit dem Lebesgue‑Maß auf euklidischen Teilmengen übereinstimmt; Übereinstimmung besteht nur für hinreichend reguläre (rectifiable) Mengen, nicht für beliebige messbare Mengen oder Fraktale.

Konsequenz

Hausdorff‑Maße liefern ein skalenempfindliches quantitatives Werkzeug: Sie weisen bei der kritischen Dimension endliches positives Maß zu, ermöglichen die Definition der Hausdorff‑Dimension und unterscheiden Mengen mit gleichen topologischen Eigenschaften durch feine geometrische Größe.

Umkehrung

Packing‑Maß oder Minkowski‑(Box‑Counting)‑Dimension, die alternative, aber unterscheidbare Weisen sind, Größe und Dimension zu quantifizieren; im Gegensatz zum Hausdorff‑Maß behandeln diese Ansätze Überdeckungen anders und können unterschiedliche kritische Größen liefern.

Abgrenzung

Definiert auf metrischen Räumen (Abstand erforderlich) und abhängig vom gewählten Exponenten s; nicht direkt auf nichtmetrische Räume anwendbar und kann eine Komplettierung benötigen, um durch Außemaßregularisierung zu einem Maß auf allen Teilmengen zu werden.

Semantische Spannung

Es besteht Spannung zwischen Hausdorff‑Maß und klassischen Maßen (Lebesgue) oder anderen fraktalen Maßen (Packing, Box‑Counting); Unterschiede spiegeln die Wahl der Überdeckungsstrategie und die Sensitivität gegenüber feiner geometrischer Struktur wider.

Synthese

Das Hausdorff‑Maß ist eine parametrisierte Maßfamilie, die aus Durchmesser^s‑Überdeckungen konstruiert wird, klassische Maße auf beliebige metrische Mengen verallgemeinert und die fraktale Dimension durch den Schwellenexponenten liefert, bei dem das Maß von unendlich zu null wechselt.