Für jedes s≥0 ist das Hausdorff-s-Maß ein Außenmaß auf einem metrischen Raum, definiert als der Grenzwert δ→0 des Infimums der Summen ∑ diam(U_i)^s über abzählbare Überdeckungen {U_i} mit diam(U_i)≤δ; es verallgemeinert Länge, Fläche und Volumen und detektiert Größen bei nicht‑ganzzahligen (fraktalen) Dimensionen.

Prinzip

Konstruiert durch Carathéodorys Konstruktion angepasst an die Metrik: Man überdeckt die Menge durch beliebig kleine Mengen, gewichtet jedes Überdeckungselement mit der s-ten Potenz seines Durchmessers, nimmt Infimum und Grenzwert; die Monotonie in s liefert die Hausdorff-Dimension als kritischen Exponenten, bei dem das Maß von ∞ zu 0 springt.

Demonstration

Für s=1 auf R stimmt das Hausdorff-1-Maß (bis auf Normierung) mit der Länge auf rectifizierbaren Kurven überein. Die Cantor-Menge (Mittel-Drittel) hat Hausdorff-Dimension log 2 / log 3 und ihr Hausdorff‑s‑Maß ist für diesen s endlich und positiv, während sie Lebesgue-Maß 0 hat.

Fehlanwendung

Die Hausdorff-Maße ohne Berücksichtigung der umgebenden Metrik verwenden (z. B. Durchmesser falsch berechnen) oder mit topologischen Invarianten verwechseln; oder willkürlich ein s wählen, als wäre Hausdorff-Maß eine einheitliche Volumenfunktion für alle Mengen.

Konsequenz

Bietet eine kanonische Methode zur Quantifizierung fraktaler Größe, definiert die Hausdorff‑Dimension und ermöglicht Vergleiche von Mengen mit null Lebesgue‑Maß aber nichttrivialer Skalierung; sie liegt vielen Aussagen der geometrischen Maßtheorie zugrunde.

Umkehrung

Sich allein auf Lebesgue-Maß verlassen: Viele fraktale Mengen sind für Lebesgue unsichtbar (Maß 0) und verlieren Skalierungsinformationen; umgekehrt ignoriert die topologische Dimension die geometrische Skalierung, die Hausdorff‑Maß erfasst.

Abgrenzung

Hängt von der Metrik und dem lokalen Skalierungsverhalten ab; definiert auf metrischen Räumen (oder Räumen mit Durchmesserbegriff) und nicht unter beliebigen Homöomorphismen invariant — nur bi-Lipschitz-Abbildungen erhalten es bis auf konstante Faktoren; für ganze s und reguläre Mengen kann es mit klassischen Maßen zusammenfallen.

Semantische Spannung

Spannung zu Minkowski-(Box‑Counting)-Dimension und Packing‑Maß: Hausdorff‑Maß ist empfindlich gegenüber Überdeckungen durch kleine Mengen und liefert die präziseste Fraktal­dimensionsangabe, während Minkowski‑ oder Packing‑Ansätze abweichen oder leichter zu berechnen sind.

Synthese

Das Hausdorff‑Maß ist eine parametrisierte Familie metrischer Außenmaße, die Überdeckungen mit Durchmesser^s gewichtet, um geometrische Größe auf allen Skalen zu erfassen; durch Variation von s erhält man die Hausdorff‑Dimension und kann fraktale und niedrigdimensionale Strukturen präzise messen.