Zur Bestimmung des Flächeninhalts einer -dimensionalen Fläche im -dimensionalen Raum (mit ) gibt es in der Mathematik diverse Maße, die für alle Teilmengen des definiert sind und auf den „anständigen“ (nicht entarteten) -dimensionalen Flächen deren heuristischen Flächeninhalt ergeben. (Zu den „anständigen“ Flächen gehören insbesondere die Untermannigfaltigkeiten des .)

Das bekannteste dieser Maße ist das -dimensionale Hausdorff-Maß , benannt nach Felix Hausdorff; zur Veranschaulichung der Definition soll zunächst jedoch das -dimensionale sphärische Maß erläutert werden.

Definition des sphärischen Maßes

Bearbeiten

Zu einer Teilmenge   des   betrachtet man die Größen

 

für  , wobei das Infimum über alle Überdeckungen   von   durch abzählbar viele  -dimensionale Kugeln  … im   mit Durchmessern (Diametern)   gebildet wird. Hierbei ist   das Volumen der  -dimensionalen Einheitskugel (Kugel mit Radius 1) im  , gleichbedeutend mit dem  -dimensionalen Flächeninhalt des  -dimensionalen Einheitskreises im  . Der Formfaktor   sorgt für die richtige „Normierung“ des resultierenden Flächenmaßes. Die Summanden   sind gerade die  -dimensionalen Flächeninhalte der Schnittmengen der Kugeln   mit durch deren Mittelpunkt verlaufenden  -dimensionalen Ebenen im  .

Das  -dimensionale sphärische Maß von   wird dann, vermöge zunehmender Kleinheit der Kugeln, definiert durch

 

Die Verfeinerung der Kugelüberdeckungen durch gegen 0 gehende Durchmesser bewirkt eine zunehmende Annäherung der  -dimensionalen Äquatorialflächen der Kugeln an die Ausgangsfläche  .

Definition des Hausdorff-Maßes

Bearbeiten

Zur Definition des Hausdorff-Maßes   gelangt man, wenn statt der Kugeln alle Teilmengen des   bei den Überdeckungen zugelassen werden. Der Durchmesser von   ist definiert durch

 

für   und  , und man setzt entsprechend für  

 

wobei hier das Infimum gebildet wird über alle Überdeckungen   von   durch abzählbar viele (beliebige) Teilmengen  … des   mit  . Schließlich definiert man

 

das metrische äußere Maß  , das auch äußeres Hausdorff-Maß genannt wird. Die Einschränkung des Definitionsbereiches auf Carathéodory-messbare Mengen liefert das Maß  .

Die Ausdrücke   und   sind selbst äußere Maße und haben durchaus bei gewissen Mengen verschiedene Werte – der Unterschied verschwindet in einigen „pathologischen“ Fällen auch nicht beim Grenzübergang   gegen 0 –, jedoch liefern die beiden Maße   und   bei den rektifizierbaren (den „anständigen“)  -dimensionalen Mengen denselben Wert. Allgemein gilt die Ungleichung

 

Zusammenhang mit der Flächenformel

Bearbeiten

Zur expliziten Berechnung des Hausdorff-Maßes einer parametrisierten Fläche   mit einem Gebiet   und einer injektiven differenzierbaren Funktion   findet die Flächenformel Anwendung:

 

Dabei ist   die verallgemeinerte Jacobi-Determinante (Gramsche Determinante) von  , und   bezeichnet das  -dimensionale Lebesgue-Maß (Volumenmaß) im  .

Verallgemeinerungen

Bearbeiten
  1. Analog verwendet man für „nicht-ganzzahlige Dimensionen“   die obigen Definitionen von   und   mit  , wobei   die Gamma-Funktion bezeichnet. Die Hausdorff-Dimension einer Teilmenge   des   ist dann diejenige (eindeutig bestimmte) Zahl   mit   für alle   und   für alle  . Wegen der oben genannten Ungleichung spielt der Unterschied zwischen   und   bei der Bestimmung der Hausdorff-Dimension keine Rolle.
    In den letzten Jahrzehnten kamen Fraktale in den Blickpunkt von populärwissenschaftlichen Medien. Fraktale sind Teilmengen des   mit gebrochener („fraktaler“) Hausdorff-Dimension; in der Öffentlichkeit werden Fraktale überwiegend als Mengen wahrgenommen, die sich neben ihrer fraktalen Dimension noch durch gewisse Selbstähnlichkeiten auszeichnen.
  2. Die Definition des  -dimensionalen Hausdorff-Maßes bleibt ohne wesentliche Veränderungen gültig in jedem metrischen Raum anstelle des  ; das Gleiche gilt für das  -dimensionale sphärische Maß. Dafür wird nur die Betragsfunktion in der Definition des Durchmessers durch die zugrundeliegende Metrik   ersetzt. Das heißt, aus   wird  .

Literatur

Bearbeiten
  • Herbert Federer: Geometric Measure Theory (= Grundlehren der mathematischen Wissenschaften mit besonderer Berücksichtigung der Anwendungsgebiete. Band 153). Springer, 1969, ISBN 3-540-60656-4, ISSN 0072-7830 (Nachdruck ebenda 1996).