Skriptum zur Vorlesung Mengenlehre
Skriptum zur Vorlesung Mengenlehre Skriptum zur Vorlesung Mengenlehre
5.3. ÜBERBLICK ÜBER DIE ZF-AXIOME 355.3 Überblick über die ZF-AxiomeExtensionalitätsaxiom (Ext) ∀x(x ∈ a ↔ x ∈ b) → a = bNullmengenaxiom (Null) ∃y∀x(x ∉ y)Paarmengenaxiom (Paar) ∃y∀x(x ∈ y ↔ x = a ∨ x = b)Summenaxiom (Sum) ∃y∀z(z ∈ y ↔ ∃x ∈ a z ∈ x)Ersetzungsschema (ErsS) ∀x∀y∀z(ϕ(x,y) ∧ ϕ(x,z) → y = z)→ ∃u∀y(y ∈ u ↔ ∃x ∈ aϕ(x,y))Potenzmengenaxiom (Pot) ∃y∀z(z ∈ y ↔ z ⊆ a)Unendlichkeitsaxiom (Un) ∃x(/0 ∈ x ∧ ∀y(y ∈ x → y ∪ {y} ∈ x))Fundierungsaxiom (Fund) a ≠ /0 → ∃x ∈ a ∀y ∈ xy ∉ a.Unter Benutzung von Klassentermen, also Ausdrücken der Form {x | ϕ(x)},bezeichnet mit Großbuchstaben A,B,... und der DefinitionMg(A) :↔ ∃x(x = A)A ist Mengelassen sich die obigen Axiome auch wie folgt kürzer und prägnanter ausdrücken(mit den üblichen Definitionen von Funktionen als Klassen geordneter Paare):Extensionalitätsaxiom (Ext) ∀x(x ∈ a ↔ x ∈ b) → a = bNullmengenaxiom (Null) Mg(/0)Paarmengenaxiom (Paar) Mg({a,b})Summenaxiom (Sum) Mg( ⋃ a)Ersetzungsaxiom (ErsS) Fkt(F) → Mg(F[a])Potenzmengenaxiom (Pot) Mg(P(a))Unendlichkeitsaxiom (Un) Mg(N)Fundierungsaxiom (Fund)) a ≠ /0 → ∃x ∈ a x ∩ a = /0.Das Aussonderungsaxiom ist übrigens als Folge des Ersetzungsaxioms überflüssig(wobei man - je nach Art der Formalisierung - noch das Nullmengenaxiombenötigt):Metatheorem(i) Aus den Axiomen Ext,Null,Paar,Ers folgt Aus,(ii) aus ErsS folgt AusS.
5.3. ÜBERBLICK ÜBER DIE ZF-AXIOME 36Beweis von (i): zu zeigen ist: a ∩ A ∈ V .1. Fall: a ∩ A = /0 : Dann gilt die Beh. wegen des Nullmengenaxioms.2. Fall: a ∩ A ≠ /0: Wähle ein b ∈ a ∩ A und definiere eine FunktionF : a ↠ a ∩ A durch{x, falls x ∈ a ∩ A,F(x) =b, sonstund wende das Ersetzungsaxiom an.Dasselbe Argument liefert einen Beweis von (ii), benötigt aber weder dasNullmengenaxiom noch das Paarmengenaxiom:Zu zeigen ist:Definiere dazu eine FormelEs gilt dann:also ex. nach ErsS ein b mit∃y∀x(x ∈ y ↔ x ∈ a ϕ(x)).ψ(x,y) :↔ (ϕ(x) ∧ x = y).ψ(x,y) ∧ ψ(x,z) → y = z,∀y(y ∈ b ↔ ∃x ∈ a ψ(x,y)), d. h.∀y(y ∈ b ↔ ∃x ∈ a (ϕ(x) ∧ x = y)), also∀y(y ∈ b ↔ y ∈ a ∧ ϕ(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 und 12: 4Kapitel 1Ordnungen und Wohlordnung
- 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: 5.2. POTENZMENGE UND ALLGEMEINES PR
- 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
- 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
5.3. ÜBERBLICK ÜBER DIE ZF-AXIOME 36Beweis von (i): zu zeigen ist: a ∩ A ∈ V .1. Fall: a ∩ A = /0 : Dann gilt die Beh. wegen des Nullmengenaxioms.2. Fall: a ∩ A ≠ /0: Wähle ein b ∈ a ∩ A und definiere eine FunktionF : a ↠ a ∩ A durch{x, falls x ∈ a ∩ A,F(x) =b, sonstund wende das Ersetzungsaxiom an.Dasselbe Argument liefert einen Beweis von (ii), benötigt aber weder dasNullmengenaxiom noch das Paarmengenaxiom:Zu zeigen ist:Definiere dazu eine FormelEs gilt dann:also ex. nach ErsS ein b mit∃y∀x(x ∈ y ↔ x ∈ a ϕ(x)).ψ(x,y) :↔ (ϕ(x) ∧ x = y).ψ(x,y) ∧ ψ(x,z) → y = z,∀y(y ∈ b ↔ ∃x ∈ a ψ(x,y)), d. h.∀y(y ∈ b ↔ ∃x ∈ a (ϕ(x) ∧ x = y)), also∀y(y ∈ b ↔ y ∈ a ∧ ϕ(y))□