Siehe auch
Überabzählbare Mengen
Eine unendliche Menge ist überabzählbar, wenn ihre Elemente nicht mit den natürlichen Zahlen durchnummeriert werden können.
Beispiel
Die reellen Zahlen lassen sich nicht erschöpfend in einer Liste darstellen (die Zeilennummer wäre die „Durchnummerierung“), z. B.
0,001234567890...
0,023982394634...
0,054734686898...
0,071028346454...
...
Aus jeder solchen Liste lässt sich nämlich eine reelle Zahl konstruieren, die nicht in der Liste enthalten ist. Dazu muss die Zahl an den oben fett formatierten Stellen eine andere Ziffer haben, z. B.
0,1001...
(Cantors zweites Diagonalargument)
Unüberschaubare Vielfalt
Erst recht nicht durchnummerieren lassen sich die Teilmengen von ℝ. Sie lassen sich auch auf keine andere Weise vollständig darstellen, denn jede Darstellung basiert auf Formeln, und es gibt nur abzählbar viele Formeln.
Das hat die erstaunliche Konsequenz, dass es nur jene Teilmengen reeller Zahlen „gibt“, die man irgendwie definieren kann – und das hängt wiederum davon ab, welche Mengenaxiome man annimmt. Lässt man etwa das Auswahlaxiom weg, dann gibt es keine unmessbaren Mengen mehr. (Es ist eine philosophische Frage, ob es sie „nicht mehr gibt“, oder ob man sie „nicht mehr findet“.)
Um einen Überblick zu bekommen, welche Mengen es (unter gewissen Axiomen) gibt, definieren Mengentheoretiker Hierarchien von immer komplexeren Mengen, auch wenn diese Mengen in der Mathematik sonst kaum benötigt werden. Es stellte sich heraus, dass in der üblichen Mengenlehre (ZFC) viele Fragen offen bleiben:
Fast alle wichtigen Fragen über die Struktur von überabzählbaren Mengen sind mit den ZFC-
Schwer zu verwenden
| Beispiel | |
|---|---|
| Vektorräume mit überabzählbarer Basis sind i. A. schwer zu beherrschen. | ℝ über ℚ |
| Vergleichsweise leicht ist es, wenn es in so einem Vektorraum möglich ist, alle Vektoren als abzählbare Summe darzustellen (Schauderbasis). | alle Folgen reeller Zahlen |
Ich habe ursprünglich gedacht: Was für abzählbare Mengen Folgen sind, sind für überabzählbare Mengen Funktionen. Aber z. B. die Basis des Vektorraums ℝ über ℚ lässt sich nicht mit einer Funktion angeben. Diese Basis „gibt“ es überhaupt nur mit Auswahlaxiom. Und wirklich rechnen kann man mit ihr auch nicht, da das Auswahlaxiom nur reine Existenzbeweise liefert.
Weiter
Quellen
| [1] | Stanford Encyclopedia of Philosophy, Artikel „Set Theory“, Abschnitt „The search for new axioms“ – „almost all important questions about the structure of uncountable sets“ are undecidable in ZFC. |