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 (16891762)
“Your body must become familiar with its deathin all its possible forms and degreesas a self-evident, imminent, and emotionally neutral step on the way towards the goal you have found worthy of your life.”
—Dag Hammarskjöld (19051961)