Eine Aussage der Mengentheorie, die besagt: Besitzt eine partiell geordnete Menge die Eigenschaft, dass jede totalgeordnete Teilmenge (Kette) eine obere Schranke in der Menge hat, dann enthält die poset mindestens ein maximales Element (ein Element, das zu keinem anderen streng kleiner ist).

Prinzip

Vom Lokalen zum Globalen: Existenz oberer Schranken für Ketten wird zur Existenz maximaler Elemente erhoben; ein nichtkonstruktives Auswahlprinzip, das in ZF der Auswahlaxiom äquivalent ist.

Demonstration

Wird verwendet, um zu zeigen, dass jeder Vektorraum eine Basis hat: Betrachte die poset der linear unabhängigen Teilmengen geordnet nach Inklusion; die Vereinigung einer Kette ist eine obere Schranke, also liefert Zorns Lemma eine maximal lineare unabhängige Menge, die den Raum aufspannt.

Fehlanwendung

Das Lemma anwenden, obwohl eine Kette keine obere Schranke besitzt, oder maximales Element mit Maximum verwechseln; erwarten, dass ein kanonisches oder berechenbares Element geliefert wird, statt nur einer Existenzbehauptung.

Konsequenz

Sichert die Existenz maximaler Ideale in Ringen, Basen von Vektorräumen, Hamelbasen in unendlichdimensionalen Räumen und weitere nichtkonstruktive Existenzresultate; steht in Äquivalenz zum Auswahlaxiom und ist Grundlage vieler algebraischer und ordnungstheoretischer Existenzbeweise.

Umkehrung

Die Verneinung der Zorn-Bedingung führt zu posets, in denen manche Ketten keine obere Schranke haben und man nicht auf das Vorhandensein maximaler Elemente schließen kann; das Fehlen des Lemmas erlaubt Modelle von ZF mit abweichendem Existenzverhalten.

Abgrenzung

Gilt nur für partiell geordnete Mengen und verlangt, dass jede Kette eine obere Schranke innerhalb desselben posets besitzt; es liefert keine explizite Konstruktion des maximalen Elements und gilt nicht unmittelbar für echte Klassen ohne zusätzliche Formulierung.

Semantische Spannung

Enge Verbindung zum Wohlordnungsprinzip und zum Auswahlaxiom (in ZF äquivalent), aber als ordnungstheoretisches Existenzprinzip formuliert statt als Ordnungs- oder Auswahlbehauptung; wird oft mit endlicher Maximalität oder mit dem Begriff Maximum verwechselt.

Synthese

Zorns Lemma wandelt eine kettenweise obere-Schranken-Bedingung in die Existenz eines maximalen Elements um; ein nichtkonstruktives, aber mächtiges Werkzeug, äquivalent zum Auswahlaxiom und breit verwendet, um Maxima in Algebra und Ordnungstheorie zu erzeugen.