Skriptum zur Vorlesung Mengenlehre
Skriptum zur Vorlesung Mengenlehre Skriptum zur Vorlesung Mengenlehre
97Kapitel 12Die Menge der reellen Zahlen12.1 Mengen von der Größe des KontinuumsWährend nach dem Satz von HESSENBERG Addition und Multiplikation von unendlichenKardinalzahlen trivial (nämlich das Maximum) ist, stößt man bereits beiBestimmung der einfachsten transfiniten Potenz, nämlich 2 ω , auf unlösbare Probleme.Dabei hat diese Kardinalzahl eine besondere Bedeutung als Mächtigkeitder reellen Zahlen (des Kontinuums):Satz|R| = |P(N)| = 2 ℵ 0.Beweis: Die zweite Gleichheit folgt aus der Äquivalenz der Potenzmenge einerMenge a mit der Menge der charakteristischen Funktionen von Teilmengen von a.Es gibt zahlreiche Beweise für den ersten Teil, am einfachsten ist die Beziehung|R| ≤ |P(N)|,nachzuweisen, indem man z. B. jeder reellen Zahl r die Menge {x ∈ Q | x < r} (alsopraktisch den entsprechenden DEDEKINDschen Schnitt) zuordnet und die Abzählbarkeitvon Q benutzt oder die Darstellung reeller Zahlen als Dezimalbrüche(bzw. Dualbrüche im Binärsystem). Für den Beweis der umgekehrten Beziehungstört die fehlende Eindeutigkeit der Dezimal- bzw. Binärdarstellung, was sich jedochnur auf abzählbar-viele Fälle bezieht, die wegen der Überabzählbarkeit von
12.2. DIE CANTORSCHE KONTINUUMSHYPOTHESE 98R aber keine Rolle spielen. Man kann aber auch etwa wie folgt argumentieren: Füreine Binärfolge f : N → 2 = {0,1} definieren wir eine zugeordnete reelle Zahlr f =∞2 · f (n)∑n=03 n+1 ,womit wir eine injektive Abbildung von N 2 in die reellen Zahlen erhalten unddamit auch |R| ≥ |P(N)|.□Folgerungen1. Mit |R| = 2 ℵ 0 ist auch |R n | = (2 ℵ 0) n = 2 ℵ 0, es ist sogar|R ω | = (2 ℵ 0) ℵ 0= 2 ℵ 0⊙ℵ 0= 2 ℵ 0,d. h. es gibt genau so viele abzählbare Folgen reeller Zahlen wie es reelleZahlen gibt!2. Da eine stetige reelle Funktion bereits durch ihre Werte auf den abzählbarvielenrationalen Stellen eindeutig bestimmt ist und da es mit den konstantenFunktionen mindestens so viele stetige Funktionen wie reelle Zahlengibt, so gilt:|{ f | f : R → R ∧ f stetig}| = |{ f | f : Q → R}| = (2 ℵ 0) ℵ 0= 2 ℵ 0.3. Dagegen erhalten wir höhere Mächtigkeiten, indem wir zur Potenzmengeder reellen Zahlen oder zur Menge aller reellen Funktionen übergehen:|{ f | f : R → R}| = |P(R)| = 2 2ℵ0 > 2 ℵ 0.12.2 Die Cantorsche KontinuumshypotheseWie groß ist nun 2 ℵ 0? Nach dem Satz von CANTOR ist die Menge der reellenZahlen überabzählbar, also 2 ℵ 0 ≥ ℵ + 0 = ℵ 1. DieCantorsche Kontinuumshypothese (CH) 2 ℵ 0 = ℵ 1erscheint als naheliegende, zumindest einfachste Festlegung der Größe von 2 ℵ 0.Sie ist zwar mit den Axiomen von ZF + AC verträglich (GÖDEL 1938), aber aus
- Seite 53 und 54: 6.7. MINIMUMSPRINZIP, TRANSFINITE I
- Seite 55 und 56: 7.2. MONOTONIE-GESETZE 48Bevor wir
- Seite 57 und 58: 7.2. MONOTONIE-GESETZE 50Beweis: Ze
- Seite 59 und 60: 7.3. VERALLGEMEINERTE STETIGKEIT VO
- Seite 61 und 62: 7.4. FIXPUNKTE VON NORMALFUNKTIONEN
- Seite 63 und 64: 7.4. FIXPUNKTE VON NORMALFUNKTIONEN
- Seite 65 und 66: 8.1. MENGENINDUKTION 58V α sind ni
- Seite 67 und 68: 8.2. MENGEN VON RANG 60so ist N = {
- Seite 69 und 70: 8.3. ANWENDUNGEN DES RANGES 62Refle
- Seite 71 und 72: 64Kapitel 9Die Rolle des Unendlichk
- Seite 73 und 74: 9.1. DIE PEANO-THEORIE PA 66Modelle
- Seite 75 und 76: 9.3. ANWENDUNGEN DER NUMERISCHEN RE
- Seite 77 und 78: 70Teil IIIMengen auswählen
- Seite 79 und 80: 10.1. MENGENTHEORETISCH ÄQUIVALENT
- Seite 81 und 82: 10.3. MAXIMUMSPRINZIPIEN VON ZORN U
- Seite 83 und 84: 10.4. ANWENDUNGEN DES AUSWAHLAXIOMS
- Seite 85 und 86: 10.4. ANWENDUNGEN DES AUSWAHLAXIOMS
- Seite 87 und 88: 10.4. ANWENDUNGEN DES AUSWAHLAXIOMS
- Seite 89 und 90: 82Teil IVDie Größe der Mengen
- Seite 91 und 92: 11.1. ENDLICHE UND ABZÄHLBARE MENG
- Seite 93 und 94: 11.1. ENDLICHE UND ABZÄHLBARE MENG
- Seite 95 und 96: 11.3. SATZ VON CANTOR-SCHRÖDER-BER
- Seite 97 und 98: 11.5. SATZ VON CANTOR 9011.5 Satz v
- Seite 99 und 100: 11.7. KARDINALZAHLEN 92BemerkungSet
- Seite 101 und 102: 11.8. OPERATIONEN AUF DEN KARDINALZ
- Seite 103: 11.9. SATZ VON HESSENBERG 96Für α
- Seite 107 und 108: 12.3. EINIGE TOPOLOGISCHE BEGRIFFE
- Seite 109 und 110: 12.4. SATZ ÜBER PERFEKTE MENGEN 10
- Seite 111 und 112: 12.5. DER SATZ VON CANTOR-BENDIXSON
- Seite 113 und 114: 12.6. DIE BORELSCHEN MENGEN 10612.6
- Seite 115 und 116: 12.7. VERSPIELTE MENGEN 10812.7 Ver
- Seite 117 und 118: 110Kapitel 13Potenzen von Kardinalz
- Seite 119 und 120: 13.1. UNENDLICHE SUMMEN UND PRODUKT
- Seite 121 und 122: 13.2. SATZ VON KÖNIG-JOURDAIN 1142
- Seite 123 und 124: 13.3. EINGESCHRÄNKTE POTENZMENGENO
- Seite 125 und 126: 13.5. EIGENSCHAFTEN REGULÄRER KARD
- Seite 127 und 128: 13.6. DIE WICHTIGSTEN EIGENSCHAFTEN
- Seite 129 und 130: 13.6. DIE WICHTIGSTEN EIGENSCHAFTEN
- Seite 131 und 132: 124Teil VReflexionen über Mengen
- Seite 133 und 134: 14.1. DIE LEVY-HIERARCHIE DER MENGE
- Seite 135 und 136: 14.3. DIE THEORIE KP VON KRIPKE-PLA
- Seite 137 und 138: 14.4. PARTIELLE REFLEXIONSPRINZIPIE
- Seite 139 und 140: 132Kapitel 15Vollständige Reflexio
- Seite 141 und 142: 15.2. REFLEXION ÜBER KLASSEN 134Be
- Seite 143 und 144: 15.3. HIERARCHIESÄTZE IN ZF 136Men
- Seite 145 und 146: 15.3. HIERARCHIESÄTZE IN ZF 138Ins
- Seite 147 und 148: 140Kapitel 16Innere Modelle16.1 Def
- Seite 149 und 150: 16.2. RELATIVE KONSISTENZBEWEISE 14
- Seite 151 und 152: 16.3. GÖDELISIERUNG 144Beispiele1.
- Seite 153 und 154: 16.3. GÖDELISIERUNG 146wobei man a
12.2. DIE CANTORSCHE KONTINUUMSHYPOTHESE 98R aber keine Rolle spielen. Man kann aber auch etwa wie folgt argumentieren: Füreine Binärfolge f : N → 2 = {0,1} definieren wir eine zugeordnete reelle Zahlr f =∞2 · f (n)∑n=03 n+1 ,womit wir eine injektive Abbildung von N 2 in die reellen Zahlen erhalten unddamit auch |R| ≥ |P(N)|.□Folgerungen1. Mit |R| = 2 ℵ 0 ist auch |R n | = (2 ℵ 0) n = 2 ℵ 0, es ist sogar|R ω | = (2 ℵ 0) ℵ 0= 2 ℵ 0⊙ℵ 0= 2 ℵ 0,d. h. es gibt genau so viele abzählbare Folgen reeller Zahlen wie es reelleZahlen gibt!2. Da eine stetige reelle Funktion bereits durch ihre Werte auf den abzählbarvielenrationalen Stellen eindeutig bestimmt ist und da es mit den konstantenFunktionen mindestens so viele stetige Funktionen wie reelle Zahlengibt, so gilt:|{ f | f : R → R ∧ f stetig}| = |{ f | f : Q → R}| = (2 ℵ 0) ℵ 0= 2 ℵ 0.3. Dagegen erhalten wir höhere Mächtigkeiten, indem wir <strong>zur</strong> Potenzmengeder reellen Zahlen oder <strong>zur</strong> Menge aller reellen Funktionen übergehen:|{ f | f : R → R}| = |P(R)| = 2 2ℵ0 > 2 ℵ 0.12.2 Die Cantorsche KontinuumshypotheseWie groß ist nun 2 ℵ 0? Nach dem Satz von CANTOR ist die Menge der reellenZahlen überabzählbar, also 2 ℵ 0 ≥ ℵ + 0 = ℵ 1. DieCantorsche Kontinuumshypothese (CH) 2 ℵ 0 = ℵ 1erscheint als naheliegende, zumindest einfachste Festlegung der Größe von 2 ℵ 0.Sie ist zwar mit den Axiomen von ZF + AC verträglich (GÖDEL 1938), aber aus