Skriptum zur Vorlesung Mengenlehre

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.