Statement: Let be a partially ordered set in which every chain (i.e., totally ordered subset) has an upper bound in . Then, contains at least one maximal element.

A maximal element is an element such that there is no other element in strictly greater than with respect to the partial order.

Intuition

Zorn’s Lemma ensures that under certain conditions, a set with a partial ordering contains elements that cannot be “extended” further within the set. It’s particularly useful in proofs where we want to show the existence of a maximal or “largest” element without needing to construct it explicitly.

Key Concepts

  • Partial Order: A relation on that is reflexive, antisymmetric, and transitive.
  • Chain: A subset in which every pair of elements is comparable, i.e., for any , either or .
  • Upper Bound: An element is an upper bound of a chain if for all .

Applications

Zorn’s Lemma is crucial in many areas of mathematics, particularly in situations where constructive methods are difficult or impossible:

  • Existence of Bases: It is used to prove that every vector space has a basis (Hamel basis), even for infinite-dimensional spaces.
  • Existence of Maximal Ideals: In ring theory, Zorn’s Lemma guarantees the existence of maximal ideals in any nontrivial ring with unity.
  • Extension of Linear Operators: It helps extend linear functionals from subspaces to entire vector spaces.

Relation to the Axiom of Choice

Zorn’s Lemma is equivalent to the Axiom of Choice and Hausdorff’s Maximal Principle in standard set theory (Zermelo-Fraenkel set theory, ZF). This means any one of these statements can be derived from the others, and they are often used interchangeably to establish existence results in mathematics.