Cantor-Menge

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Unter der Cantor-Menge, auch Cantor-Staub oder Wischmenge genannt, versteht man gewisse Mengen von reellen Zahlen, die überabzählbar unendlich viele Elemente enthalten, gleichzeitig aber ein Maß von Null besitzen: man kann sie durch Intervalle überdecken, deren Gesamtlänge beliebig klein gemacht werden kann. Die Cantor-Menge wird auch als Cantor'sches Diskontinuum bezeichnet, was ausdrückt, dass alle ihre Punkte Randpunkte sind in dem Sinne, dass in jeder beliebig kleinen Umgebung eines Punktes, der zur Cantor-Menge gehört, mindestens ein Punkt liegt, der nicht dazu gehört.

Dieser Mengentyp ist nach dem deutschen Mathematiker Georg Cantor benannt.

Cantor-Mengen sind Beispiele für Fraktale.

[Bearbeiten] Konstruktionsbeispiel

Die ersten fünf Iterationsschritte zur Konstruktion der Cantor-Menge

„Die“ Cantor-Menge lässt sich mittels folgender Iteration konstruieren:

Man beginnt mit dem Intervall der reellen Zahlen von 0 bis 1. Aus diesem Intervall wird das offene mittlere Drittel entfernt (weggewischt), also alle Zahlen, die strikt zwischen 1/3 und 2/3 liegen.

Im Folgenden wird aus allen vorhandenen Intervallen jeweils das mittlere Drittel entfernt. Dieser Schritt wird unendlich oft wiederholt.

Nach n Iterationen existieren 2ⁿ Intervalle, die insgesamt ${\left( \frac{2}{3} \right) }^n$ des ursprünglichen Intervalls abdecken. Je mehr Intervalle diese Menge enthält, desto geringer ist der Anteil am ursprünglichen Intervall.

Die Cantormenge besteht nun aus allen Punkten, die jedes Wegwischen überlebt haben. Man kann sie auch beschreiben als die Menge aller Zahlen im Intervall $[0,1]$ , die eine Darstellung als Kommazahl zur Basis 3 besitzen, in der nur die Ziffern 0 und 2 vorkommen. Insbesondere enthält die Cantormenge mehr als nur die Randpunkte der entfernten Intervalle; diese Randpunkte sind genau die Zahlen in $[0,1]$ , welche sich mit einer 0-Periode oder mit einer 2-Periode schreiben lassen. Darüberhinaus ist aber z.B. auch 1/4 in der Cantormenge, denn $1/4 = 2\cdot 3^{-2} + 2\cdot 3^{-4} + 2\cdot 3^{-6} + ... = 0{,}020202..._3$ .

Im Grenzwert eines unendlichen n ist der Anteil am ursprünglichen Intervall Null, obwohl unendlich viele Intervalle (und somit Elemente) vorliegen.

Die Hausdorff-Dimension und die Minkowski-Dimension dieses Beispiels betragen D = log(2) / log(3) = 0,6309.....

Dieses Konstruktionsverfahren ist verwandt mit dem für die Koch'sche Kurve.

[Bearbeiten] 0-1-Folgen

Das kartesische Produkt abzählbar unendlich vieler Kopien der zweielementigen Menge {0,1} ist die Menge aller unendlichen Folgen, die nur die Werte 0 und 1 annehmen, d.h. die Menge aller Funktionen $x:\mathbb N \to \{0,1\}$ . Diese Menge wird mit $2^{\mathbb N}$ bezeichnet. Durch die oben genannte triadische Entwicklung lässt sich eine natürliche Bijektion zwischen die Cantormenge und der Menge $2^{\mathbb N}$ angeben: Die Zahl mit der triadischen Entwicklung 0,a, b, c... wird in die Folge (a/2, b/2, c/2, ... ) übersetzt; die Zahl 1/4 entspricht also der Folge (0,1,0,1,...).

Die Menge $2^{\mathbb N}$ trägt auch eine natürliche Topologie (nämlich die Produkttopologie, die durch die diskrete Topologie auf der Menge {0,1} induziert wird); die gerade genannte Abbildung ist ein Homöomorphismus zwischen der Cantormenge und der Menge $2^{\mathbb N}$ . Daher wird auch die Menge $2^{\mathbb N}$ oft als „Cantormenge“ bezeichnet.

[Bearbeiten] Produktmaß und Cantorfunktion

Wenn man vom gleichverteilten Maß auf der Menge {0,1} ausgeht, erhält man auf der Menge $2^{\mathbb N}$ ein Produktmaß. Dieses Maß μ lässt sich so interpretieren: Man betrachtet ein Experiment, in dem unendlich oft eine faire Münze geworfen wird; Elemente von $2^{\mathbb N}$ lassen sich als Ausgänge des Experiments interpretieren (die Folge (0,1,0,1,...) bedeutet zum Beispiel, dass immer abwechselnd Kopf und Zahl aufgetreten sind). Das Maß μ weist einer Teilmenge von $2^{\mathbb N}$ nun seine Wahrscheinlichkeit zu. Zum Beispiel besagt das starke Gesetz der großen Zahlen, dass die Menge G der „gleichverteilten“ Folgen Wahrscheinlichkeit 1 hat, wobei G die folgenden Menge ist:

$G= \left\{(x_0, x_1, \ldots) \mid \lim\limits_{n\to \infty}\frac{|\{i<n: x_i=0\}|}{n} = \frac12 \right\}.$

Das oben genannte Maß μ lässt sich durch die oben genannte Bijektion in ein Wahrscheinlichkeitsmaß μ' auf der Cantormenge übersetzen. (Eine alternative Beschreibung von μ' ergibt sich als Hausdorffmaß zur Dimension $log2 / log3$ .)

Dieses Maß μ' ist ein Beispiel für ein Maß, dessen Verteilungsfunktion zwar stetig aber nicht absolut stetig ist. Die Verteilungsfunktion $F_{\mu'}:[0,1]\to [0,1]$ , $F_{\mu'} (x) = \mu'([0,x] \cap C)$ heißt auch „Cantorsche Treppenfunktion“. Auf jedem Intervall im Komplement der Cantormenge ist diese Funktion konstant; auf dem Intervall $\left(\frac12, \frac23\right)$ hat sie zum Beispiel den Wert 1/2, und auf dem Intervall $\left(\frac19, \frac29\right)$ hat sie den Wert 1/4.

Die Cantorsche Treppenfunktion ist also fast überall differenzierbar mit Ableitung 0, aber dennoch nicht konstant.

[Bearbeiten] Andere Cantormengen

Die Cantormenge (auch Mitteldrittel-Cantormenge, middle thirds Cantor set) wurde oben beschrieben. Unter einer Cantormenge versteht man eine Menge von reellen Zahlen, die man mit einer Variante des obigen Wischprozesses bekommt, wobei man nun die Längen und Anzahlen der weggewischten Intervalle variieren kann:

Man beginnt mit einem beliebigen Intervall [a, b] von reellen Zahlen. Im ersten Schritt entfernt man endlich viele offene disjunkte Unterintervalle (mindestens aber eines) und erhält so endlich viele abgeschlossene Intervalle (mindestens 2).

Im zweiten Schritt entfernt man aus jedem der enthaltenen Intervalle wiederum endlich viele Unterintervalle (jeweils mindestens eines).

Wiederum definiert dieser Prozess eine Menge von reellen Zahlen, nämlich jene Punkte, die niemals in eines der weggewischten Intervalle gefallen sind.

Man kann zeigen, dass alle so konstruierten Cantormengen zu einander homöomorph sind, und dass sie insbesondere alle zur Menge aller reellen Zahlen gleichmächtig sind. Indem man die Proportion „Längen der weggewischten Intervallen : Längen der übrigbleibenden Intervalle“ geeignet variiert, kann man eine Cantormenge erzeugen, deren Hausdorff-Dimension eine beliebige vorgegebene Zahl im Intervall [0,1] ist.

Ein zweidimensionales Analogon der Cantor-Menge ist der Sierpinski-Teppich, ein dreidimensionales der Menger-Schwamm.

Von „http://de.wikipedia.org../../../c/a/n/Cantor-Menge_87a6.html“

Kategorien: Topologie | Fraktale Geometrie