Quelltext der Seite Hausdorff-Dimension

Die '''Hausdorff-Dimension'''  (auch bekannt als ''Hausdorff-Besikowitsch-Dimension'' nach [[Abram Samoilowitsch Besikowitsch]]) wurde von [[Felix Hausdorff]] eingeführt und bietet die Möglichkeit, beliebigen [[Metrischer Raum|metrischen Räumen]] eine [[Dimension (Mathematik)|Dimension]] zuzuordnen. Für einfache [[Geometrie|geometrische]] Objekte wie [[Strecke (Geometrie)|Strecken]], [[Vieleck]]e, [[Quader]] und Ähnliches stimmt ihr Wert mit dem des gewöhnlichen Dimensionsbegriffes überein. Im Allgemeinen ist ihr Zahlenwert jedoch nicht unbedingt eine [[natürliche Zahl]], sondern kann auch eine [[Rationale Zahl|rationale]] oder eine [[Irrationale Zahlen|irrationale Zahl]] sein, wie beispielsweise bei der Anwendung als [[fraktale Dimension]].

== Vereinfachte Definition ==
Die folgende Darstellung ist eine vereinfachte [[Definition]] der Hausdorff-Dimension für eine Punktmenge endlicher Ausdehnung in einem dreidimensionalen [[Raum (Mathematik)|Raum]]. Dazu betrachtet man die Anzahl <math>N</math> der [[Kugel]]n mit dem [[Radius]] <math>R</math>, die mindestens erforderlich ist, um die Punktmenge zu überdecken. Diese Mindestanzahl ist eine [[Funktion (Mathematik)|Funktion]] <math>N(R)</math> des Radius <math>R</math>. Je kleiner der Radius ist, umso größer ist <math>N</math>. Aus der [[Potenz (Mathematik)|Potenz]] von <math>R</math>, mit der <math>N(R)</math> für den [[Grenzwert (Folge)|Limes]] <math>R</math> gegen Null anwächst, berechnet sich die Hausdorff-Dimension <math>D</math>, und zwar nach
:<math> N(R) \sim \frac{1}{R^D} </math>
und damit
:<math> D = -\lim_{R \rightarrow 0} \frac{\log N(R)}{\log R} </math>.

Anstelle von Kugeln können ebenso gut [[Würfel (Geometrie)|Würfel]] oder vergleichbare Objekte verwendet werden. Bei Punktemengen in der Ebene können auch Kreise zur Überdeckung verwendet werden. Bei Punktmengen in mehr als drei Dimensionen müssen entsprechend höherdimensionale Kugeln verwendet werden.

Für eine gewöhnliche endliche [[Kurve (Mathematik)|Kurve]] wächst die Zahl der erforderlichen Kugeln umgekehrt proportional zum Kugelradius. Eine Kurve hat daher die Hausdorff-Dimension <math>D = 1</math>. Für eine gewöhnliche endliche Fläche wie beispielsweise ein [[Rechteck]] wächst die Zahl der erforderlichen Kugeln dagegen proportional zu <math>1/R^2</math>. Es gilt daher <math>D = 2</math>.

Für den Spezialfall eines geometrischen Objekts, welches aus <math>n</math> disjunkten Teilobjekten besteht, die im Maßstab <math>1:m</math> verkleinerte Kopien des Gesamtobjekts darstellen, ergibt sich für die Hausdorff-Dimension <math>D = \tfrac{\log n}{\log m}</math>. Haben die <math>n</math> Teilobjekte verschiedene Größe, so ist <math>D</math> durch
:<math>\frac{1}{m_1^D} + \frac{1}{m_2^D} + \dotsb + \frac{1}{m_n^D} = 1</math>
definiert, wobei <math>1/m_i</math> die einzelnen Maßstäbe sind (<math>i = 1, \dotsc, n</math>). Man spricht in diesen Fällen auch von ''Ähnlichkeits-Dimension''. Beispiele für die Ähnlichkeits-Dimension:
 
# Ein [[Quadrat (Geometrie)|Quadrat]] setzt sich aus 9 Quadraten von 1/3 Seitenlänge zusammen, seine Hausdorff-Dimension ist <math>D = \tfrac{\log{9}}{\log{3}} = 2</math>
# Die [[Koch-Kurve]], ein [[Fraktal]], besteht aus 4 jeweils im Maßstab 1:3 verkleinerten Kopien der Gesamtkurve. Es ergibt sich nach <math>D = \tfrac{\log{4}}{\log{3}} = 1{,}2618595\dotso</math> eine nicht-ganzzahlige Dimension.

Es ist jedoch zu beachten, dass diese vereinfachte Definition sich nicht generell mit der exakten Definition (s.&nbsp;u.) deckt. Beispielsweise bei einer Kochkurve mit räumlich variierender Iterationstiefe oder Ähnlichem kann die so definierte Dimension von der tatsächlichen Hausdorff-Dimension abweichen.

Für eine [[Numerische Mathematik|numerische]] Bestimmung der Hausdorff-Dimension einer gegebenen Punktmenge lässt sich der so genannte [[Boxcounting-Algorithmus]] verwenden. Aber auch hier gilt das nur, solange die Hausdorff-Dimension mit der Boxcounting-Dimension übereinstimmt, was in Spezialfällen nicht zutrifft. Bei einer Einbettung in einen zweidimensionalen Raum überdeckt man die Menge mit einem lückenlosen regelmäßigen Raster aus Quadraten und ermittelt die Zahl der Quadrate, die Punkte aus der Menge enthalten, in Abhängigkeit von der Kantenlänge. Eine numerische [[Extrapolation]] der obigen Definitionsgleichung für die Kantenlänge gegen Null liefert näherungsweise die Hausdorff-Dimension.

== Definition über das Hausdorff-Maß ==
Eine mathematisch exakte Definition der Hausdorff-Dimension <math>\dim X</math> einer beschränkten Teilmenge <math>X\subset\mathbb R^n</math> erfolgt über das [[Hausdorff-Maß]] <math>H^s</math>, das dieser Menge zu jeder Dimension <math>s\geq0</math> zugeordnet wird. Danach ist die Hausdorff-Dimension von <math>X</math> definiert als das [[Infimum]] aller <math>s</math>, für die <math>H^s(X)=0</math> ist, oder äquivalent dazu als das [[Supremum]] aller <math>s</math>, für die <math>H^s(X)=\infty</math> gilt, das heißt

: <math>\dim X=\inf\{s\mid H^s(X)=0\}=\sup\{s\mid H^s(X)=\infty\}.</math>

Für festes <math>s</math> haben also Mengen, deren Hausdorff-Dimension kleiner als <math>s</math> ist, das <math>s</math>-dimensionale Maß null, während Mengen größerer Dimension unendliches <math>s</math>-dimensionales Maß haben. Das entspricht der Tatsache, dass beispielsweise eine Strecke als Teilmenge der Ebene das zweidimensionale [[Lebesgue-Maß]] null hat.

Zur Definition des Hausdorff-Maßes betrachte man die Größe

:<math>H^s_\varepsilon(X)=\inf\Bigg\{\sum_{i=1}^\infty d(A_i)^s \;\Bigg|\; X\subseteq\bigcup_{i=1}^\infty A_i;\; d(A_i)<\varepsilon\Bigg\}</math>

für beliebige <math>s\geq0</math> und <math>\varepsilon>0</math>, wobei <math>(A_i)</math> alle [[Überdeckung (Mathematik)|Überdeckungen]] von <math>X</math> durch [[Abzählbare Menge|abzählbar]] viele Mengen <math>A_1,A_2,\dotsc</math> durchläuft, deren jeweilige [[Durchmesser]] <math>d(A_i)</math> kleiner als <math>\varepsilon</math> sind. Das <math>s</math>-''dimensionale Hausdorff-Maß'' von <math>X</math> ist nun definiert als

:<math>H^s(X)=\lim_{\varepsilon\to0}H^s_\varepsilon(X).</math>

== Beispiel ==
Die Bestimmung der Hausdorff-Dimension einer eindimensionalen Strecke anhand der Menge <math>X=[0,1]\subset\mathbb R</math> erfolgt folgendermaßen:

1. Das Hausdorff-Maß für <math>s>1</math>:
:Für <math>\varepsilon>0</math> sei die natürliche Zahl <math>N_\varepsilon</math> so gewählt, dass <math>1/N_\varepsilon<\varepsilon</math> gilt. Mit der speziellen Überdeckung
:: <math>A_i=\left[\frac{i-1}{N_\varepsilon},\frac i{N_\varepsilon}\right]</math> für <math>1\leq i\leq N_\varepsilon</math>, <math>A_i=\{1\}</math> für <math>i>N_\varepsilon</math>
:folgt
:: <math>H^s_\varepsilon(X)\leq N_\varepsilon\cdot\left(\frac1{N_\varepsilon}\right)^s=\left(\frac1{N_\varepsilon}\right)^{s-1}<\varepsilon^{s-1},</math>
:also
:: <math>H^s(X)=0.</math>
2. Das Hausdorff-Maß für <math>s<1</math>:
: Wegen <math>d(A_i)<\varepsilon</math> ist
:: <math>\sum d(A_i)^s = \sum \frac{d(A_i)}{d(A_i)^{1-s}} > \sum \frac{d(A_i)}{\varepsilon^{1-s}}.</math>
: Da die <math>A_i</math> das Einheitsintervall <math>X</math> überdecken, ist die Summe ihrer Durchmesser mindestens 1:
::: <math>{}\geq\frac1{\varepsilon^{1-s}}.</math>
: Damit folgt
:: <math>H^s_\varepsilon(X)\geq\frac1{\varepsilon^{1-s}},</math>
: also
:: <math>H^s(X)=\infty.</math>
Daraus folgt bereits <math>\dim X=1</math>, denn nach diesen Rechnungen muss das Infimum aus obiger Definition gleich <math>1</math> sein.

3. Das Hausdorff-Maß für <math>s=1</math>:
: Setzt man die beiden Argumente aus dem ersten und zweiten Fall zusammen, dann erhält man <math>H^1(X)=1</math>.
Es ist für die Bestimmung der Hausdorff-Dimension unerheblich, ob für das Infimum (also hier für <math>s=1</math>) der Grenzwert für <math>\varepsilon\to 0</math> einen endlichen Wert ergibt oder nicht. 

== Literatur ==
* Egbert Brieskorn (Hrsg.): ''Felix Hausdorff zum Gedächtnis'', Vieweg Verlag 1996, ISBN 3-528-06493-5, u.&nbsp;a. Seiten 185 ff.

[[Kategorie:Analysis]]
[[Kategorie:Fraktale Geometrie]]
[[Kategorie:Felix Hausdorff]]