Zorn’s Lemma
Suppose a partially ordered set has the property that every chain (i.e. totally ordered subset) has an upper bound. Then the set contains at least one maximal element.
如果一个偏序集P中的每一个链C(即全序子集)都有上界x(x当然必须属于P),那么该偏序集P至少包含一个极大元。
Zorn’s lemma is equivalent to the well-ordering theorem and the axiom of choice, in the sense that any one of them, together with the Zermelo–Fraenkel axioms of set theory, is sufficient to prove the others.
Zorn’s lemma is equivalent (in ZF) to three main results:
- Hausdorff maximal principle
Axiom of choice
Well-ordering theorem
Moreover, Zorn’s lemma (or one of its equivalent forms) implies some major results in other mathematical areas. For example,
- Banach’s extension theorem which is used to prove one of the most fundamental results in functional analysis, the Hahn–Banach theorem
Every vector space has a Hamel basis, a result from linear algebra
Every commutative unital ring has a maximal ideal, a result from ring theory
Tychonoff’s theorem in topology
In this sense, we see how Zorn’s lemma can be seen as a powerful tool, especially in the sense of unified mathematics.