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)
“Being the dependents of the general government, and looking to its treasury as the source of all their emoluments, the state officers, under whatever names they might pass and by whatever forms their duties might be prescribed, would in effect be the mere stipendiaries and instruments of the central power.”
—Andrew Jackson (17671845)