Überabzählbare Menge
Eine Menge heißt überabzählbar, wenn sie nicht abzählbar ist. Dabei heißt eine Menge abzählbar, wenn sie entweder endlich ist oder eine Bijektion zur Menge der natürlichen Zahlen existiert. Eine Menge ist also genau dann überabzählbar, wenn ihre Mächtigkeit (entspricht der Anzahl der Elemente bei endlichen Mengen) größer ist als die der Menge der natürlichen Zahlen.
Anschaulich gesprochen ist eine Menge überabzählbar, wenn jede Liste 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_1, x_2, x_3, \ldots} von Elementen der Menge unvollständig ist.
Beweis der Überabzählbarkeit der reellen Zahlen
Cantors zweites Diagonalargument ist ein Widerspruchsbeweis, mit dem er 1877 die Überabzählbarkeit der reellen Zahlen bewies. (Das erste Diagonalargument ist der Beweis der Abzählbarkeit der rationalen Zahlen.)
Im Gegensatz zur allgemeinen Meinung ist dieser Beweis nicht Cantors erster Beweis der Überabzählbarkeit der reellen Zahlen. Cantors erster Überabzählbarkeitsbeweis wurde 1874, drei Jahre vor seinem zweiten Diagonalargument, veröffentlicht. Der erste Beweis arbeitet mit anderen Eigenschaften der reellen Zahlen und kommt ganz ohne ein Zahlensystem aus.
Für die (abzählbare) Mächtigkeit der rationalen Zahlen steht das Zeichen 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_0} (s. Aleph-Funktion) und für die (überabzählbare) der reellen Zahlen die Zeichen 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 := 2^{\aleph_0} =: \aleph =: \beth_1 } (s. Beth-Funktion).
Vergleich der Mächtigkeit einer Menge und ihrer Potenzmenge
Mit einer Verallgemeinerung des Cantorschen Verfahrens kann man zeigen, dass die Menge aller Teilmengen einer Menge 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 M} , die so genannte Potenzmenge 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 P(M)} 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 M} überabzählbar ist, wenn 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 M} unendlich viele Elemente hat. Genauer: Man kann zeigen, dass 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 P(M)} eine höhere Mächtigkeit hat als 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 M} selbst. Mit Hilfe der Potenzmenge lassen sich, wie im Artikel Beth-Funktion ausgeführt, unendlich viele verschiedene Klassen von Unendlichkeit konstruieren.
Die Potenzmenge, bspw. 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 P({\R}) ,} einer (in der ersten Stufe) überabzählbaren Menge, bspw. 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 ,} ist gleichmächtig zur Menge aller reellen Funktionen 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 \to \R .} Für diese (durchaus überabzählbare) Mächtigkeit steht das Zeichen 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 f := 2^{\mathfrak c} =: \beth_2 } und der Name überüberabzählbar.
Die Kontinuumshypothese postuliert, dass es keine überabzählbaren Mengen gibt, deren Mächtigkeit kleiner als die der reellen Zahlen ist. Es konnte jedoch gezeigt werden, dass die Kontinuumshypothese unter der Annahme der üblichen Axiome weder bewiesen noch widerlegt werden kann.
Literatur
- Georg Cantor: Über eine elementare Frage der Mannigfaltigkeitslehre. In: Deutsche Mathematiker-Vereinigung (Hrsg.): Jahresbericht der Deutschen Mathematiker-Vereinigung. Band 1. Reimer, 1892, ISSN 0012-0456, S. 75–78 (uni-goettingen.de).
- Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. (PDF; 1,0 MB) In: Journal für die Reine und Angewandte Mathematik. 77, S. 258–262.
