Hausdorffs Maximalkettensatz

Der Maximalkettensatz, auch als Maximalitätsprinzip von Hausdorff bezeichnet, englisch Hausdorff's maximal principle, ist ein grundlegendes Prinzip sowohl der Mengenlehre als auch der Ordnungstheorie. Felix Hausdorff veröffentlichte sein Maximalitätsprinzip im Jahre 1914 in seinem bedeutenden Werk Grundzüge der Mengenlehre. Der Maximalkettensatz ist engstens verbunden mit dem Lemma von Zorn und zu diesem und damit auch (im Rahmen der Mengenlehre auf Grundlage der Zermelo-Fraenkel-Axiome) zum Auswahlaxiom logisch äquivalent.

Formulierung

Das Maximalitätsprinzip lässt sich wie folgt formulieren:

Gegeben sei eine teilweise geordnete Menge $(P,\leq )$ und darin eine Teilmenge $K,$ die bzgl. der gegebenen Ordnungsrelation $\leq$ eine Kette darstellt, d. h., für je zwei Elemente $k_{1}$ und $k_{2}$ von $K$ gilt entweder $k_{1}\leq k_{2}$ oder $k_{2}\leq k_{1}.$

Dann existiert eine $K$ umfassende Kette $K_{0}$ von $(P,\leq ),$ die ihrerseits von keiner anderen Kette von $(P,\leq )$ echt umfasst wird.

In Kurzform besagt das Maximalitätsprinzip also, dass in einer geordneten Menge jede Kette zu einer bezüglich der Inklusionsrelation maximalen Kette erweitert werden kann. Dies motiviert auch den Namen des Prinzips als Maximalkettensatz.

Herleitung aus dem Auswahlaxiom nach Paul Halmos

Eine gut nachvollziehbare direkte Herleitung des Maximalkettensatzes aus dem Auswahlaxiom (ohne Benutzung des Wohlordnungssatzes) gibt Walter Rudin im Anhang seines bekannten Lehrbuches Reelle und komplexe Analysis. Wie Rudin zeigt, liegt der entscheidende Beweisschritt in folgendem Hilfssatz, den Paul Halmos in seinem Lehrbuch Naive Mengenlehre (siehe Literatur) benutzt, um das Lemma von Zorn aus dem Auswahlaxiom abzuleiten.

Hilfssatz von Halmos

Sei $X$ eine gegebene Grundmenge und ${\mathcal {F}}\subseteq 2^{X}$ ein nicht-leeres induktives Teilmengensystem in der zugehörigen Potenzmenge $2^{X},$ also ein Teilmengensystem mit der Eigenschaft, dass für jede nicht-leere Kette von Teilmengen ${\mathcal {K}}\subseteq {\mathcal {F}}$ deren Vereinigung $\bigcup {\mathcal {K}}$ wiederum zu ${\mathcal {F}}$ gehört.

Weiter sei gegeben eine Funktion $g\colon {\mathcal {F}}\to {\mathcal {F}}$ mit $A\mapsto g(A)$ für $A\in {\mathcal {F}},$ sodass folgende zwei Eigenschaften erfüllt sind:

(1) $A\subseteq g(A)$

(2) $|g(A)\setminus A|\leq 1$

Dann existiert ein $A_{1}\in {\mathcal {F}}$ mit $g(A_{1})\ =A_{1}.$

Eigentliche Herleitung

Für die gegebene teilweise geordnete Menge $(P,\leq )$ sei ${\mathcal {F}}\subseteq 2^{P}$ das Mengensystem der Ketten bezüglich $\leq$ innerhalb von $P.$

${\mathcal {F}}$ ist stets nicht-leer und ein induktives Mengensystem.

Das vorausgesetzte Auswahlaxiom sichert nun die Existenz einer Auswahlfunktion für $P,$ also eine Funktion $f\colon 2^{P}\setminus \{\emptyset \}\to P$ mit $A\mapsto f(A)\in A$ für alle $A\in 2^{P}\setminus \{\emptyset \}.$

Damit setzt man für $A\in {\mathcal {F}}$

$A^{*}=\{x\in {P\setminus A}\mid A\cup \{x\}\in {\mathcal {F}}\}$

und definiert dann:

$g(A)={\begin{cases}A&{\text{für }}A^{*}=\emptyset \\{A\cup \{f(A^{*})\}}&{\text{für }}A^{*}\neq \emptyset \end{cases}}$

Nach dem Halmosschen Hilfssatz ist nun für mindestens ein $A_{1}\in {\mathcal {F}}\colon$

${A_{1}}^{*}=\emptyset$

Dieses ${A_{1}}$ ist nun nach Definition ein bezüglich der Inklusionsrelation maximales Element von ${\mathcal {F}}.$

Dieser Schluss zeigt, dass das Auswahlaxiom den Hausdorffschen Maximalkettensatz nach sich zieht.

Historische Anmerkungen

Felix Hausdorff veröffentlichte den Maximalkettensatz im Jahre 1914 in seinem bedeutenden Werk Grundzüge der Mengenlehre. Die oben wiedergegebene Formulierung ist diejenige, die in der mathematischen Literatur üblicherweise genannt wird. Streng bewiesen – ausgehend vom Wohlordnungssatz – hat Felix Hausdorff in den Grundzügen eine äquivalente und nur scheinbar schwächere Fassung:

In einer geordneten Menge $(P,\leq )$ existiert stets mindestens eine Kette, die von keiner anderen Kette von $(P,\leq )$ echt umfasst wird.

Hausdorff weist in einer Bemerkung im Anschluss an seinen Beweis darauf hin, dass der Maximalkettensatz in seiner obigen Formulierung mit einem ganz gleichartigen Beweis ebenfalls abgeleitet werden kann.

Manche Autoren der englischsprachigen Literatur ordnen den Maximalkettensatz Kazimierz Kuratowski zu und bezeichnen ihn als Kuratowski Lemma. Hinsichtlich der mathematikgeschichtlichen Zusammenhänge ist anzumerken, dass der Maximalkettensatz in einer jeweils anderen, jedoch äquivalenten, Form mehrfach entdeckt oder wiederentdeckt wurde. Das bekannteste Beispiel ist hier wohl das Lemma von Zorn.

Interessant ist in diesem Zusammenhang der Hinweis von Walter Rudin in seiner Reellen und komplexen Analysis, dass der Beweis des Maximalkettensatzes auf dem Wege über den Hilfssatz von Halmos demjenigen ähnelt, den Ernst Zermelo im Jahre 1908 als zweite Herleitung des Wohlordnungsatzes aus dem Auswahlaxiom vorgelegt hat.

Zur Entwicklungsgeschichte von Auswahlaxiom, Wohlordnungssatz, Maximalkettensatz, Lemma von Zorn und anderen gleichwertigen Maximalprinzipien gibt die Monographie von Moore eine ausführliche Darstellung (siehe Literatur).

Literatur

Originalarbeiten

• Ernst Zermelo: Beweis, daß jede Menge wohlgeordnet werden kann. In: Math. Ann. Band 59, 1904, S. 514–516. 
• Ernst Zermelo: Neuer Beweis für die Möglichkeit einer Wohlordnung. In: Math. Ann. Band 65, 1908, S. 107–128. 

Monografien

• E. Brieskorn, S. D. Chatterji u. a. (Hrsg.): Felix Hausdorff. Gesammelte Werke. Band II: Grundzüge der Mengenlehre. Springer-Verlag, Berlin (u. a.) 2002, ISBN 3-540-42224-2, Kapitel 6, § 1 (books.google.de). 
• Oliver Deiser: Einführung in die Mengenlehre. Springer-Verlag, Berlin (u. a.) 2002, ISBN 3-540-42948-4. 
• Keith Devlin: The Joy of Sets. 2. Auflage. Springer-Verlag, New York u. a. 1993, ISBN 0-387-94094-4. 
• Alan G. Hamilton: Numbers, sets and axioms. The apparatus of mathematics. Cambridge University Press, Cambridge 1982, ISBN 0-521-24509-5. 
• Paul Halmos: Naive Mengenlehre. Vandenhoeck & Ruprecht, Göttingen 1976, ISBN 3-525-40527-8. 
• Egbert Harzheim: Ordered Sets (= Advances in Mathematics. Band 7). Springer Verlag, New York 2005, ISBN 0-387-24219-8, S. 206 ff. (MR2127991). 
• Felix Hausdorff: Grundzüge der Mengenlehre. Kapitel 6, § 1, Veit & Comp., Leipzig 1914 (reproduziert in Srishti D. Chatterji u. a. (Hrsg.): Felix Hausdorff. Gesammelte Werke. Band II: Grundzüge der Mengenlehre. Springer, Berlin 2002, ISBN 3-540-42224-2 books.google.de).
• John L. Kelley: General topology. Reprint of the 1955 edition published by Van Nostrand. Springer-Verlag, Berlin / Heidelberg / New York 1975, ISBN 3-540-90125-6. 
• Gregory H. Moore: Zermelo’s axiom of choice. Springer-Verlag, Berlin / Heidelberg / New York 1982, ISBN 3-540-90670-3. 
• Walter Rudin: Reelle und komplexe Analysis. 2. Auflage. Oldenbourg Wissenschaftsverlag, Berlin 2009, ISBN 978-3-486-59186-6.