Skriptum zur Vorlesung Mengenlehre
Skriptum zur Vorlesung Mengenlehre Skriptum zur Vorlesung Mengenlehre
6.1. ORDNUNGEN AUF KLASSEN 396.1 Ordnungen auf Klassen1. Eine (irreflexive) teilweise Ordnung auf einer Klasse A ist eine 2-stelligeRelation < ⊆ A × A, für die gilt:(a) ∀x ∈ A x ≮ x irreflexiv,(b) ∀x,y,z ∈ A (x < y ∧ y < z → x < z) transitiv.2. Eine (irreflexive) lineare Ordnung auf A ist eine teilweise Ordnung < aufA mit(c) ∀x,y ∈ A (x < y ∨ x = y ∨ y < x) vergleichbar.3. Eine Wohlordnung auf einer Klasse A ist eine lineare Ordnung < auf A,welche zusätzlich die folgenden Bedingungen erfüllt:(F1) ∀z(/0 ≠ z ⊆ A → ∃x ∈ z ∀y ∈ z y ≮ x) Minimalitätsbedingung(F2) ∀y ∈ A Mg({x | x < y}) Mengenbedingung4. S(a,
6.2. MINIMUMSPRINZIP 406.2 Minimumsprinzip< sei Wohlordnung auf A. Dann hat jede nicht-leere Teilklasse B von A ein
- 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 und 42: 5.2. POTENZMENGE UND ALLGEMEINES PR
- Seite 43 und 44: 5.3. ÜBERBLICK ÜBER DIE ZF-AXIOME
- Seite 45: 38Kapitel 6Induktion und RekursionW
- 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
- Seite 93 und 94: 11.1. ENDLICHE UND ABZÄHLBARE MENG
- Seite 95 und 96: 11.3. SATZ VON CANTOR-SCHRÖDER-BER
6.1. ORDNUNGEN AUF KLASSEN 396.1 Ordnungen auf Klassen1. Eine (irreflexive) teilweise Ordnung auf einer Klasse A ist eine 2-stelligeRelation < ⊆ A × A, für die gilt:(a) ∀x ∈ A x ≮ x irreflexiv,(b) ∀x,y,z ∈ A (x < y ∧ y < z → x < z) transitiv.2. Eine (irreflexive) lineare Ordnung auf A ist eine teilweise Ordnung < aufA mit(c) ∀x,y ∈ A (x < y ∨ x = y ∨ y < x) vergleichbar.3. Eine Wohlordnung auf einer Klasse A ist eine lineare Ordnung < auf A,welche zusätzlich die folgenden Bedingungen erfüllt:(F1) ∀z(/0 ≠ z ⊆ A → ∃x ∈ z ∀y ∈ z y ≮ x) Minimalitätsbedingung(F2) ∀y ∈ A Mg({x | x < y}) Mengenbedingung4. S(a,