Hausdorff-Besikowitsch Dimension


Hausdorff-Besikowitsch Dimension

Die Hausdorff-Dimension wurde von Felix Hausdorff eingeführt und bietet die Möglichkeit, beliebigen metrischen Räumen, wie beispielsweise Fraktalen, eine Dimension zuzuordnen. Für einfache geometrische Objekte wie Strecken, Vielecke, 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 oder eine irrationale Zahl sein.

Vereinfachte Definition

Die folgende Darstellung ist eine vereinfachte Definition der Hausdorff-Dimension für eine Punktmenge endlicher Ausdehnung in einem dreidimensionalen Raum. Dazu betrachtet man die Anzahl N der Kugeln mit dem Radius R, die mindestens erforderlich ist, um die Punktmenge zu überdecken. Diese Mindestanzahl ist eine Funktion N(R) des Radius R. Je kleiner der Radius ist, umso größer ist N. Aus der Potenz von R, mit der N(R) für den Limes R gegen Null anwächst, berechnet sich die Hausdorff-Dimension D und zwar nach

 N(R) \sim \frac{1}{R^D}

und damit

 D = -\lim_{R \rightarrow 0} \frac{\log(N)}{\log(R)}

Anstelle von Kugeln können ebenso gut 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 wächst die Zahl der erforderlichen Kugeln umgekehrt proportional zum Kugelradius. Eine Kurve hat daher die Hausdorff-Dimension D = 1. Für eine gewöhnliche endliche Fläche wie beispielsweise ein Rechteck wächst die Zahl der erforderlichen Kugeln dagegen proportional zu 1/R2. Es gilt daher D = 2.

Für den Spezialfall eines geometrischen Objekts, welches aus n disjunkten Teilobjekten besteht, die im Maßstab 1:m verkleinerte Kopien des Gesamtobjekts darstellen, ergibt sich für die Hausdorff-Dimension D = log(n)/log(m). Haben die n Teilobjekte verschiedene Größe, so ist D durch 1/m(1)D + 1/m(2)D + ... + 1/m(n)D = 1 definiert, wobei 1/m(i) die einzelnen Maßstäbe sind (i = 1, ..., n). Man spricht in diesen Fällen auch von Ähnlichkeits-Dimension. Beispiele für die Ähnlichkeits-Dimension:

  1. Ein Quadrat setzt sich aus 9 Quadraten von 1/3 Größe zusammen, seine Hausdorff-Dimension ist D = \tfrac{\log{9}}{\log{3}} = 2
  2. Die Koch-Kurve, ein Fraktal, besteht aus 4 jeweils im Maßstab 1:3 verkleinerten Kopien der Gesamtkurve. Es ergibt sich nach D = \tfrac{\log{4}}{\log{3}} = 1{,}2618595... eine nicht-ganzzahlige Dimension.

Es ist jedoch zu beachten, dass diese vereinfachte Definition sich nicht generell mit der exakten Definition (s. 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 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 \dim Xeiner beschränkten Teilmenge X\subset\mathbb R^n erfolgt über das Hausdorff-Maß Hs, das dieser Menge zu jeder Dimension s\geq0 zugeordnet wird. Danach ist die Hausdorff-Dimension von X definiert als das Infimum aller s, für die Hs(X) = 0 ist, oder äquivalent dazu als das Supremum aller s, für die H^s(X)=\infty gilt, das heißt

\dim X=\inf\{s\mid H^s(X)=0\}=\sup\{s\mid H^s(X)=\infty\}.

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

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

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

für beliebige s\geq0 und \varepsilon>0, wobei (Ai) alle Überdeckungen von X durch abzählbar viele Mengen A_1,A_2,\ldots durchläuft, deren jeweilige Durchmesser d(Ai) kleiner als \varepsilon sind. Das s-dimensionale Hausdorff-Maß von X ist nun definiert als

H^s(X)=\lim_{\varepsilon\to0}H^s_\varepsilon(X).

Beispiel

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

1. Das Hausdorff-Maß für s > 1:

Für \varepsilon>0 sei die natürliche Zahl N_\varepsilon so gewählt, dass 1/N_\varepsilon<\varepsilon gilt. Mit der speziellen Überdeckung
A_i=\bigg[\frac{i-1}{N_\varepsilon},\frac i{N_\varepsilon}\bigg] für 1\leq i\leq N_\varepsilon, Ai = {1} für i>N_\varepsilon
folgt
H^s_\varepsilon(X)\leq N_\varepsilon\cdot\Big(\frac1{N_\varepsilon}\Big)^s=\Big(\frac1{N_\varepsilon}\Big)^{s-1}<\varepsilon^{s-1},
also
Hs(X) = 0.

2. Das Hausdorff-Maß für s < 1:

Wegen d(A_i)&amp;lt;\varepsilon ist
\sum d(A_i)^s = \sum \frac{d(A_i)}{d(A_i)^{1-s}} &amp;gt; \sum \frac{d(A_i)}{\varepsilon^{1-s}}.
Da die Ai das Einheitsintervall X überdecken, ist die Summe ihrer Durchmesser mindestens 1:
{}\geq\frac1{\varepsilon^{1-s}}.
Damit folgt
H^s_\varepsilon(X)\geq\frac1{\varepsilon^{1-s}},
also
H^s(X)=\infty.

3. Das Hausdorff-Maß für s = 1:

Setzt man die beiden Argumente aus dem ersten und zweiten Fall zusammen, dann erhält man H1(X) = 1.

Es ist also \dim X=1.


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hausdorff-Besikowitsch-Dimension — Die Hausdorff Dimension wurde von Felix Hausdorff eingeführt und bietet die Möglichkeit, beliebigen metrischen Räumen, wie beispielsweise Fraktalen, eine Dimension zuzuordnen. Für einfache geometrische Objekte wie Strecken, Vielecke, Quader und… …   Deutsch Wikipedia

  • Besikowitsch — Abram Samoilowitsch Besikowitsch, russisch: Абрам Самойлович Безикович, im Englischen meist als A. S. Besicovitch zitiert (* 24. Januar 1891 in Berdjansk; † 2. November 1970 in Cambridge, England), war ein britischer Mathematiker russischer… …   Deutsch Wikipedia

  • Abram Samoilowitsch Besikowitsch — Abram Samoilowitsch Besikowitsch, russisch: Абрам Самойлович Безикович, im Englischen meist als A. S. Besicovitch zitiert (* 24. Januar 1891 in Berdjansk; † 2. November 1970 in Cambridge, England), war ein britischer Mathematiker karaimisch… …   Deutsch Wikipedia

  • Fraktale Dimension — Im Unterschied zu geometrischen Mengen wie Kugel, Würfel, Rechteck oder Strecke, ist für Fraktale eine ganzzahlige Dimension nicht mehr ausreichend. Welche Dimension sollte man einer Kurve zuordnen, die eine gesamte Fläche ausfüllt? Man kann aber …   Deutsch Wikipedia

  • Boxcounting-Algorithmus — Im Unterschied zu geometrischen Mengen wie Kugel, Würfel, Rechteck oder Strecke, ist für Fraktale eine ganzzahlige Dimension nicht mehr ausreichend. Welche Dimension sollte man einer Kurve zuordnen, die eine gesamte Fläche ausfüllt? Man kann aber …   Deutsch Wikipedia

  • Sōichi Kakeya — (jap. 掛谷 宗一, Kakeya Sōichi; * 18. Januar 1886 in der Präfektur Hiroshima; † 9. Januar 1947)[1] war ein japanischer Mathematiker, bekannt für das Kakeya Problem. Kakeya studierte an der Kaiserlichen Universität Tokio und lehrte an der Kaiserlichen …   Deutsch Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.