Added to Favorites

Related Searches

Zorn's lemma, also known as the Kuratowski-Zorn lemma, is a proposition of set theory that states:

Every partially ordered set in which every chain (i.e. totally ordered subset) has an upper bound contains at least one maximal element.

It is named after the mathematician Max Zorn.

The terms are defined as follows. Suppose (P,≤) is a partially ordered set. A subset T is totally ordered if for any s, t in T we have either s ≤ t or t ≤ s. Such a set T has an upper bound u in P if t ≤ u for all t in T. Note that u is an element of P but need not be an element of T. A maximal element of P is an element m in P such that for no element x in P, m < x.

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. It occurs in the proofs of several theorems of crucial importance, for instance the Hahn-Banach theorem in functional analysis, the theorem that every vector space has a basis, Tychonoff's theorem in topology stating that every product of compact spaces is compact, and the theorems in abstract algebra that every ring has a maximal ideal and that every field has an algebraic closure.

We want to apply Zorn's lemma, and so we take a totally ordered subset T of P and have to show that T has an upper bound, i.e. that there exists an ideal I ⊆ R which is bigger than all members of T but still smaller than R (otherwise it would not be in P). We take I to be the union of all the ideals in T. I is an ideal: if a and b are elements of I, then there exist two ideals J, K ∈ T such that a is an element of J and b is an element of K. Since T is totally ordered, we know that J ⊆ K or K ⊆ J. In the first case, both a and b are members of the ideal K, therefore their sum a + b is a member of K, which shows that a + b is a member of I. In the second case, both a and b are members of the ideal J, and we conclude similarly that a + b ∈ I. Furthermore, if r ∈ R, then ar and ra are elements of J and hence elements of I. We have shown that I is an ideal in R.

Now comes the heart of the proof: why is I smaller than R? The crucial observation is that an ideal is equal to R if and only if it contains 1. (It is clear that if it is equal to R, then it must contain 1; on the other hand, if it contains 1 and r is an arbitrary element of R, then r1 = r is an element of the ideal, and so the ideal is equal to R.) So, if I were equal to R, then it would contain 1, and that means one of the members of T would contain 1 and would thus be equal to R - but we explicitly excluded R from P.

The condition of Zorn's lemma has been checked, and we thus get a maximal element in P, in other words a maximal ideal in R.

Note that the proof depends on the fact that our ring R has a multiplicative unit 1. Without this, the proof wouldn't work and indeed the statement would be false.

Using the function b, we are going to define elements a_{0} < a_{1} < a_{2} < a_{3} < ... in P. This sequence is really long: the indices are not just the natural numbers, but all ordinals. In fact, the sequence is too long for the set P; there are too many ordinals, more than there are elements in any set, and the set P will be exhausted before long and then we will run into the desired contradiction.

The a_{i} are defined by transfinite recursion: we pick a_{0} in P arbitrary (this is possible, since P contains an upper bound for the empty set and is thus not empty) and for any other ordinal w we set a_{w} = b({a_{v}: v < w}). Because the a_{v} are totally ordered, this is a well-founded definition.

This proof shows that actually a slightly stronger version of Zorn's lemma is true:

- If P is a poset in which every well-ordered subset has an upper bound, and if x is any element of P, then P has a maximal element that is greater than or equal to x. That is, there is a maximal element which is comparable to x.

K. Kuratowski proved in 1922 a version of Zorn's lemma close to its modern formulation (it applied to sets ordered by inclusion and closed under unions of well-ordered chains). Essentially the same formulation (weakened by using arbitrary chains, not just well-ordered) was independently given by Max Zorn in 1935, who proposed it as a new axiom of set theory replacing the well-ordering theorem, exhibited some of its applications in algebra, and promised to show its equivalence with the axiom of choice in another paper, which never appeared.

The name "Zorn's lemma" appears to be due to John Tukey, who used it in his book Convergence and Uniformity in Topology in 1940. Bourbaki's Théorie des Ensembles of 1939 refers to a similar maximal principle as "le théorème de Zorn".

- Set Theory for the Working Mathematician. Ciesielski, Krzysztof. Cambridge University Press, 1997. ISBN 0-521-59465-0
- Campbell, Paul J. (1978). "The Origin of “Zorn's Lemma”".
*Historia Mathematica*5 (1): 77–89.

- Zorn's Lemma at ProvenMath contains a formal proof down to the finest detail of the equivalence of the axiom of choice and Zorn's Lemma.
- Zorn's Lemma at Metamath is another formal proof. (Unicode version for recent browsers.)

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Friday September 26, 2008 at 05:10:04 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Friday September 26, 2008 at 05:10:04 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.