Ein Prinzip der Mengen- und Ordnungstheorie, das besagt: Besitzt eine partiell geordnete Menge die Eigenschaft, dass jede total geordnete Teilmenge (Kette) eine obere Schranke in der Menge hat, so enthält die Menge mindestens ein maximales Element (ein Element, über das es kein strikt größeres Element gibt).

Prinzip

Existenz durch Kettenbeschränkung: Aus der lokalen Bedingung, dass jede Kette eine obere Schranke hat, werden globale maximale Objekte abgeleitet. Das Lemma strukturiert Existenzbeweise, indem Schranken von Ketten zu maximalen Elementen im Gesamtordnungsraum erhoben werden.

Demonstration

In der Ringtheorie: Für einen nichttrivialen kommutativen Ring R betrachtet man die Menge der echten Ideale geordnet durch Inklusion. Jede Kette hat als obere Schranke ihre Vereinigung, somit liefert Zornsches Lemma ein maximales echtes Ideal. Ebenso verwendet man Zorn, um die Existenz einer Hamelbasis eines Vektorraums zu zeigen, indem man linear unabhängige Mengen nach Inklusion ordnet.

Fehlanwendung

Zornsches Lemma zu verwenden, um eine kanonische oder konstruktive Wahl eines maximalen Elements zu behaupten, oder es anzuwenden, wenn eine Kette keine obere Schranke in der Poset besitzt (dann ist die Schlussfolgerung ungültig). Ein weiterer Fehlgebrauch ist, allein aus Zornschen Lemma auf die Eindeutigkeit des maximalen Elements zu schließen.

Konsequenz

Nichtkonstruktive Existenzresultate folgen: Viele algebraische und analytische Existenzsätze (maximale Ideale, Basen, algebraische Abschlüsse) lassen sich so beweisen. In ZF ist es äquivalent zum Auswahlaxiom und zum Wohlordnungssatz, sodass seine Verwendung dieselben nichtkonstruktiven Folgen hat.

Umkehrung

Das Gegenbild ist eine partiell geordnete Menge, in der es eine Kette ohne obere Schranke gibt; in einer solchen Poset kann die Schlussfolgerung von Zorn versagen und maximale Elemente müssen nicht existieren. Demgegenüber behauptet der Wohlordnungssatz die Existenz einer totalen Ordnung mit kleinsten Elementen statt Maximalität aus Kettenbeschränkung.

Abgrenzung

Gilt nur für partielle Ordnungen, in denen jede total geordnete Teilmenge eine obere Schranke in der Menge hat; es garantiert weder Eindeutigkeit noch Konstruktivität und nicht die Existenz außerhalb dieser Voraussetzung. In vielen Anwendungen ist außerdem die mengen-theoretische Größe und die Frage, ob man in ZF oder mit zusätzlichem Auswahlaxiom arbeitet, zu prüfen.

Semantische Spannung

Spannung gegenüber konstruktiver Mathematik und expliziten Algorithmen: Zorn sichert Existenz, liefert aber kein Verfahren zur Bestimmung des Elements. Spannung auch gegenüber Wohlbegründetheit und ACC/DCC-Notionen, die Stabilisierung statt Kettenbeschränkung behandeln.

Synthese

Das Zornsches Lemma ist ein kompaktes Existenzprinzip: Wenn jede Kette einer partiell geordneten Menge eine obere Schranke besitzt, folgt (nichtkonstruktiv) die Existenz mindestens eines maximalen Elements; vielseitig eingesetzt zur Gewinnung algebraischer Maxima wie maximaler Ideale oder Basen.