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:
“In truth, politeness is artificial good humor, it covers the natural want of it, and ends by rendering habitual a substitute nearly equivalent to the real virtue.”
—Thomas Jefferson (1743–1826)
“Anyone who seeks for the true causes of miracles, and strives to understand natural phenomena as an intelligent being, and not to gaze at them like a fool, is set down and denounced as an impious heretic by those, whom the masses adore as the interpreters of nature and the gods. Such persons know that, with the removal of ignorance, the wonder which forms their only available means for proving and preserving their authority would vanish also.”
—Baruch (Benedict)