Kontinuum (Mathematik)
Als Kontinuum wird in der Mengenlehre meist die Menge der reellen Zahlen bezeichnet oder Teilmengen wie Intervalle. Der Begriff soll das Augenmerk auf die Ordnungsstruktur und die Kardinalität lenken, und nicht etwa auf die arithmetischen oder algebraischen Eigenschaften.
Kontinua im Allgemeinen
Man kann (etwa mit den ZF-Axiomen, sogar ohne das Auswahlaxiom) zeigen, dass die folgenden Mengen alle gleichmächtig sind:
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} , die Menge aller reellen Zahlen
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C} , die Menge aller komplexen Zahlen
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (0,1)} , die Menge aller reellen Zahlen, die zwischen 0 und 1 liegen
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R\setminus \Q} , die Menge aller irrationalen Zahlen
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R\setminus \mathbb A} , die Menge aller reellen transzendenten Zahlen
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex\setminus \mathbb A} , die Menge aller komplexen transzendenten Zahlen
- , die Menge aller Teilmengen der natürlichen Zahlen, also die Potenzmenge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N}
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left\{0,1\right\}^{\N}} , die Menge aller Funktionen mit Definitionsbereich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N} und Zielbereich {0,1}
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N^{\N}} , die Menge aller Folgen von natürlichen Zahlen
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^{\N}} , die Menge aller Folgen von reellen Zahlen
- Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \{f\colon \mathbb {R} \to \mathbb {R} \mid f{\text{ stetig}}\}} , die Menge aller stetigen Funktionen von nach Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R}
- Jeder überabzählbare polnische Raum, das schließt bei gewissen naheliegenden Interpretationen alle vorhergehenden Beispiele, bis auf die Mengen transzendenter Zahlen, und auch etwa alle mindestens eindimensionalen Mannigfaltigkeiten mit ein.
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {}^*\mathbb{R}} , die Menge aller hyperreellen Zahlen
Die Mächtigkeit dieser Menge (oder ihre Kardinalzahl) wird üblicherweise Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak c} (Fraktur c, für continuum), Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \beth_1} (siehe Beth-Funktion) oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \aleph} (Aleph, der erste Buchstabe des hebräischen Alphabets) genannt. Da es sich um die Potenzmenge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N} handelt und die Mächtigkeit von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N} mit bezeichnet wird, schreibt man dafür auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{\aleph_0}} .
Es hat sich gezeigt, dass sehr viele weitere Strukturen, die in der Mathematik untersucht werden, dieselbe Mächtigkeit haben.
Kontinuumshypothese
Die Vermutung, dass alle überabzählbaren Teilmengen der reellen Zahlen gleichmächtig mit den reellen Zahlen sind, heißt Kontinuumshypothese (engl.
, kurz CH). Kurt Gödel und Paul Cohen bewiesen, dass weder die Aussage CH selbst noch ihre Negation ¬CH mit den Axiomen von ZF beweisbar sind.
Kontinua in der Topologie
In der Topologie wird der Kontinuumsbegriff oft enger gefasst als in anderen Teilgebieten der Mathematik. Hier versteht man unter einem Kontinuum einen zusammenhängenden kompakten Hausdorff-Raum (Kontinuumsbegriff im weiteren Sinne).[1][2]
Einige Autoren fordern noch zusätzlich, dass ein Kontinuum stets dem zweiten Abzählbarkeitsaxiom genügen müsse,[3] oder fassen unter den Kontinuumsbegriff gar allein die zusammenhängenden kompakten metrischen Räume (Kontinuumsbegriff im engeren Sinne).[4] Ein solches Kontinuum im engeren Sinne nennt man daher (genauer) auch ein metrisches Kontinuum (engl. metric continuum).[5] Die metrischen Kontinua liefern viele der wichtigsten in der Topologie vorkommenden Räume. Typische Beispiele sind etwa:
- Abgeschlossene Intervalle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [a,b] \subset \R} von reellen Zahlen
- Abgeschlossene Vollkugeln Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline {B_r}} im Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionalen euklidischen Raum
- Die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -Sphäre Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S^n} im (n+1)-dimensionalen euklidischen Raum
- Polygonzüge[6]
- Jordankurven
Dass der in der Mathematik im Allgemeinen vorkommende und der in der Topologie benutzte Kontinuumsbegriff nicht allzu weit auseinander liegen, ergibt sich aus dem folgenden Satz:[7][8][9]
- Ein metrisches Kontinuum mit mehr als einem Element hat die Mächtigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak c } der Menge der reellen Zahlen.
Peano-Räume
Peano-Räume oder Peano-Kontinua sind Kontinua mit speziellen Zusammenhangseigenschaften und werden so genannt nach dem italienischen Mathematiker Giuseppe Peano. Auch bei ihnen gibt es unterschiedliche Auffassungen hinsichtlich der Frage des Vorliegens einer Metrik. Nach moderner Auffassung ist ein Peano-Raum (bzw. Peanoraum; engl. Peano space oder Peano continuum) ein lokal zusammenhängendes metrisches Kontinuum mit mindestens einem Element.[10][11][12]
Peano wies in seiner berühmten Arbeit Sur une courbe, qui remplit toute une aire plane im Band 36 der Mathematischen Annalen des Jahres 1890 nach, dass sich das Einheitsintervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I =[0,1]} in stetiger Weise auf das Quadrat Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I \times I = [0,1] \times [0,1]} der euklidischen Ebene abbilden lässt. Bei der weiteren Untersuchung dieses überraschenden Resultats hat sich ergeben, dass die Peano-Räume die folgende Charakterisierung zulassen, welche heute als Satz von Hahn und Mazurkiewicz bzw. als Satz von Hahn-Mazurkiewicz-Sierpiński (nach Stefan Mazurkiewicz, Hans Hahn und Wacław Sierpiński) bekannt ist:[13][14][15][16][17]
- Ein Hausdorff-Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X \neq \emptyset } ist dann und nur dann zu einem Peano-Raum homöomorph, wenn eine stetige Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon I \to X } existiert, welche zugleich surjektiv ist.
Kurz gesagt sind also Peano-Räume bis auf Homöomorphie die stetigen Bilder der Peano-Kurven.
Literatur
- Charles O. Christenson, William L. Voxman: Aspects of Topology. 2. Auflage. BCS Associates, Moscow, Idaho, U. S. A. 1998, ISBN 0-914351-08-7.
- Lutz Führer: Allgemeine Topologie mit Anwendungen. Vieweg, Braunschweig 1977, ISBN 3-528-03059-3.
- Stephen Willard: General Topology. Addison-Wesley, Reading, Massachusetts u. a. 1970.MR0264581
- Hans von Mangoldt, Konrad Knopp: Einführung in die höhere Mathematik. Zweiter Band: Differentialrechnung, unendliche Reihen, Elemente der Differentialgeometrie und der Funktionentheorie. 13. Auflage. S. Hirzel Verlag, Stuttgart 1967.
- Willi Rinow: Lehrbuch der Topologie. VEB Deutscher Verlag der Wissenschaften, 1975, ISBN 978-3-326-00433-4.
Einzelnachweise und Fußnoten
- ↑ W. Rinow: Lehrbuch der Topologie. 1975, S. 223 ff.
- ↑ S. Willard: General Topology. 1970, S. 203 ff.
- ↑ W. Rinow: Lehrbuch der Topologie. 1975, S. 223.
- ↑ L. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 125 ff.
- ↑ S. Willard: General Topology. 1970, S. 206.
- ↑ H. von Mangoldt, K. Knopp: Einführung in die höhere Mathematik. Band 2, 1967, S. 306 ff.
- ↑ L. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 126.
- ↑ W. Rinow: Lehrbuch der Topologie. 1975, S. 223.
- ↑ S. Willard: General Topology. 1970, S. 206.
- ↑ C. O. Christenson, W. L. Voxman: Aspects of Topology. 1998, S. 225 ff.
- ↑ S. Willard: General Topology. 1970, S. 219 ff.
- ↑ Bei W. Rinow: Lehrbuch der Topologie. 1975, S. 223 ff. wird jedes nicht-leere lokal-zusammenhängende Kontinuum mit abzählbarer Basis als Peanoraum bezeichnet. Da ein solches nach dem Metrisationssatz von Urysohn stets metriesierbar ist, macht dies keinen wesentlichen Unterschied aus.
- ↑ C. O. Christenson, W. L. Voxman: Aspects of Topology. 1998, S. 228.
- ↑ L. Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 150, 154.
- ↑ W. Rinow: Lehrbuch der Topologie. 1975, S. 224.
- ↑ S. Willard: General Topology. 1970, S. 221.
- ↑ H. von Mangoldt, K. Knopp: Einführung in die höhere Mathematik. Band 2, 1967, S. 406 ff.