Cantor-Menge: Unterschied zwischen den Versionen

Aus FunFacts Wiki
Zur Navigation springen Zur Suche springen
 
(339 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
 +
Die Cantor-Menge heißt auch Cantormenge, Wischmenge, Cantorsches Diskontinuum oder Cantor-Staub und ist eine iterativ konstruierte Teilmenge der reellen Zahlen mit besonderen Eigenschaften.
 +
 
= Georg Cantor - eine Vorstellung =
 
= Georg Cantor - eine Vorstellung =
  
Georg Ferdinand Ludwig Philipp Cantor (geboren am 3. März 1845 (nach dem gregorianischen Kalendar) ((ist das wichtig??)) in Sankt Petersburg und gestorben am 6. Januar 1918 in Halle an der Saale) war ein detuscher Mathematiker.  
+
Georg Ferdinand Ludwig Philipp Cantor (geboren am 3. März 1845 in Sankt Petersburg und gestorben am 6. Januar 1918 in Halle an der Saale) war ein deutscher Mathematiker.  
Er war Kind des Kaufmann und Börsenmakler Georg Woldemar Cantor und Marie Cantor.  
+
Er war Kind des Kaufmanns und Börsenmaklers Georg Woldemar Cantor und Marie Cantor.  
  
 
=== Mathematischer Werdegang ===
 
=== Mathematischer Werdegang ===
  
Cantor schloss die Schule 1860 mit Auszeichnung an der Realschule Darmstadt ab. Nachdem besuchte er die Höhere Gewerbeschule Darmstadt, was heute die TU Darmstadt ist, wo er durch den Willen seines Vaters eine Berufsausbildung zum Ingenieur begann. Cantors Stärken aber lagen in der Mathematik und 1862 begann er ein Mathematikstudium am Polytechnikum in Zürich, wobei er 1863 an die Universität Berlin wechselte. 1866 studierte er ein Sommersemester in Göttingen und 1867 wurde er an der Universität Berlin bei Ernst Eduard Kummer promoviert.  
+
Cantor schloss die Schule 1860 mit Auszeichnung an der Realschule Darmstadt ab. Danach besuchte er die Höhere Gewerbeschule Darmstadt, heute die TU Darmstadt, wo er durch den Willen seines Vaters eine Berufsausbildung zum Ingenieur begann. Cantors Stärken aber lagen in der Mathematik und 1862 begann er ein Mathematikstudium am Polytechnikum in Zürich, wobei er 1863 an die Universität Berlin wechselte. 1866 studierte er ein Sommersemester in Göttingen und 1867 wurde er an der Universität Berlin bei Ernst Eduard Kummer promoviert.  
 
Zu seinen Lehrern zählen die bekannten Mathematiker Karl Weierstraß, Ernst Eduard Kummer und Leopold Kronecker.  
 
Zu seinen Lehrern zählen die bekannten Mathematiker Karl Weierstraß, Ernst Eduard Kummer und Leopold Kronecker.  
Nach seinem Studium arbeitete Cantor als Mathematiklehrer am Friedrich-Wilhelm Gymnasium in Berlin. Bereits dort litt er an Depressionen. 1869 habilitierte er an der Universität Halle, wo er, mit dem Thema De transformatione formarum ternarium quadricarum, bis zum Ende seines Lebens lehrte und arbeitete. Vorab arbeitete er dort als Privatdozent, seit 1872 als Extraordinarius und seit 1877 bis zu seinem Ruhestand 1913 als ordentlicher Professor.
+
Nach seinem Studium arbeitete Cantor als Mathematiklehrer am Friedrich-Wilhelm Gymnasium in Berlin. Bereits dort litt er an Depressionen. 1869 habilitierte er mit dem Thema "De transformatione formarum ternarium quadricarum" an der Universität Halle, wo er bis zum Ende seines Lebens lehrte und arbeitete. Vorab arbeitete er dort als Privatdozent, ab 1872 als Extraordinarius und ab 1877 bis zu seinem Ruhestand 1913 als ordentlicher Professor.
  
 
=== Werk und Leben ===
 
=== Werk und Leben ===
Zeile 15: Zeile 17:
 
Im Jahre 1870 gelang es ihm, eine Funktion als Summe trigonometrischer Reihen darzustellen. Ab 1872 veröffentlichte er weitere Arbeiten über trigonometrische Reihen.  
 
Im Jahre 1870 gelang es ihm, eine Funktion als Summe trigonometrischer Reihen darzustellen. Ab 1872 veröffentlichte er weitere Arbeiten über trigonometrische Reihen.  
 
1873 folgte der Beweis, dass die rationalen Zahlen abzählbar sind und somit eine Bijektion zwischen den natürlichen Zahlen und den rationalen Zahlen existiert. (1. Cantorsches Diagonalargument). 1874 zeigte er über das 2. Cantorsche Diagonalargument, dass die reellen Zahlen überabzählbar sind.  
 
1873 folgte der Beweis, dass die rationalen Zahlen abzählbar sind und somit eine Bijektion zwischen den natürlichen Zahlen und den rationalen Zahlen existiert. (1. Cantorsches Diagonalargument). 1874 zeigte er über das 2. Cantorsche Diagonalargument, dass die reellen Zahlen überabzählbar sind.  
1877 beschäftigte er sich mit den geometrischen Anwendungen der Mengenlehre. Er ist beispielsweise von der Annahme ausgegangen, dass ein Quadrat der Seitenlänge 1 nicht genauso viele Elemente enthält, wie eine Linie zwischen 0 und 1. Als er herausfand, dass dem doch so ist, war er von seiner Entdeckung und Beweisführung überrascht. Er schrieb deshalb „Ich sehe es, aber ich glaube es nicht“. Seine neue Entdeckung hatte großen Einfluss auf die bisherigen geometrischen Anschauungen. Seine Abhandlungen zu dem Thema wurden von Leopold Kronecker, der dem Begriff der Unendlichkeit kritisch gegenüberstand,  zurückgehalten und erst die Intervention seines Freundes Dedekind führten zur Veröffentlichung.  
+
1877 beschäftigte er sich mit den geometrischen Anwendungen der Mengenlehre. Er ist beispielsweise von der Annahme ausgegangen, dass ein Quadrat der Seitenlänge 1 nicht genauso viele Elemente enthält, wie eine Linie zwischen 0 und 1. Als er herausfand, dass dem doch so ist, war er von seiner Entdeckung und Beweisführung überrascht. Er schrieb deshalb „Ich sehe es, aber ich glaube es nicht“. Seine neue Entdeckung hatte großen Einfluss auf die bisherigen geometrischen Anschauungen. Seine Abhandlungen zu dem Thema wurden von Leopold Kronecker, der dem Begriff der Unendlichkeit kritisch gegenüberstand,  zurückgehalten und erst die Intervention seines Freundes Richard Dedekind führten zur Veröffentlichung.  
 
Von 1879 bis 1884 gab er die Artikelreihe mit dem Namen „Über unendliche lineare Punktmannigfaltigkeiten“ heraus, in der er die Grundlagen und Hauptsätze der Mengenlehre begründete. Seine Erkenntnisse führten zu großem Widerstand, weshalb er fast zehn Jahre lang sein Fachgebiet wechselte und sich vermehrt den Literaturwissenschaften, der Philosophie und der Theologie zuwandt. Seine zweite Lebenshälfte wurde vermehrt von seiner manisch-depressiven Erkrankung geprägt, weshalb er sich in psychiatrische Behandlung begeben musste.
 
Von 1879 bis 1884 gab er die Artikelreihe mit dem Namen „Über unendliche lineare Punktmannigfaltigkeiten“ heraus, in der er die Grundlagen und Hauptsätze der Mengenlehre begründete. Seine Erkenntnisse führten zu großem Widerstand, weshalb er fast zehn Jahre lang sein Fachgebiet wechselte und sich vermehrt den Literaturwissenschaften, der Philosophie und der Theologie zuwandt. Seine zweite Lebenshälfte wurde vermehrt von seiner manisch-depressiven Erkrankung geprägt, weshalb er sich in psychiatrische Behandlung begeben musste.
 
Erst 1895 wandte er sich wieder seinem ursprünglichen Gebiet, der Mengenlehre, zu, nachdem er zunehmend Anerkennung und Wertschätzung für seine Arbeit erhielt.  
 
Erst 1895 wandte er sich wieder seinem ursprünglichen Gebiet, der Mengenlehre, zu, nachdem er zunehmend Anerkennung und Wertschätzung für seine Arbeit erhielt.  
 
1899 musste er sich erneut einem Sanatoriumsaufenthalt unterziehen. Kurz nach dem Aufenthalt verstarb sein jüngster Sohn, weshalb sich Cantors psychische Erkrankung verschlimmerte und ein weiterer Sanatoriumsaufenthalt 1903 folgte. Unter seinen Depressionen litt folglich seine mathematische Arbeit.
 
1899 musste er sich erneut einem Sanatoriumsaufenthalt unterziehen. Kurz nach dem Aufenthalt verstarb sein jüngster Sohn, weshalb sich Cantors psychische Erkrankung verschlimmerte und ein weiterer Sanatoriumsaufenthalt 1903 folgte. Unter seinen Depressionen litt folglich seine mathematische Arbeit.
1913 ging er in Pension. Kurz darauf begann 1914 der erste Weltkrieg. Während diesem litt er an Armut und Mangelernährung. Am 6. Januar 1918 starb Cantor an einer Herzinsuffizienz in dem Sanatorium in Halle, in welchem er sein letztes Lebensjahr verbrachte.  
+
1913 ging er in Pension. Kurz darauf begann 1914 der erste Weltkrieg. Während diesem litt er an Armut und Mangelernährung. Am 6. Januar 1918 starb Cantor an einer Herzinsuffizienz in dem Sanatorium in Halle, in welchem er sein letztes Lebensjahr verbrachte.
 +
 
 +
Für weitere Informationen siehe auch: <ref>Fröba, Wassermann: Die bedeutendsten Mathematiker, marix Verlag 2012, Abschnitt Georg Cantor</ref> <ref>Purkert, Walter & Ilgauds, Hans Joachim: Georg Cantor 1845–1918. 1987, S. 79 ff. und S.160.</ref> <ref>https://de.wikipedia.org/wiki/Georg_Cantor (zuletzt aufgerufen: 30.03.2021)</ref>
 +
 
 +
=Konstruktion der Cantor-Menge=
 +
 
 +
Man konstruiert die Cantor-Menge <math>C</math> iterativ, indem man vom  abgeschlossenen Intervall <math>\displaystyle \left[0, 1\right] </math> das mittlere offene Drittel <math>\displaystyle \left[ \frac{1}{3} ,\frac{2}{3} \right]</math> entfernt und aus den beiden verbleibenden abgeschlossenen Intervallen <math>\displaystyle \left[ 0, \frac{1}{3}\right]</math> und <math>\displaystyle\left[ \frac{2}{3} , 1\right]</math> erneut jeweils deren mittleres offenes Drittel entfernt. Dieser Prozess des Entfernens des mittleren offenen Drittels wird unendlich oft fortgesetzt. Die Elemente, die nach unendlicher Wiederholung des Prozesses nicht entfernt wurden, bilden die Cantor-Menge <math>C</math>. Das bedeutet:
 +
 
 +
:<math> C_0 :=\left[0,1\right] </math>
 +
:<math> C_1 :=\left[0,\frac{1}{3}\right]∪\left[\frac{2}{3},1\right] </math>
 +
:<math> C_2 :=\left[0,\frac{1}{9}\right]∪\left[\frac{2}{9},\frac{1}{3}\right]∪\left[\frac{2}{3},\frac{7}{9}\right]∪\left[\frac{8}{9},1\right] </math>
 +
:<math> C_3 :=\left[0, \frac{1}{27}\right]∪\left[\frac{2}{27} ,\frac{1}{9}\right]∪\left[\frac{2}{9}, \frac{7}{27} \right]∪\left[\frac{8}{27} ,\frac{1}{3}\right]∪\left[\frac{2}{3},\frac{19}{27}\right]∪\left[\frac{20}{27},\frac{7}{9}\right]∪\left[\frac{8}{9},\frac{25}{27}\right]∪\left[\frac{26}{27},1\right] </math>
 +
 
 +
 
 +
:<math>... </math>
 +
:<math> C = \bigcap_{n=0}^\infty C_n = \lim_{n\to\infty} C_n </math> <br>
 +
 
 +
:<math> \text{,da  } C_0 \supset C_1 \supset C_2 \supset ...\supset C_{n-1} \supset C_n</math>
 +
 
  
Vgl. : https://de.wikipedia.org/wiki/Georg_Cantor
 
  
= Geometrische Darstellung =
+
Folgendes Bild veranschaulicht den Prozess.<br>
 +
<br>
  
Man konstruiert die Cantor-Menge ''C'' rekursiv, indem man vom  abgeschlossenen Intervall [0, 1] das mittlere offene Drittel <math>\displaystyle ( \frac{1}{3} ,\frac{2}{3} )</math> entfernt und aus den beiden verbleibenden Intervallen [<math>\displaystyle\ 0, \frac{1}{3}</math>] und [<math>\displaystyle\frac{2}{3} , 1</math>] erneut jeweils deren mittleres offenes Drittel entfernt. Dieser Prozess des Entfernen des mittleren offenen Drittels wird unendlich oft fortgesetzt.
+
[[Datei:Geometrische Veranschaulichung.jpg|400x400px|alternativtext=]]
  
Folgendes Bild veranschaulicht den Prozess.
+
Bild erstellt von Christina Tian am 21.03.2021.
[[Datei:Geometrische Veranschaulichung.jpg]]
 
  
= Tenär-Darstellung =
+
= Ternär-Darstellung =
Der internationale Standard sieht das Dezimalsystem als Zahlensystem vor. Dabei wird ein Zahlenwert dargestellt durch Ziffern 0,1,2,3,4,5,6,7,8,9 mit dem Stellenwert als Zehnerpotenz insgesamt addiert wird. Da bei der Cantor-Menge Intervalle iterativ gedrittelt werden, ist es zielführend sich für die nähere Betrachtung der Menge mit dem Stellenwertsystem zur Basis 3 vertraut zu machen, dem Tenär-System. Dieses sieht die Ziffern 0,1,2 und den Stellenwert als Dreierpotenz vor. Zahlenwerte in Tenär-Darstellung werden mit einem Index 3 gekennzeichnet. Das heißt für x ∈ [0, 1], dem Intervall in dem sich die Cantor-Menge befindet, im:
+
Der internationale Standard sieht das Dezimalsystem als Zahlensystem vor. Dabei wird ein Zahlenwert dargestellt durch Ziffern 0,1,2,3,4,5,6,7,8,9, die mit ihrem Stellenwert als Zehnerpotenz addiert werden Da bei der Cantor-Menge Intervalle iterativ gedrittelt werden, ist es zielführend sich für die nähere Betrachtung der Menge mit dem Stellenwertsystem zur Basis 3 vertraut zu machen, dem Ternär-System. Dieses sieht die Ziffern 0,1,2 und den Stellenwert als Dreierpotenz vor. Zahlenwerte in Ternär-Darstellung werden mit einem Index 3 gekennzeichnet. Das heißt für x ∈ [0, 1], dem Intervall in dem sich die Cantor-Menge befindet, im:
  
 
*Dezimalsystem: <br>
 
*Dezimalsystem: <br>
:<math>\displaystyle x = 0,x_1 x_2 x_3 ...  = \sum_{i=1}^\infty x_i \frac{1}{10^i} ; x_i ∈  </math> {0,1,...,9} ,wobei i ∈ <math>\mathbb N</math>
+
:<math>\displaystyle x = 0,x_1 x_2 x_3 ...  = \sum_{i=1}^\infty x_i \frac{1}{10^i} \text{    }; x_i ∈  </math> {0,1,...,9}
  
*Tenärsystem: <br>
+
*Ternärsystem: <br>
:<math>\displaystyle x = 0,x_1 x_2 x_3 ...= \sum_{i=1}^\infty  x_i \frac{1}{3^i}   ; x_i ∈ </math> {0,1,2} ,wobei i ∈ <math>\mathbb N</math>
+
:<math>\displaystyle x = 0,x_1 x_2 x_3 ...= \sum_{i=1}^\infty  x_i \frac{1}{3^i} \text{    }  ; x_i ∈ </math> {0,1,2}  
  
 
Beispiele dazu:
 
Beispiele dazu:
Zeile 50: Zeile 69:
  
  
So wie im Dezimalsystem die Konvention besteht <math>\displaystyle 0{,}\overline{9}</math> mit 1 gleichzusetzten, gilt dies analog für <math>\displaystyle 0{,}\overline{2}</math> im Tenärsystem. Daraus folgt:
+
So wie im Dezimalsystem <math>\displaystyle 0{,}\overline{9}</math> mit 1 gleichzusetzten ist, gilt dies analog für <math>\displaystyle 0{,}\overline{2}</math> im Ternärsystem. Daraus folgt:
 
 
  
 
:<math>\displaystyle (0{,}\overline{2})_3  = 1</math> <br>
 
:<math>\displaystyle (0{,}\overline{2})_3  = 1</math> <br>
Zeile 61: Zeile 79:
 
    
 
    
  
Angewandt auf die Cantor-Menge bedeutet das, da das mittlere Intervall mit einer 1 als Stellenwert herausgenommen wird, dass die Menge C<sub>n</sub> aus Elementen besteht, die innerhalb denr ersten n-Nachkommstellen nur aus den Ziffern 0 und 2 bestehen. Das erleichtert die Zuordnug. Deswegen
+
Angewandt auf die Cantor-Menge bedeutet das, da das mittlere Intervall mit einer 1 als Stellenwert immer wieder herausgenommen wird, dass die Menge <math>C_n</math> aus Elementen besteht, die innerhalb der ersten n-Nachkommastellen in Tenär-Darstellung nur aus den Ziffern 0 und 2 bestehen. Das erleichtert die Zuordnung. Das heißt:
:<math>\displaystyle C_n = </math>{<nowiki><math>\displaystyle c }</nowiki>
+
 
 +
<math> C_1 :=[0,\frac{1}{3}]∪[\frac{2}{3},1] </math>
 +
:<math> = [0,(0,1)_3]∪[(0,2)_3,1] </math>
 +
:<math>= [0,(0{,}0\overline{2})_3]∪[(0,2)_3,1]</math><br>
 +
 
 +
<math> C_2 :=[0,\frac{1}{9}]∪[\frac{2}{9},\frac{1}{3}]∪[\frac{2}{3},\frac{7}{9}]∪[\frac{8}{9},1] </math>
 +
:<math> = [0,(0,01)_3]∪[(0,02)_3,(0,1)_3]∪[(0,2)_3,(0,21)_3]∪[(0,22)_3,1]</math>
 +
:<math> = [0,(0{,}00\overline{2})_3]∪[(0,02)_3,(0{,}0\overline{2})_3]∪
 +
[(0,2)_3,(0{,}20\overline{2})_3]∪[(0,22)_3,(0{,}\overline{2})_3]</math> <br>
 +
...
 +
 
 +
<math> C_n= </math> { <math> x ∈ [0,1]| x_i ∈ </math> {<math> 0,2 </math> }  für alle <math> i ≤ n </math> }.<br><br>
 +
Siehe <ref>Appell, Jürgen “Analysis in Beispielen und Gegenbeispielen. Eine Einführung in die Theorie reeller Funktionen”. Springer, Berlin u. a. 2009, ISBN 978-3-540-88902-1, S. 233–237</ref>, <ref>Schilling, Anna (2021) : Cantor-Menge https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17786/manuscript/db62c69225719ba1d5495987b3d47991.pdf (letzter Zugriff 20.03.2021)</ref>. Bild erstellt von Christina Tian
 +
 
 +
[[Datei:Cantormenge .jpg|mini|400x400px|Ternär-Darstellung|alternativtext=|links]]<br>
 +
<br>
 +
<br>
 +
<br>
 +
<br>
 +
<br>
 +
<br>
 +
<br>
 +
<br>
 +
<br>
 +
<br>
  
 
= Cantorfunktion =
 
= Cantorfunktion =
  
Mit Hilfe der Cantormenge ''C'' lässt sich rekursiv die sogenannte Cantorfunktion (auch “Teufelstreppe”) definieren.  
+
Mit Hilfe der Cantor-Menge ''C'' lässt sich rekursiv die sogenannte Cantorfunktion (auch “Teufelstreppe”) definieren.  
Sei f: [0,1] -> [0,1] mit f(0) = 0 und f(1) = 1. Sei x in [0,1], dann erhalten wir die Cantorfunktion f(x) durch die folgenden Schritte:  
+
Wir konstruieren die Cantorfunktion <math> f: \left[0,1\right] -> \left[0,1\right] </math> mit <math>f(0) = 0 </math> und <math>f(1) = 1</math> folgendermaßen:<br>
* Drücke x in Basis 3 approximiert aus
+
Sei <math> x ∈ \left[0,1\right]</math>, dann erhalten wir die Cantorfunktion <math>f(x)</math> durch die folgenden Schritte:  
* Wenn x eine 1 enthält, ersetze jede Ziffer streng nach der ersten 1 durch 0.  
+
* Drücke <math>x</math> in Basis 3 approximiert aus
 +
* Wenn <math>x</math> eine 1 enthält, ersetze jede Ziffer streng nach der ersten 1 durch 0.  
 
* Ersetze alle verbleibenden 2en durch 1en.  
 
* Ersetze alle verbleibenden 2en durch 1en.  
 
* Interpretiere das Ergebnis als Binärzahl.  
 
* Interpretiere das Ergebnis als Binärzahl.  
  
  
Der Graph der Funktion ist durch folgendes Bild veranschaulicht.
+
Der Graph der Funktion ist durch folgendes Bild veranschaulicht.<ref>Bildnachweis https://de.wikipedia.org/wiki/Cantor-Verteilung#/media/Datei:Cantor-Funktion.svg (letzter Zugriff 20.03.2021)</ref><br>
[[Datei:Graph der Cantofunktion.jpg]]
+
<br>
 +
<br>
 +
<br>
  
Die Teufelstreppe ''f'' ist monoton steigend und in allen Punkten x  ∈  [0, 1] \ ''C'' differenzierbar mit der Ableitung 0, da sie dort konstant ist. In den Elementen der Cantormenge wie zum Beispiel 0 und 1 und den Randpunkten der entfernten Drittelintervalle ist ''f'' nicht differenzierbar.
 
  
Sie steht in Bezug mit einer besonderen Wahrscheinlichkeitsverteilung.
+
[[Datei:Graph der Cantofunktion.jpg|500x500px|alternativtext=]]
  
= Eigenschaften =
+
Die Teufelstreppe <math> f </math> ist monoton steigend und in allen Punkten <math> x ∈ \left[0,1\right] </math> \ <math> C </math> differenzierbar mit der Ableitung 0, da sie dort konstant ist. In den Elementen der Cantormenge wie zum Beispiel 0 und 1 und den Randpunkten der entfernten Drittelintervalle ist  <math> f </math> nicht differenzierbar.
  
1884 veröffentlicht Cantor sein Werk ''Über unendliche, lineare Punktmannigfaltigkeiten (VI)''. Im Paragraph § 19 beschäftigt er sich mit perfekten Teilmengen von ℝ.  
+
Sie steht in Bezug mit einer besonderen Wahrscheinlichkeitsverteilung. Siehe <ref>Deiser, Oliver :Einführung in die Mengenlehre https://www.aleph1.info/?call=Puc&permalink=mengenlehre1_4_3 S.530-544 (letzter Zugriff 25.03.2021)</ref>, <ref>Fleron, Julian F. “A Note on the History of the Cantor Set and Cantor Function.” Mathematics Magazine, vol. 67, no. 2, 1994, pp. 136–140. JSTOR, https://www.jstor.org/stable/2690689 (letzter Zugriff 18.03.2021)</ref>, <ref>https://wiki.math.ntnu.no/_media/tma4225/2015h/cantor_set_function.pdf (letzter Zugriff 26.03.2021)</ref>
Hierzu verwendet er die Cantormenge und zeigt, dass jede beschränkte nichtleere perfekte Teilmenge von ℝ, die keine nichttrivialen Intervalle enthält, ähnlich ist zur Cantormenge C.
 
  
In der Tat hat die Cantormenge ''C'' besondere Eigenschaften:
+
= Eigenschaften =
  
* ''C'' ist kompakt.
+
1884 veröffentlicht Cantor sein Werk ''Über unendliche, lineare Punktmannigfaltigkeiten (VI)''. Im Paragraphen § 19 beschäftigt er sich mit perfekten (siehe unten) Teilmengen von ℝ.
* ''C'' hat keine isolierte Punkte.
+
Hierzu verwendet er die Cantormenge und zeigt, dass jede beschränkte nichtleere perfekte Teilmenge von ℝ, die keine nichttrivialen Intervalle enthält, ähnlich ist zur Cantor-Menge <math>C</math>. Siehe <ref>Deiser, Oliver :Einführung in die Mengenlehre https://www.aleph1.info/?call=Puc&permalink=mengenlehre1_4_3 S.530-544 (letzter Zugriff 25.03.2021)</ref>, <ref>Fleron, Julian F. “A Note on the History of the Cantor Set and Cantor Function.” Mathematics Magazine, vol. 67, no. 2, 1994, pp. 136–140. JSTOR, https://www.jstor.org/stable/2690689 (letzter Zugriff 18.03.2021)</ref>, <ref>H. Amann, J. Escher: Analysis I</ref>.<br>
* ''C'' Lange TITEL ZU ANDERN
+
<br>
* ''C'' ist total unzusammenhängend und hat ein leeres Inneres.  
 
* ''C'' ist überabzählbar.
 
  
 +
In der Tat hat die Cantormenge <math>C</math> besondere Eigenschaften:
  
=== Kompaktheit ===
+
* <math>C</math> ist kompakt.
Da die Cantor-Menge eine Teilmenge der Reelen Zahlen ist, gilt der Satz von Heine-Borel, dass Mengen genau dann kompakt sind, wenn sie abgeschlossen und beschränkt sind.  
+
* <math>C</math> hat keine isolierte Punkte.
Abgeschlossenheit der Cantor-Menge C <math>\Leftrightarrow  offenes Komplement <math>\mathbb R </math> \C
+
* <math>C</math> hat Länge 0.
<math>\mathbb R </math> \C =  <math>\mathbb R </math> \ [0, 1]
+
* <math>C</math> ist total unzusammenhängend und hat ein leeres Inneres.
 +
* <math>C</math> ist überabzählbar.
  
=== Perfektheit ===
+
=== Kompaktheit  <ref>Schilling, Anna (2021) : Cantor-Menge https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17786/manuscript/db62c69225719ba1d5495987b3d47991.pdf (letzter Zugriff 20.03.2021)</ref> ===  
 +
Da die Cantor-Menge <math>C</math> eine Teilmenge der Reelen Zahlen <math>\mathbb R</math> ist, gilt der Satz von Heine-Borel, sodass Mengen genau dann kompakt sind, wenn sie abgeschlossen und beschränkt sind. <br>
 +
Abgeschlossenheit:<br>Cantor-Menge <math>C</math> abgeschlossen <math>\Leftrightarrow </math> Komplement <math>\mathbb R</math>  \C  offen
 +
:<math>\mathbb R</math> \<math>C</math>  = <math>\mathbb R</math> \<math>[0, 1] ∪\bigcup_{i\in \mathbb N} I_i </math> ,wobei <math> I</math> die herausgenommenem offenen Intervalle sind
 +
Innerhalb der reellen Zahlen ist die beliebige Vereinigung offeneren Mengen stets offen, deswegen <math>\mathbb R</math> \<math>C</math> offen und somit
 +
<math>C</math> abgeschlossen.
  
Sei M ein topologischer Raum, eine Teilmenge A ⊂ M heißt perfekt, wenn A kompakt ist und keine isolierte Punkte hat. Ein Punkt ''p''heißt isoliert, falls es eine Umgebung um ''p'' gibt, die ''p'' als einziger Punkt enthält.  
+
Beschränktheit:<br>
 +
Die Cantormenge ist als Teilmenge des beschränkten Intervalls <math>[0, 1]</math> ebenfalls beschränkt.<br>
 +
Damit besitzt die Cantor-Menge die topologische Eigenschaft der Kompaktheit.<br>
  
Wie schon erwähnt, ist die Cantormenge eine solche Menge (Vgl: ''C'' total unzusammenhängend).
 
  
=== Länge ===
+
=== Länge <ref>https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17423/manuscript/b53706c913236535b9c57ba1da7e7eb4.pdf</ref> ===
 +
 +
Die Menge <math>C_n</math> besteht aus 2<sup>n</sup> Intervallen der Länge [math](\frac{1}{3^n}) [/math]. Folglich ist die Gesamtlänge von <math>C_n</math> ,<br>
 +
:[math]|C_n| = 2^n * (\frac{1}{3^n}) = (\frac{2}{3})^n [/math]<br>
 +
Um die Gesamtlänge <math>|C|</math> der Cantor-Menge zu erhalten, betrachtet man nun den Limes: lim<sub>n→∞</sub> [math]((\frac{2}{3})^n) [/math]. <br>
 +
Da [math]|(\frac{2}{3})| <  1 [/math] ist, handelt es sich um eine Nullfolge, somit gilt: |C| = 0. <br>
 +
Die Länge der Cantor-Menge beträgt also 0.
  
Es gilt, dass die Menge C<sub>n</sub> aus 2<sup>n</sup> Intervallen der Länge 1/3<sup>n</sup> besteht. Folglich ist die Gesamtlänge von C<sub>n</sub> |C<sub>n</sub>| = 2<sup>n</sup> * 1/3<sup>n</sup> = (2/3)<sup>n</sup>. Um also die Gesamtlänge |C| der Cantor-Menge zu erhalten, betrachtet man nun den Limes: lim<sub>n→∞</sub> ((2/3)<sup>n</sup>). Da (2/3)<sup>n</sup> bekanntlich eine Nullfolge ist, folgt also: |C| = 0, womit die Länge der Cantormenge 0 ist.
+
=== Inneres <ref>Wiegand, Kevin (2021): https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17423/manuscript/b53706c913236535b9c57ba1da7e7eb4.pdf (zuletzt aufgerufen: 30.03.2021)</ref> ===
 +
 +
Die Mengen <math> C_n, n\in \mathbb N </math>, können als die Vereinigung von 2<sup>n</sup> disjunkten, abgeschlossenen Intervallen I<sub>n,k</sub> mit Länge [math](\frac{1}{3^n}) [/math] dargestellt werden. Es gilt also:  
 +
:<math> C_n = \bigcup_{k\in \mathbb N} I_{n,k}.</math>
  
=== Inneres ===  
+
Behauptung: Das Innere C° der Cantor-Menge C ist leer: C° = ∅.
 +
 +
Beweis der Behauptung per Widerspruch:
 +
 +
Annahme: Es existiert ein x ∈ C°, also gibt es ein ε > 0 mit (x−ε,x+ε) ⊂ C° ⊂ C. Dann gilt auch für alle ''n ∈ N'', dass (x−ε,x+ε) ⊂ ''Cn''. Die Gesamtlänge von ''Cn'' erfüllt also <math> 2ε ≤ \sum_{k=1}^{2n} |I_{n,k} | = \frac {2^n}{3^n}=(\frac{2}{3})^n </math>. <br>
 +
Dies widerspricht jedoch der oben bewiesenen Konvergenz der Länge gegen 0. (s.o. Länge).
  
Das Innere von C ist leer: C° = ∅.
+
=== Total unzusammenhängend ===
 +
 +
Die Cantor-Menge ist total unzusammenhängend, was bedeutet, dass es neben der leeren Menge und den einelementigen Mengen keine weiteren zusammenhängenden Mengen gibt. <br>
 +
Zu zeigen ist also, dass<br>
 +
:<math>∀a,b ∈ C</math>: <math> \text{  }a<b \text{  }∃ \text{  }r ∈ \text{  }\mathbb R</math>\ <math>C:a<r<b</math>
 +
 +
Sei also nun <math>a<b</math>. Dann gilt insbesondere <math> a≠b</math> . Damit folgt:
 +
:<math>∃k ∈\mathbb N</math> minimal <math>: a_k ≠ b_k</math>, wobei <math>a_k</math> und <math>b_k</math> Nachkommastellen von a und b in der Ternär-Darstellung sind. <br>
  
 +
Nun lässt sich also ein <math> r ∈ \mathbb R</math> \<math> C : a<r<b </math> konstruieren. <br>
  
Beweis per Widerspruch:
+
Wir definieren <math> r:= 0,a_1...a_{k-1}11</math>. <br>
 +
(Die zweite 1 muss hinzugefügt werden, da gilt <math>...x_j10000... = ....x_j0222... </math> womit <math>r</math> sonst nach Ternär-Darstellung in der Cantor-Menge liegt) Somit gilt also <math> r_k≠a_k </math> und <math> r_k≠b_k</math>, da nach der Ternär-Darstellung gilt, dass alle Nachkommastellen den Wert 0 oder 2 annehmen. Es folgt, da  <math> a<b</math> und <math>a_k ≠ b_k: a_k ≠ r_k ≠ b_k </math>.
 +
Nach Konstruktion gilt also <math> a<r<b </math> und <math> r ∈ \mathbb R</math> \<math>C</math>. <br>
 +
Damit ist die Behauptung bewiesen.
 +
Deshalb wird <math>C</math> auch ''Cantorsches Diskontinuum'' genannt.
  
Annahme, es gebe ein x ∈ das Innere von C (C’). Dann gibt es ein ε > 0 mit (x−ε,x+ε) C‘ ⊂ C. Dann gilt auch für alle n ∈ N, dass (x−ε,x+ε) ⊂ Cn. Die Gesamtlänge von Cn erfüllt also 2ε ≤ (Summenzeichen)2n, k=1 |In,k | = 2^n /3^n=(2/3)^n . Dies widerspricht jedoch der oben genannten bewiesenen Konvergenz, welche 0 ist.
+
=== Perfektheit ===
 +
 +
Sei <math>M</math> ein topologischer Raum, eine Teilmenge <math> A M </math> heißt perfekt, wenn A kompakt ist und keine isolierte Punkte besitzt. Ein Punkt <math>p</math> heißt isoliert, falls es eine Umgebung um <math>p</math> gibt, die <math>p</math> als einzigen Punkt enthält.  
 +
 +
Wie schon erwähnt, ist die Cantormenge eine solche Menge (Vgl: ''C'' total unzusammenhängend).
  
 +
=== Kardinalität ===
 
   
 
   
 +
Durch das [https://de.wikipedia.org/wiki/Cantors_zweites_Diagonalargument 2. Cantorsche Diagonalverfahren] lässt sich beweisen, dass die Cantor-Menge überabzählbar ist. Seien dazu <math> c_1, c_2, c_3 </math> Elemente der Cantor-Menge.
 +
 +
Folgendes Bild veranschaulicht das Verfahren, an einem Beispiel.<br>
  
=== TOTAL UNZUSAEMMENH. TITEL ZU AENDERN ===
+
[[Datei:2. Cantorsches Verfahren - Veranschaulichung.jpg|alternativtext=|498x498px]]<br>
 +
<br> <br>
 +
Bild erstellt von Matilde Sciortino am 29.März 2021
  
 +
Damit ist die Cantor-Menge gleichmächtig zum Intervall  [0, 1] das ebenfalls, wie alle Intervalle, überabzählbar ist.
  
 +
= Musikalische Interpretation =
  
//ganz am Ende des Paragraphs oder wo ihr denkt, vielleicht: // Deswegen ist ''C'' auch ''Cantorsches Diskontinuum'' genannt.
+
Der rumänische Komponist György Ligeti macht in seiner Komposition ''"L'escalier du diable" (''“Die Teufelstreppe”'')'' innerhalb seiner 13. Etüde die Cantor-Funktion musikalisch fühlbar. <ref>https://wiki.math.ntnu.no/_media/tma4225/2015h/cantor_set_function.pdf (letzter Zugriff 26.03.2021)</ref> höre [19].
  
=== Kardinalität ===
+
Der endliche Aufstieg des Intervalls [0, 1] in überabzählbar unendlich vielen Schritten ist durch sich selbstähnliche Harmonien illustriert. Die, aufgrund der herausgenommen Intervalle, konstanten Abschnitte der Cantorfunktion sind in Ligetis Werk erkennbar durch Tempi und Dynamik. Die steigende Monotonie der Funktion wird durch ein sich beschleunigendes Tempo in der Komposition ausgedrückt.
 +
Ihre Struktur ist analog zur Cantor-Menge dreiteilig. Nach dem ersten musikalischen Intervall wird der mittlere Teil des nächsten Intervall verändert und dann nochmals mit einem veränderten mittleren geteilt.
  
Durch das 2. Cantorsches Diagonalverfahren kann mann beweisen, dass die Cantomenge überabzählbar ist.  
+
Die Komposition versucht eine Darstellung der unvorstellbaren Unendlichkeit in der Kunst zu geben, was in der Mathematik formal möglich ist.
  
Folgendes Bild veranschaulicht das Verfahren.
+
= Erdbeben und die Cantorfunktion =
[[Datei:2. Cantorsches Verfahren - Veranschaulichung.jpg]]
 
  
= Musikalische Interpretation =
+
Der Seismologe Yuan Chen und seine Kollegen an der University of Missouri in Columbia haben in einer Studie herausgefunden, dass viele Starkbeben dem zeitlichen Muster der Cantorfunktion folgen. <ref>https://pubs.geoscienceworld.org/ssa/bssa/article-abstract/110/3/1064/583503/Complex-Temporal-Patterns-of-Large-Earthquakes?redirectedFrom=fulltext (letzter Zugriff 30.03.2021)</ref>
  
Der rumänische Komponist György Ligeti macht in seiner Komposition ''"L'escalier du diable" (''“Die Teufelstreppe”'')'' innerhalb seiner 13. Etüde die Cantor-Funktion musikalisch fühlbar.  
+
Die Forscher haben die zeitliche Abfolge von Starkbeben in Erdbebenzonen an der Plattengrenze zwischen Afrika und Eurasien im Westen Algeriens, im New-Madrid-Erdbebengebiet im Zentrum der USA und in Australien beobachtet.
  
Der endliche Aufstieg des Intervalls [0, 1] in überabzählbar unendlich vielen Schritten ist durch sich selbstähnlich Harmonien illustriert. Die konstanten Abschnitte der Cantor-Funktion, aufgrund der herausgenommen Intervall, sind in Ligetis Werk erkennbar. Die steigende Monotonie der Funktion wird durch ein sich beschleunigendes Tempo in der Komposition ausgedrückt.
+
„Es sind viele Erdbebensequenzen, die komplex und variabel sind [...] und zeigen Cluster von Ereignissen, die durch lange, aber unregelmäßige Intervalle der Ruhe unterbrochen sind“,<ref>Podbregar, Nadja (2020):"Erdbeben folgen einer 'Teufelstreppe'": https://www.scinexx.de/news/geowissen/erdbeben-folgen-einer-teufelstreppe/ (zuletzt aufgerufen: 31.03.2021)</ref> sagen Yuan Chen und sein Team.  
Ihre Struktur ist dreiteilig. Nach dem ersten musikalischen Intervall wird der mittlere Teil des nächsten Intervall verändert und dann nochmals mit einem veränderten mittleren geteilt.  
 
  
Die Komposition versucht eine Darstellung der Unendlichkeit in der Kunst zu geben, was in der Mathematik formal möglich ist.
+
Wenn man die Häufigkeitsverteilung der Beben in ein Diagramm einträgt, kann man an eine ansteigende Treppe mit verschiedenbreiten Stufen das Muster der Cantorfunktion, erkennen. Die Form der Treppe ist aber von der Region abhängig: Die Länge der Ruheintervalle, also die Breite der „Stufen“ ist mit der im Untergrund aufgestauten Spannung verbunden, je höher die Spannung, desto schmaler die Stufe.
Siehe <ref>1</ref>
 
  
= Quellen und weiterführende Links =
+
= Quellen und Bemerkungen =
https://wiki.math.ntnu.no/_media/tma4225/2015h/cantor_set_function.pdf (letzter Zugriff 30.03.2021)<references group="https://youtu.be/uoLam2O3gtY" />
 
 
<references />
 
<references />
 +
19. <nowiki>https://youtu.be/uoLam2O3gtY</nowiki>
 +
 +
= Autoren =
 +
 +
Christina Tian, Hannah Pompetzki, Matilde Sciortino, Marianna Hofmeier

Aktuelle Version vom 18. April 2021, 11:27 Uhr

Die Cantor-Menge heißt auch Cantormenge, Wischmenge, Cantorsches Diskontinuum oder Cantor-Staub und ist eine iterativ konstruierte Teilmenge der reellen Zahlen mit besonderen Eigenschaften.

Georg Cantor - eine Vorstellung

Georg Ferdinand Ludwig Philipp Cantor (geboren am 3. März 1845 in Sankt Petersburg und gestorben am 6. Januar 1918 in Halle an der Saale) war ein deutscher Mathematiker. Er war Kind des Kaufmanns und Börsenmaklers Georg Woldemar Cantor und Marie Cantor.

Mathematischer Werdegang

Cantor schloss die Schule 1860 mit Auszeichnung an der Realschule Darmstadt ab. Danach besuchte er die Höhere Gewerbeschule Darmstadt, heute die TU Darmstadt, wo er durch den Willen seines Vaters eine Berufsausbildung zum Ingenieur begann. Cantors Stärken aber lagen in der Mathematik und 1862 begann er ein Mathematikstudium am Polytechnikum in Zürich, wobei er 1863 an die Universität Berlin wechselte. 1866 studierte er ein Sommersemester in Göttingen und 1867 wurde er an der Universität Berlin bei Ernst Eduard Kummer promoviert. Zu seinen Lehrern zählen die bekannten Mathematiker Karl Weierstraß, Ernst Eduard Kummer und Leopold Kronecker. Nach seinem Studium arbeitete Cantor als Mathematiklehrer am Friedrich-Wilhelm Gymnasium in Berlin. Bereits dort litt er an Depressionen. 1869 habilitierte er mit dem Thema "De transformatione formarum ternarium quadricarum" an der Universität Halle, wo er bis zum Ende seines Lebens lehrte und arbeitete. Vorab arbeitete er dort als Privatdozent, ab 1872 als Extraordinarius und ab 1877 bis zu seinem Ruhestand 1913 als ordentlicher Professor.

Werk und Leben

Cantor ist der Begründer der Mengenlehre und prägte den Begriff der Unendlichkeit. Im Jahre 1870 gelang es ihm, eine Funktion als Summe trigonometrischer Reihen darzustellen. Ab 1872 veröffentlichte er weitere Arbeiten über trigonometrische Reihen. 1873 folgte der Beweis, dass die rationalen Zahlen abzählbar sind und somit eine Bijektion zwischen den natürlichen Zahlen und den rationalen Zahlen existiert. (1. Cantorsches Diagonalargument). 1874 zeigte er über das 2. Cantorsche Diagonalargument, dass die reellen Zahlen überabzählbar sind. 1877 beschäftigte er sich mit den geometrischen Anwendungen der Mengenlehre. Er ist beispielsweise von der Annahme ausgegangen, dass ein Quadrat der Seitenlänge 1 nicht genauso viele Elemente enthält, wie eine Linie zwischen 0 und 1. Als er herausfand, dass dem doch so ist, war er von seiner Entdeckung und Beweisführung überrascht. Er schrieb deshalb „Ich sehe es, aber ich glaube es nicht“. Seine neue Entdeckung hatte großen Einfluss auf die bisherigen geometrischen Anschauungen. Seine Abhandlungen zu dem Thema wurden von Leopold Kronecker, der dem Begriff der Unendlichkeit kritisch gegenüberstand, zurückgehalten und erst die Intervention seines Freundes Richard Dedekind führten zur Veröffentlichung. Von 1879 bis 1884 gab er die Artikelreihe mit dem Namen „Über unendliche lineare Punktmannigfaltigkeiten“ heraus, in der er die Grundlagen und Hauptsätze der Mengenlehre begründete. Seine Erkenntnisse führten zu großem Widerstand, weshalb er fast zehn Jahre lang sein Fachgebiet wechselte und sich vermehrt den Literaturwissenschaften, der Philosophie und der Theologie zuwandt. Seine zweite Lebenshälfte wurde vermehrt von seiner manisch-depressiven Erkrankung geprägt, weshalb er sich in psychiatrische Behandlung begeben musste. Erst 1895 wandte er sich wieder seinem ursprünglichen Gebiet, der Mengenlehre, zu, nachdem er zunehmend Anerkennung und Wertschätzung für seine Arbeit erhielt. 1899 musste er sich erneut einem Sanatoriumsaufenthalt unterziehen. Kurz nach dem Aufenthalt verstarb sein jüngster Sohn, weshalb sich Cantors psychische Erkrankung verschlimmerte und ein weiterer Sanatoriumsaufenthalt 1903 folgte. Unter seinen Depressionen litt folglich seine mathematische Arbeit. 1913 ging er in Pension. Kurz darauf begann 1914 der erste Weltkrieg. Während diesem litt er an Armut und Mangelernährung. Am 6. Januar 1918 starb Cantor an einer Herzinsuffizienz in dem Sanatorium in Halle, in welchem er sein letztes Lebensjahr verbrachte.

Für weitere Informationen siehe auch: [1] [2] [3]

Konstruktion der Cantor-Menge

Man konstruiert die Cantor-Menge [math]C[/math] iterativ, indem man vom abgeschlossenen Intervall [math]\displaystyle \left[0, 1\right] [/math] das mittlere offene Drittel [math]\displaystyle \left[ \frac{1}{3} ,\frac{2}{3} \right][/math] entfernt und aus den beiden verbleibenden abgeschlossenen Intervallen [math]\displaystyle \left[ 0, \frac{1}{3}\right][/math] und [math]\displaystyle\left[ \frac{2}{3} , 1\right][/math] erneut jeweils deren mittleres offenes Drittel entfernt. Dieser Prozess des Entfernens des mittleren offenen Drittels wird unendlich oft fortgesetzt. Die Elemente, die nach unendlicher Wiederholung des Prozesses nicht entfernt wurden, bilden die Cantor-Menge [math]C[/math]. Das bedeutet:

[math] C_0 :=\left[0,1\right] [/math]
[math] C_1 :=\left[0,\frac{1}{3}\right]∪\left[\frac{2}{3},1\right] [/math]
[math] C_2 :=\left[0,\frac{1}{9}\right]∪\left[\frac{2}{9},\frac{1}{3}\right]∪\left[\frac{2}{3},\frac{7}{9}\right]∪\left[\frac{8}{9},1\right] [/math]
[math] C_3 :=\left[0, \frac{1}{27}\right]∪\left[\frac{2}{27} ,\frac{1}{9}\right]∪\left[\frac{2}{9}, \frac{7}{27} \right]∪\left[\frac{8}{27} ,\frac{1}{3}\right]∪\left[\frac{2}{3},\frac{19}{27}\right]∪\left[\frac{20}{27},\frac{7}{9}\right]∪\left[\frac{8}{9},\frac{25}{27}\right]∪\left[\frac{26}{27},1\right] [/math]


[math]... [/math]
[math] C = \bigcap_{n=0}^\infty C_n = \lim_{n\to\infty} C_n [/math]
[math] \text{,da } C_0 \supset C_1 \supset C_2 \supset ...\supset C_{n-1} \supset C_n[/math]


Folgendes Bild veranschaulicht den Prozess.

Bild erstellt von Christina Tian am 21.03.2021.

Ternär-Darstellung

Der internationale Standard sieht das Dezimalsystem als Zahlensystem vor. Dabei wird ein Zahlenwert dargestellt durch Ziffern 0,1,2,3,4,5,6,7,8,9, die mit ihrem Stellenwert als Zehnerpotenz addiert werden Da bei der Cantor-Menge Intervalle iterativ gedrittelt werden, ist es zielführend sich für die nähere Betrachtung der Menge mit dem Stellenwertsystem zur Basis 3 vertraut zu machen, dem Ternär-System. Dieses sieht die Ziffern 0,1,2 und den Stellenwert als Dreierpotenz vor. Zahlenwerte in Ternär-Darstellung werden mit einem Index 3 gekennzeichnet. Das heißt für x ∈ [0, 1], dem Intervall in dem sich die Cantor-Menge befindet, im:

  • Dezimalsystem:
[math]\displaystyle x = 0,x_1 x_2 x_3 ... = \sum_{i=1}^\infty x_i \frac{1}{10^i} \text{ }; x_i ∈ [/math] {0,1,...,9}
  • Ternärsystem:
[math]\displaystyle x = 0,x_1 x_2 x_3 ...= \sum_{i=1}^\infty x_i \frac{1}{3^i} \text{ } ; x_i ∈ [/math] {0,1,2}

Beispiele dazu:

[math]\displaystyle \frac{1}{3} = (0,1)_3 [/math]
[math]\displaystyle \frac{2}{3} = \frac{1}{3} + \frac{1}{3} = (0,2)_3 [/math]
[math]\displaystyle \frac{13}{27} = \frac{1}{3}+\frac{1}{9}+\frac{1}{27}= \frac{1}{3}+\frac{1}{3^2}+\frac{1}{3^3} = (0,111)_3 [/math]


So wie im Dezimalsystem [math]\displaystyle 0{,}\overline{9}[/math] mit 1 gleichzusetzten ist, gilt dies analog für [math]\displaystyle 0{,}\overline{2}[/math] im Ternärsystem. Daraus folgt:

[math]\displaystyle (0{,}\overline{2})_3 = 1[/math]
[math]\displaystyle(0{,}0\overline{2})_3 =(0,1)_3[/math]
[math]\displaystyle(0{,}11\overline{2})_3 =(0,12)_3[/math]


Angewandt auf die Cantor-Menge bedeutet das, da das mittlere Intervall mit einer 1 als Stellenwert immer wieder herausgenommen wird, dass die Menge [math]C_n[/math] aus Elementen besteht, die innerhalb der ersten n-Nachkommastellen in Tenär-Darstellung nur aus den Ziffern 0 und 2 bestehen. Das erleichtert die Zuordnung. Das heißt:

[math] C_1 :=[0,\frac{1}{3}]∪[\frac{2}{3},1] [/math]

[math] = [0,(0,1)_3]∪[(0,2)_3,1] [/math]
[math]= [0,(0{,}0\overline{2})_3]∪[(0,2)_3,1][/math]

[math] C_2 :=[0,\frac{1}{9}]∪[\frac{2}{9},\frac{1}{3}]∪[\frac{2}{3},\frac{7}{9}]∪[\frac{8}{9},1] [/math]

[math] = [0,(0,01)_3]∪[(0,02)_3,(0,1)_3]∪[(0,2)_3,(0,21)_3]∪[(0,22)_3,1][/math]
[math] = [0,(0{,}00\overline{2})_3]∪[(0,02)_3,(0{,}0\overline{2})_3]∪ [(0,2)_3,(0{,}20\overline{2})_3]∪[(0,22)_3,(0{,}\overline{2})_3][/math]

...

[math] C_n= [/math] { [math] x ∈ [0,1]| x_i ∈ [/math] {[math] 0,2 [/math] } für alle [math] i ≤ n [/math] }.

Siehe [4], [5]. Bild erstellt von Christina Tian

Ternär-Darstellung












Cantorfunktion

Mit Hilfe der Cantor-Menge C lässt sich rekursiv die sogenannte Cantorfunktion (auch “Teufelstreppe”) definieren. Wir konstruieren die Cantorfunktion [math] f: \left[0,1\right] -\gt \left[0,1\right] [/math] mit [math]f(0) = 0 [/math] und [math]f(1) = 1[/math] folgendermaßen:
Sei [math] x ∈ \left[0,1\right][/math], dann erhalten wir die Cantorfunktion [math]f(x)[/math] durch die folgenden Schritte:

  • Drücke [math]x[/math] in Basis 3 approximiert aus
  • Wenn [math]x[/math] eine 1 enthält, ersetze jede Ziffer streng nach der ersten 1 durch 0.
  • Ersetze alle verbleibenden 2en durch 1en.
  • Interpretiere das Ergebnis als Binärzahl.


Der Graph der Funktion ist durch folgendes Bild veranschaulicht.[6]




Die Teufelstreppe [math] f [/math] ist monoton steigend und in allen Punkten [math] x ∈ \left[0,1\right] [/math] \ [math] C [/math] differenzierbar mit der Ableitung 0, da sie dort konstant ist. In den Elementen der Cantormenge wie zum Beispiel 0 und 1 und den Randpunkten der entfernten Drittelintervalle ist [math] f [/math] nicht differenzierbar.

Sie steht in Bezug mit einer besonderen Wahrscheinlichkeitsverteilung. Siehe [7], [8], [9]

Eigenschaften

1884 veröffentlicht Cantor sein Werk Über unendliche, lineare Punktmannigfaltigkeiten (VI). Im Paragraphen § 19 beschäftigt er sich mit perfekten (siehe unten) Teilmengen von ℝ. Hierzu verwendet er die Cantormenge und zeigt, dass jede beschränkte nichtleere perfekte Teilmenge von ℝ, die keine nichttrivialen Intervalle enthält, ähnlich ist zur Cantor-Menge [math]C[/math]. Siehe [10], [11], [12].

In der Tat hat die Cantormenge [math]C[/math] besondere Eigenschaften:

  • [math]C[/math] ist kompakt.
  • [math]C[/math] hat keine isolierte Punkte.
  • [math]C[/math] hat Länge 0.
  • [math]C[/math] ist total unzusammenhängend und hat ein leeres Inneres.
  • [math]C[/math] ist überabzählbar.

Kompaktheit [13]

Da die Cantor-Menge [math]C[/math] eine Teilmenge der Reelen Zahlen [math]\mathbb R[/math] ist, gilt der Satz von Heine-Borel, sodass Mengen genau dann kompakt sind, wenn sie abgeschlossen und beschränkt sind.
Abgeschlossenheit:
Cantor-Menge [math]C[/math] abgeschlossen [math]\Leftrightarrow [/math] Komplement [math]\mathbb R[/math] \C offen

[math]\mathbb R[/math] \[math]C[/math] = [math]\mathbb R[/math] \[math][0, 1] ∪\bigcup_{i\in \mathbb N} I_i [/math] ,wobei [math] I[/math] die herausgenommenem offenen Intervalle sind

Innerhalb der reellen Zahlen ist die beliebige Vereinigung offeneren Mengen stets offen, deswegen [math]\mathbb R[/math] \[math]C[/math] offen und somit [math]C[/math] abgeschlossen.

Beschränktheit:
Die Cantormenge ist als Teilmenge des beschränkten Intervalls [math][0, 1][/math] ebenfalls beschränkt.
Damit besitzt die Cantor-Menge die topologische Eigenschaft der Kompaktheit.


Länge [14]

Die Menge [math]C_n[/math] besteht aus 2n Intervallen der Länge [math](\frac{1}{3^n}) [/math]. Folglich ist die Gesamtlänge von [math]C_n[/math] ,

[math]|C_n| = 2^n * (\frac{1}{3^n}) = (\frac{2}{3})^n [/math]

Um die Gesamtlänge [math]|C|[/math] der Cantor-Menge zu erhalten, betrachtet man nun den Limes: limn→∞ [math]((\frac{2}{3})^n) [/math].
Da [math]|(\frac{2}{3})| < 1 [/math] ist, handelt es sich um eine Nullfolge, somit gilt: |C| = 0.
Die Länge der Cantor-Menge beträgt also 0.

Inneres [15]

Die Mengen [math] C_n, n\in \mathbb N [/math], können als die Vereinigung von 2n disjunkten, abgeschlossenen Intervallen In,k mit Länge [math](\frac{1}{3^n}) [/math] dargestellt werden. Es gilt also:

[math] C_n = \bigcup_{k\in \mathbb N} I_{n,k}.[/math]

Behauptung: Das Innere C° der Cantor-Menge C ist leer: C° = ∅.

Beweis der Behauptung per Widerspruch:

Annahme: Es existiert ein x ∈ C°, also gibt es ein ε > 0 mit (x−ε,x+ε) ⊂ C° ⊂ C. Dann gilt auch für alle n ∈ N, dass (x−ε,x+ε) ⊂ Cn. Die Gesamtlänge von Cn erfüllt also [math] 2ε ≤ \sum_{k=1}^{2n} |I_{n,k} | = \frac {2^n}{3^n}=(\frac{2}{3})^n [/math].
Dies widerspricht jedoch der oben bewiesenen Konvergenz der Länge gegen 0. (s.o. Länge).

Total unzusammenhängend

Die Cantor-Menge ist total unzusammenhängend, was bedeutet, dass es neben der leeren Menge und den einelementigen Mengen keine weiteren zusammenhängenden Mengen gibt.
Zu zeigen ist also, dass

[math]∀a,b ∈ C[/math]: [math] \text{ }a\lt b \text{ }∃ \text{ }r ∈ \text{ }\mathbb R[/math]\ [math]C:a\lt r\lt b[/math]

Sei also nun [math]a\lt b[/math]. Dann gilt insbesondere [math] a≠b[/math] . Damit folgt:

[math]∃k ∈\mathbb N[/math] minimal [math]: a_k ≠ b_k[/math], wobei [math]a_k[/math] und [math]b_k[/math] Nachkommastellen von a und b in der Ternär-Darstellung sind.

Nun lässt sich also ein [math] r ∈ \mathbb R[/math] \[math] C : a\lt r\lt b [/math] konstruieren.

Wir definieren [math] r:= 0,a_1...a_{k-1}11[/math].
(Die zweite 1 muss hinzugefügt werden, da gilt [math]...x_j10000... = ....x_j0222... [/math] womit [math]r[/math] sonst nach Ternär-Darstellung in der Cantor-Menge liegt) Somit gilt also [math] r_k≠a_k [/math] und [math] r_k≠b_k[/math], da nach der Ternär-Darstellung gilt, dass alle Nachkommastellen den Wert 0 oder 2 annehmen. Es folgt, da [math] a\lt b[/math] und [math]a_k ≠ b_k: a_k ≠ r_k ≠ b_k [/math]. Nach Konstruktion gilt also [math] a\lt r\lt b [/math] und [math] r ∈ \mathbb R[/math] \[math]C[/math].
Damit ist die Behauptung bewiesen. Deshalb wird [math]C[/math] auch Cantorsches Diskontinuum genannt.

Perfektheit

Sei [math]M[/math] ein topologischer Raum, eine Teilmenge [math] A ⊂ M [/math] heißt perfekt, wenn A kompakt ist und keine isolierte Punkte besitzt. Ein Punkt [math]p[/math] heißt isoliert, falls es eine Umgebung um [math]p[/math] gibt, die [math]p[/math] als einzigen Punkt enthält.

Wie schon erwähnt, ist die Cantormenge eine solche Menge (Vgl: C total unzusammenhängend).

Kardinalität

Durch das 2. Cantorsche Diagonalverfahren lässt sich beweisen, dass die Cantor-Menge überabzählbar ist. Seien dazu [math] c_1, c_2, c_3 [/math] Elemente der Cantor-Menge.

Folgendes Bild veranschaulicht das Verfahren, an einem Beispiel.




Bild erstellt von Matilde Sciortino am 29.März 2021

Damit ist die Cantor-Menge gleichmächtig zum Intervall [0, 1] das ebenfalls, wie alle Intervalle, überabzählbar ist.

Musikalische Interpretation

Der rumänische Komponist György Ligeti macht in seiner Komposition "L'escalier du diable" (“Die Teufelstreppe”) innerhalb seiner 13. Etüde die Cantor-Funktion musikalisch fühlbar. [16] höre [19].

Der endliche Aufstieg des Intervalls [0, 1] in überabzählbar unendlich vielen Schritten ist durch sich selbstähnliche Harmonien illustriert. Die, aufgrund der herausgenommen Intervalle, konstanten Abschnitte der Cantorfunktion sind in Ligetis Werk erkennbar durch Tempi und Dynamik. Die steigende Monotonie der Funktion wird durch ein sich beschleunigendes Tempo in der Komposition ausgedrückt. Ihre Struktur ist analog zur Cantor-Menge dreiteilig. Nach dem ersten musikalischen Intervall wird der mittlere Teil des nächsten Intervall verändert und dann nochmals mit einem veränderten mittleren geteilt.

Die Komposition versucht eine Darstellung der unvorstellbaren Unendlichkeit in der Kunst zu geben, was in der Mathematik formal möglich ist.

Erdbeben und die Cantorfunktion

Der Seismologe Yuan Chen und seine Kollegen an der University of Missouri in Columbia haben in einer Studie herausgefunden, dass viele Starkbeben dem zeitlichen Muster der Cantorfunktion folgen. [17]

Die Forscher haben die zeitliche Abfolge von Starkbeben in Erdbebenzonen an der Plattengrenze zwischen Afrika und Eurasien im Westen Algeriens, im New-Madrid-Erdbebengebiet im Zentrum der USA und in Australien beobachtet.

„Es sind viele Erdbebensequenzen, die komplex und variabel sind [...] und zeigen Cluster von Ereignissen, die durch lange, aber unregelmäßige Intervalle der Ruhe unterbrochen sind“,[18] sagen Yuan Chen und sein Team.

Wenn man die Häufigkeitsverteilung der Beben in ein Diagramm einträgt, kann man an eine ansteigende Treppe mit verschiedenbreiten Stufen das Muster der Cantorfunktion, erkennen. Die Form der Treppe ist aber von der Region abhängig: Die Länge der Ruheintervalle, also die Breite der „Stufen“ ist mit der im Untergrund aufgestauten Spannung verbunden, je höher die Spannung, desto schmaler die Stufe.

Quellen und Bemerkungen

  1. Fröba, Wassermann: Die bedeutendsten Mathematiker, marix Verlag 2012, Abschnitt Georg Cantor
  2. Purkert, Walter & Ilgauds, Hans Joachim: Georg Cantor 1845–1918. 1987, S. 79 ff. und S.160.
  3. https://de.wikipedia.org/wiki/Georg_Cantor (zuletzt aufgerufen: 30.03.2021)
  4. Appell, Jürgen “Analysis in Beispielen und Gegenbeispielen. Eine Einführung in die Theorie reeller Funktionen”. Springer, Berlin u. a. 2009, ISBN 978-3-540-88902-1, S. 233–237
  5. Schilling, Anna (2021) : Cantor-Menge https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17786/manuscript/db62c69225719ba1d5495987b3d47991.pdf (letzter Zugriff 20.03.2021)
  6. Bildnachweis https://de.wikipedia.org/wiki/Cantor-Verteilung#/media/Datei:Cantor-Funktion.svg (letzter Zugriff 20.03.2021)
  7. Deiser, Oliver :Einführung in die Mengenlehre https://www.aleph1.info/?call=Puc&permalink=mengenlehre1_4_3 S.530-544 (letzter Zugriff 25.03.2021)
  8. Fleron, Julian F. “A Note on the History of the Cantor Set and Cantor Function.” Mathematics Magazine, vol. 67, no. 2, 1994, pp. 136–140. JSTOR, https://www.jstor.org/stable/2690689 (letzter Zugriff 18.03.2021)
  9. https://wiki.math.ntnu.no/_media/tma4225/2015h/cantor_set_function.pdf (letzter Zugriff 26.03.2021)
  10. Deiser, Oliver :Einführung in die Mengenlehre https://www.aleph1.info/?call=Puc&permalink=mengenlehre1_4_3 S.530-544 (letzter Zugriff 25.03.2021)
  11. Fleron, Julian F. “A Note on the History of the Cantor Set and Cantor Function.” Mathematics Magazine, vol. 67, no. 2, 1994, pp. 136–140. JSTOR, https://www.jstor.org/stable/2690689 (letzter Zugriff 18.03.2021)
  12. H. Amann, J. Escher: Analysis I
  13. Schilling, Anna (2021) : Cantor-Menge https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17786/manuscript/db62c69225719ba1d5495987b3d47991.pdf (letzter Zugriff 20.03.2021)
  14. https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17423/manuscript/b53706c913236535b9c57ba1da7e7eb4.pdf
  15. Wiegand, Kevin (2021): https://mampf.mathi.uni-heidelberg.de/mediaforward/medium/17423/manuscript/b53706c913236535b9c57ba1da7e7eb4.pdf (zuletzt aufgerufen: 30.03.2021)
  16. https://wiki.math.ntnu.no/_media/tma4225/2015h/cantor_set_function.pdf (letzter Zugriff 26.03.2021)
  17. https://pubs.geoscienceworld.org/ssa/bssa/article-abstract/110/3/1064/583503/Complex-Temporal-Patterns-of-Large-Earthquakes?redirectedFrom=fulltext (letzter Zugriff 30.03.2021)
  18. Podbregar, Nadja (2020):"Erdbeben folgen einer 'Teufelstreppe'": https://www.scinexx.de/news/geowissen/erdbeben-folgen-einer-teufelstreppe/ (zuletzt aufgerufen: 31.03.2021)
19. https://youtu.be/uoLam2O3gtY

Autoren

Christina Tian, Hannah Pompetzki, Matilde Sciortino, Marianna Hofmeier