Eine Aussage der Ordnungstheorie, äquivalent (über ZF) zum Auswahlaxiom: In einer partiell geordneten Menge, in der jede total geordnete Teilmenge (Kette) eine obere Schranke besitzt, existiert mindestens ein maximales Element.

Prinzip

Wenn jede Kette zu einer oberen Schranke erweiterbar ist, dann gibt es ein Element, das nicht mehr strikt erweiterbar ist; dies erlaubt Existenzbeweise maximaler Objekte ohne explizite Konstruktion.

Demonstration

Gängige Anwendung: Man beweist, dass jeder Vektorraum eine Basis hat, indem man die poset der linear unabhängigen Teilmengen nach Inklusion betrachtet; Zorns Lemma liefert eine maximale unabhängige Menge, die eine Basis ist.

Fehlanwendung

Zorns Lemma anzuwenden, ohne die Bedingung der oberen Schranke für Ketten zu prüfen, oder maximal mit größtem Element zu verwechseln (maximal muss nicht mit allen anderen vergleichbar sein) kann zu falschen Schlüssen führen; es ist nichtkonstruktiv und liefert Existenz, aber kein Verfahren zur Auffindung des maximalen Elements.

Konsequenz

Ermöglicht viele gebräuchliche Existenzresultate (Basen, maximale Ideale, algebraische Abschlüsse) und ist über Äquivalenz mit AC verbunden; es strafft Argumente, die sonst explizite transfinite Konstruktionen erfordern würden.

Umkehrung

Die Verneinung von Zorns Lemma (Arbeiten in Modellen ohne es) verhindert viele Standard-Existenzbeweise und zwingt zu expliziten konstruktiven Methoden; einige äquivalente Resultate versagen oder benötigen schwächere Ersatzansätze.

Abgrenzung

Gilt für partiell geordnete Mengen, die die Ketten‑Obere‑Schranken‑Bedingung erfüllen; es behauptet nicht Einzigartigkeit, Konstruktibilität oder Vergleichbarkeit maximaler Elemente und schweigt zu Größe oder Definierbarkeit.

Semantische Spannung

Steht im Spannungsfeld mit konstruktiven Ansätzen und mit wohlordnungsbasierten Alternativen; sein nichtkonstruktiver Charakter kontrastiert mit Methoden, die maximale Objekte durch explizite transfinite Induktion oder rekursive Verfahren konstruieren.

Synthese

Zorns Lemma ist ein kompaktes Existenzprinzip: Unter der Ketten‑Obere‑Schranken‑Bedingung in einem poset existiert ein maximales Element. Es ist in ZF äquivalent zum Auswahlaxiom und wird häufig verwendet, um maximale Strukturen zu erhalten, ohne eine explizite Konstruktion anzugeben.