Skriptum zur Vorlesung Mengenlehre
Skriptum zur Vorlesung Mengenlehre Skriptum zur Vorlesung Mengenlehre
1.1. ORDNUNGEN 5Weise aufzählen? Tatsächlich ergeben sich Widersprüche, wenn man allzu naivversucht, Eigenschaften von endlichen auf unendliche Mengen zu übertragen;trotzdem kann man aber die Theorie der Wohlordnungen und der Ordinalzahleneinheitlich für endliche und unendliche Mengen begründen. Hier setzen wirzunächst einen intuitiven Mengenbegriff voraus (eine formale Begründung werdenwir später nachliefern) und erinnern an die in der Mathematik üblichen Ordnungsbegriffe:1.1 Ordnungen1. Eine (reflexive) teilweise Ordnung auf einer Menge A ist eine 2-stelligeRelation ≤ auf A, so daß für alle a,b,c ∈ A:(a) a ≤ a reflexiv,(b) a ≤ b ∧ b ≤ a → a = b antisymmetrisch,(c) a ≤ b ∧ b ≤ c → a ≤ c transitiv.2. Eine (reflexive) lineare Ordnung auf A ist eine teilweise Ordnung auf A,so daß für alle a,b ∈ A:(d) a ≤ b ∨ b ≤ a vergleichbar (connex).3. Eine (irreflexive) teilweise Ordnung auf einer Menge A ist eine 2-stelligeRelation < auf A, so daß für alle a,b,c ∈ A:(a’) a ≮ a irreflexiv,(c’) a < b ∧ b < c → a < c transitiv.4. Eine (irreflexive) lineare Ordnung auf A ist eine teilweise Ordnung auf A,so daß für alle a,b ∈ A:(d’) a < b ∨ a = b ∨ b < a vergleichbar (connex).Definiert mana < b :↔ a ≤ b ∧ a ≠ b,so erhält man aus einer reflexiven (teilweisen) Ordnung ≤ eine irreflexive (teilweise)Ordnung
1.1. ORDNUNGEN 6aus einer irreflexiven (teilweisen) Ordnung < wieder eine reflexive (teilweise)Ordnung ≤ (und bei wiederholter Operation die alte Ordnung zurück).Eine teilweise Ordnung nennt man manchmal auch eine partielle (oder Halb-)Ordnung, eine lineare Ordnung auch einfach Ordnung. Die gewöhnlichen Ordnungenauf den natürlichen, den ganzen, den rationalen und den reellen Zahlensind offenbar lineare Ordnungen; die Relationf < g :↔ ∀x ∈ R f (x) < g(x)auf den reellen Funktionen ist dagegen nur eine teilweise Ordnung.Die natürlichen Zahlen lassen sich der Größe nach aufzählen, aber für die anderenZahlbereiche ist dies nicht möglich; selbst wenn man noch −∞ als “kleinsteZahl” hinzunimmt, gibt es keine nächstgrößere (und bei dichten Ordnungen wieden rationalen Zahlen gibt es zu überhaupt keiner Zahl eine nächstgrößere). Umdiese Bereiche in der Form {a 0 ,a 1 ,...a n ,a n+1 ...} aufzuzählen, müssen wir sieauf solche Weise neu ordnen, daß man mit(i) einem kleinsten Element beginnen kann,und wenn man in der Aufzählung zu einem Element gekommen ist,(ii) weiß, mit welchem Element man fortfahren kann, und schließlich(iii) auch den Aufzählungsprozeß fortsetzen kann, wenn man bereits eine unendlicheTeilfolge von Elementen aufgezählt hat (aber noch nicht alles aufgezähltist).Diese Anforderungen kann man präzisieren und zugleich vereinheitlichen, indemman verlangt, daß jede nicht-leere Teilmenge (nämlich der Rest der nochnicht aufgezählten Elemente) ein kleinstes Element enthält (welches als “nächstes”aufzuzählen ist):5. Eine Wohlordnung auf einer Menge A ist eine (irreflexive) lineare Ordnungauf A, welche zusätzlich die Minimalitätsbedingung(Min) ∀z (/0 ≠ z ⊆ A → ∃x ∈ z ∀y ∈ z y ≮ x)erfüllt, welche wegen der Vergleichbarkeit (d’) äquivalent ist zur Existenzeines kleinsten Elementes:(Kl)∀z (/0 ≠ z ⊆ A → ∃x ∈ z ∀y ∈ z x ≤ y),wobei wie oben x ≤ y :↔ x < y ∨ x = y.
- 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 und 10: 2VorbemerkungDie Mengenlehre hat f
- Seite 11: 4Kapitel 1Ordnungen und Wohlordnung
- 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
- Seite 61 und 62: 7.4. FIXPUNKTE VON NORMALFUNKTIONEN
1.1. ORDNUNGEN 5Weise aufzählen? Tatsächlich ergeben sich Widersprüche, wenn man allzu naivversucht, Eigenschaften von endlichen auf unendliche Mengen zu übertragen;trotzdem kann man aber die Theorie der Wohlordnungen und der Ordinalzahleneinheitlich für endliche und unendliche Mengen begründen. Hier setzen wirzunächst einen intuitiven Mengenbegriff voraus (eine formale Begründung werdenwir später nachliefern) und erinnern an die in der Mathematik üblichen Ordnungsbegriffe:1.1 Ordnungen1. Eine (reflexive) teilweise Ordnung auf einer Menge A ist eine 2-stelligeRelation ≤ auf A, so daß für alle a,b,c ∈ A:(a) a ≤ a reflexiv,(b) a ≤ b ∧ b ≤ a → a = b antisymmetrisch,(c) a ≤ b ∧ b ≤ c → a ≤ c transitiv.2. Eine (reflexive) lineare Ordnung auf A ist eine teilweise Ordnung auf A,so daß für alle a,b ∈ A:(d) a ≤ b ∨ b ≤ a vergleichbar (connex).3. Eine (irreflexive) teilweise Ordnung auf einer Menge A ist eine 2-stelligeRelation < auf A, so daß für alle a,b,c ∈ A:(a’) a ≮ a irreflexiv,(c’) a < b ∧ b < c → a < c transitiv.4. Eine (irreflexive) lineare Ordnung auf A ist eine teilweise Ordnung auf A,so daß für alle a,b ∈ A:(d’) a < b ∨ a = b ∨ b < a vergleichbar (connex).Definiert mana < b :↔ a ≤ b ∧ a ≠ b,so erhält man aus einer reflexiven (teilweisen) Ordnung ≤ eine irreflexive (teilweise)Ordnung