Ein axiomatisch dem Auswahlaxiom äquivalentes Prinzip: Wenn eine teilweise geordnete Menge die Eigenschaft hat, dass jede total geordnete Teilmenge (Kette) eine obere Schranke besitzt, dann enthält die Poset mindestens ein maximales Element.

Prinzip

Unter der Ketten‑Oberschranken‑Hypothese garantiert man das Vorhandensein eines Elements, das nicht streng erweitert werden kann; das Prinzip ist nichtkonstruktiv und in ZF äquivalent zu anderen Wahlprinzipien wie dem Auswahlaxiom und dem Wohlordnungssatz.

Demonstration

Gängige algebraische Anwendung: In einem Vektorraum betrachtet man die Menge linear unabhängiger Teilmengen geordnet durch Inklusion. Jede Kette hat als obere Schranke ihre Vereinigung, also existiert nach Zorns Lemma eine maximal linear unabhängige Menge, also eine Basis.

Fehlanwendung

Zorns Lemma dort anwenden, wo die Kettenbedingung fehlt, oder dort verwenden, wo eine explizite konstruktive Beschreibung erforderlich ist; annehmen, dass das maximal garantierte Element eindeutig oder berechenbar sei, obwohl Zorn nur Existenz liefert.

Konsequenz

Erzeugt Existenzresultate in Algebra und Analysis: Basen von Vektorräumen, maximale Ideale in Ringen, algebraische Abschlüsse von Körpern und andere maximale Objekte; es liefert mächtige nichtkonstruktive Existenzbehauptungen, die überall in der modernen Algebra gebraucht werden.

Umkehrung

Die Umkehrung — jede Poset mit einem maximalen Element hat die Ketten‑Oberschranken‑Eigenschaft — gilt nicht allgemein; entsprechend impliziert das Fehlen eines maximalen Elements nicht das Versagen von Wahlprinzipien. Logisch umgekehrt stehen die anderen äquivalenten Wahlprinzipien.

Abgrenzung

Gilt für teilweise geordnete Mengen, die die Ketten‑Oberschranken‑Bedingung erfüllen; es ist nichtkonstruktiv und beruht auf wahlähnlichen Axiomen, bietet deshalb keine expliziten Konstruktionen oder effektiven Algorithmen für die garantierten maximalen Elemente.

Semantische Spannung

Steht im Spannungsverhältnis zur konstruktiven Mathematik und zu wohlordnungsbasierten Ansätzen: Zorns Lemma liefert breit angelegte Existenzaussagen unter Wahlannahmen, während konstruktive Rahmen nichtkonstruktive Existenzen ohne Zeugen ablehnen.

Synthese

Zorns Lemma ist ein fundamentales Existenzprinzip: Indem es fordert, dass jede Kette eine obere Schranke besitzt, garantiert es maximale Elemente in Posets und stellt ein nichtkonstruktives, zum Auswahlaxiom äquivalentes, aber unentbehrliches Werkzeug für viele Existenzbeweise in der Algebra dar.