Well-ordering Theorem - Statement and Sketch of Proof

Statement and Sketch of Proof

For every set X, there exists a well ordering with domain X.

The well ordering theorem follows easily from Zorn's Lemma. Take the set A of all well orderings of subsets of X: an element of A is an ordered pair (a,b) where a is a subset of X and b is a well ordering of a. A can be partially ordered by continuation. That means, define EF if E is an initial segment of F and the ordering of the members in E is the same as their ordering in F. If E is a chain in A, then the union of the sets in E can be ordered in a way that makes it a continuation of any set in E; this ordering is a well ordering, and therefore, an upper bound of E in A. We may therefore apply Zorn's Lemma to conclude that A has a maximal element, say (M,R). The set M must be equal to X, for if X has an element x not in M, then the set M∪{x} has a well ordering that restricts to R on M, and for which x is larger than all elements of M. This well ordered set is a continuation of (M,R), contradicting its maximality, therefore M = X. Now R is a well ordering of X.

The Axiom of Choice can be proven from the well ordering theorem as follows. To make a choice function for a collection of non-empty sets, E, take the union of the sets in E and call it X. There exists a well ordering of X; let R be such an ordering. The function that to each set S of E associates the smallest element of S, as ordered by (the restriction to S of) R, is a choice function for the collection E. An essential point of this proof is that it involves only a single arbitrary choice, that of R; applying the well ordering theorem to each member S of E separately would not work, since the theorem only asserts the existence of a well ordering, and choosing for each S a well ordering would not be easier than choosing an element.

Read more about this topic:  Well-ordering Theorem

Famous quotes containing the words statement, sketch and/or proof:

    He has the common feeling of his profession. He enjoys a statement twice as much if it appears in fine print, and anything that turns up in a footnote ... takes on the character of divine revelation.
    Margaret Halsey (b. 1910)

    We criticize a man or a book most sharply when we sketch out their ideal.
    Friedrich Nietzsche (1844–1900)

    There is no better proof of a man’s being truly good than his desiring to be constantly under the observation of good men.
    François, Duc De La Rochefoucauld (1613–1680)