Zorn's lemma

Zorn's lemma
David Eppstein · Public domain · source
Name	Zorn's lemma
Field	Set theory
Statement	Every nonempty partially ordered set in which every chain has an upper bound contains at least one maximal element.
First proved	1935
Mathematician	Max Zorn
Related	Axiom of Choice, Well-ordering theorem, Hausdorff maximal principle

Zorn's lemma is a principle in Set theory asserting existence of maximal elements in certain partially ordered sets. It plays a central foundational role alongside the Axiom of Choice, the Well-ordering theorem, and the Hausdorff maximal principle in establishing existence results across Algebra, Topology, Functional analysis, and Category theory. The lemma is often invoked to produce objects whose explicit construction is nonconstructive, such as bases, ideals, or extensions.

Statement

Zorn's lemma states: every nonempty partially ordered set (poset) in which every totally ordered subset (chain) has an upper bound contains at least one maximal element. Prominent formulations appear in works by Max Zorn and contemporaries; alternate but equivalent versions are used in texts by Ernst Zermelo, Saunders Mac Lane, John von Neumann, and Paul Halmos.

Equivalent formulations and related principles

Zorn's lemma is equivalent (in Zermelo–Fraenkel set theory) to several fundamental statements: the Axiom of Choice (as in equivalence proofs by Zermelo and Tarski), the Well-ordering theorem (originally due to Zermelo), and the Hausdorff maximal principle (introduced by Felix Hausdorff). Other equivalent or closely related principles include the maximal ideal theorem used in Ring theory and the Boolean prime ideal theorem appearing in studies connected to Marshall Stone and Stanisław Ulam. Equivalences have been examined by logicians such as Alfred Tarski, Kurt Gödel, Paul Cohen, and Solomon Feferman in the context of relative consistency and independence results.

Proofs and logical status

Proofs of equivalence among Zorn's lemma, the Axiom of Choice, and the Well-ordering theorem are standard in axiomatic Set theory; classical derivations trace from Zermelo's well-ordering approach to Zorn-style maximality via transfinite recursion employing ordinals introduced by Georg Cantor and formalized by Ernst Zermelo and John von Neumann. The logical status of Zorn's lemma is that it is independent of ZF without Choice: Kurt Gödel showed relative consistency of Choice with ZF, and Paul Cohen established independence results via forcing, showing that neither Zorn's lemma nor the negation can be proved in ZF alone. Detailed metamathematical analysis has been developed by Dana Scott, Richard Montague, Harvey Friedman, and Jech.

Applications

Zorn's lemma is used widely to obtain existence results across many areas of mathematics. In Algebra it yields the existence of bases in vector spaces (invoked in work by Emmy Noether and Hermann Weyl), maximal ideals in commutative rings (central to Richard Dedekind-inspired algebraic number theory), and algebraic closures of fields as in constructions related to Évariste Galois's heritage. In Functional analysis it provides Hamel bases for normed spaces and the Hahn–Banach theorem associated with Hans Hahn and Stefan Banach. In Topology it underpins Zorn-style arguments for Zorn-like extensions, and in Order theory it connects to chain conditions studied by Garrett Birkhoff. Category-theoretic and model-theoretic applications appear in work by Saunders Mac Lane, Alfred Tarski, and Abraham Robinson. Other uses include maximal filters and ultrafilters (developed by Félix Hausdorff and Henri Cartan), bases of matroids linked to Whitney, and existence of transcendence bases in field theory traced to Georg Cantor-era set constructions.

History and origins

The lemma was formulated and popularized in the 1930s by Max Zorn in the context of algebraic questions; contemporaneous equivalent formulations were given by Kazimierz Kuratowski and discussed by Ernst Zermelo earlier in relation to the Well-ordering theorem. Historical antecedents trace to foundational work by Georg Cantor on ordinals and cardinals, and to existence principles used implicitly by Richard Dedekind and David Hilbert. Expositions and systematic equivalence proofs appear in classics by Paul Halmos, John von Neumann, and later textbooks by Herbert Enderton and Kurt Gödel's circle of influence. The name honors Max Zorn though attribution and parallel discoveries by European logicians like Kuratowski are documented in historical studies by Alfred Tarski and historians such as Joseph Dauben.

Category:Set theory