Equivalent Forms of Zorn's Lemma
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 (to which it is equivalent)
- Every commutative unital ring has a maximal ideal, a result from ring theory
- Tychonoff's theorem in topology (to which it is also equivalent)
In this sense, we see how Zorn's lemma can be seen as a powerful tool, especially in the sense of unified mathematics.
Read more about this topic: Zorn's Lemma
Famous quotes containing the words equivalent and/or forms:
“Nobody can deny but religion is a comfort to the distressed, a cordial to the sick, and sometimes a restraint on the wicked; therefore whoever would argue or laugh it out of the world without giving some equivalent for it ought to be treated as a common enemy.”
—Mary Wortley, Lady Montagu (1689–1762)
“The most passionate, consistent, extreme and implacable enemy of the Enlightenment and ... all forms of rationalism ... was Johann Georg Hamann. His influence, direct and indirect, upon the romantic revolt against universalism and scientific method ... was considerable and perhaps crucial.”
—Isaiah Berlin (b. 1909)