Skriptum zur Vorlesung Mengenlehre
Skriptum zur Vorlesung Mengenlehre Skriptum zur Vorlesung Mengenlehre
3¬ nicht∨ oder∧ und−→ wenn . . . dann←→ genau dann . . . wenn (im Englischen: iff)∃ existiert∃! es existiert genau ein∀ für alleAuch die einfachsten mengentheoretischen Bezeichnungen, die wir später formaleinführen werden, dürften bereits bekannt sein:a ∈ A a ist Element von A/0 leere Menge{a} Einermenge von a{a,b} (ungeordnetes) Paar von a und ba ∪ b Vereinigung von a und ba ∩ b Durchschnitt von a und b⊆ Teilmenge
4Kapitel 1Ordnungen und WohlordnungenIn seinen Untersuchungen über die Konvergenz von Fourierreihen führte CANTORden Begriff der Ableitung A ′ einer Menge A von reellen Zahlen ein: A ′ besteht ausden Elementen von A, welche Häufungspunkte von Elementen von A sind. Mankann nun nach der Menge der Häufungspunkte dieser neuen Menge fragen unddamit eine Menge A ′′ bilden, die Menge der Häufungspunkte der Häufungspunktevon A. Iteriert man diese Operation, so erhält man eine eine unendlich-absteigendeFolgeA ⊇ A ′ ⊇ A ′′ ⊇ A ′′′ ...deren “Limes” A ∞ , d. h. in diesem Fall der Durchschnitt, möglicherweise wiederisolierte Punkte enthält, so daß man wieder die Menge ihrer Häufungspunkte bildenkann. Auf diese Weise fortgesetzt, führt der Zählprozeß über die natürlichenZahlen hinaus ins Transfinite, und zwar mit ω statt ∞ als neuer “Zahl”:0,1,2,3,...ω,ω + 1,ω + 2,ω + 3,...ω + ω,ω + ω + 1,ω + ω + 2,...ω + ω + ω,...ω · ω,...Einen derartigen Zählprozeß erhalten wir auch, wenn wir die natürlichen Zahlenumordnen und neu aufzählen, etwa erst die Potenzen von 2, dann die Potenzenvon 3, dann die Potenzen von 5 . . . :1,2,4,8,...3,9,27,...5,25,125,...und dann bleibt immer noch ein unendlicher Rest von Zahlen wie 0, 6, 10, . . .Offenbar gibt es verschiedene Möglichkeiten, ins Unendliche aufzuzählen, wieunterscheiden sich diese Möglichkeiten? Führen unterschiedliche Aufzählungenvielleicht zu Widersprüchen? Lassen sich überhaupt alle Mengen in irgendeiner
- Seite 1 und 2: Skriptum zur VorlesungMengenlehreKl
- Seite 3 und 4: INHALTSVERZEICHNISiiInhaltsverzeich
- Seite 5 und 6: INHALTSVERZEICHNISivIV Die Größe
- Seite 7 und 8: INHALTSVERZEICHNISvi18.3 Ideale und
- Seite 9: 2VorbemerkungDie Mengenlehre hat f
- Seite 13 und 14: 1.1. ORDNUNGEN 6aus einer irreflexi
- Seite 15 und 16: 1.2. DEFINITION DER ORDINALZAHLEN 8
- Seite 17 und 18: 1.4. DIE ORDNUNG DER ORDINALZAHLEN
- Seite 19 und 20: 12Kapitel 2Mengen und Klassen2.1 Di
- Seite 21 und 22: 2.2. AUSWEGE AUS DEN ANTINOMIEN 14o
- Seite 23 und 24: 2.3. DIE MENGENTHEORETISCHE SPRACHE
- Seite 25 und 26: 2.5. ÜBERBLICK ÜBER VERSCHIEDENE
- Seite 27 und 28: 20Kapitel 3Extensionalität und Aus
- Seite 29 und 30: 3.2. EIGENSCHAFTEN DER INKLUSION 22
- Seite 31 und 32: 24Kapitel 4Relationen und Funktione
- Seite 33 und 34: 4.2. RELATIONEN 264.2 RelationenMit
- Seite 35 und 36: 4.3. FUNKTIONEN 28In diesem Fall gi
- Seite 37 und 38: 5.1. VEREINIGUNG, DURCHSCHNITT UND
- Seite 39 und 40: 5.2. POTENZMENGE UND ALLGEMEINES PR
- Seite 41 und 42: 5.2. POTENZMENGE UND ALLGEMEINES PR
- Seite 43 und 44: 5.3. ÜBERBLICK ÜBER DIE ZF-AXIOME
- Seite 45 und 46: 38Kapitel 6Induktion und RekursionW
- Seite 47 und 48: 6.2. MINIMUMSPRINZIP 406.2 Minimums
- Seite 49 und 50: 6.4. REKURSIONSSATZ FÜR WOHLORDNUN
- Seite 51 und 52: 6.6. REPRÄSENTATIONSSATZ FÜR WOHL
- 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
4Kapitel 1Ordnungen und WohlordnungenIn seinen Untersuchungen über die Konvergenz von Fourierreihen führte CANTORden Begriff der Ableitung A ′ einer Menge A von reellen Zahlen ein: A ′ besteht ausden Elementen von A, welche Häufungspunkte von Elementen von A sind. Mankann nun nach der Menge der Häufungspunkte dieser neuen Menge fragen unddamit eine Menge A ′′ bilden, die Menge der Häufungspunkte der Häufungspunktevon A. Iteriert man diese Operation, so erhält man eine eine unendlich-absteigendeFolgeA ⊇ A ′ ⊇ A ′′ ⊇ A ′′′ ...deren “Limes” A ∞ , d. h. in diesem Fall der Durchschnitt, möglicherweise wiederisolierte Punkte enthält, so daß man wieder die Menge ihrer Häufungspunkte bildenkann. Auf diese Weise fortgesetzt, führt der Zählprozeß über die natürlichenZahlen hinaus ins Transfinite, und zwar mit ω statt ∞ als neuer “Zahl”:0,1,2,3,...ω,ω + 1,ω + 2,ω + 3,...ω + ω,ω + ω + 1,ω + ω + 2,...ω + ω + ω,...ω · ω,...Einen derartigen Zählprozeß erhalten wir auch, wenn wir die natürlichen Zahlenumordnen und neu aufzählen, etwa erst die Potenzen von 2, dann die Potenzenvon 3, dann die Potenzen von 5 . . . :1,2,4,8,...3,9,27,...5,25,125,...und dann bleibt immer noch ein unendlicher Rest von Zahlen wie 0, 6, 10, . . .Offenbar gibt es verschiedene Möglichkeiten, ins Unendliche aufzuzählen, wieunterscheiden sich diese Möglichkeiten? Führen unterschiedliche Aufzählungenvielleicht zu Widersprüchen? Lassen sich überhaupt alle Mengen in irgendeiner