Axiom of choice

In mathematics, the axiom of choice, or AC, is an axiom of set theory. It was formulated in 1904 by Ernst Zermelo. While it was originally controversial, it is now used without reservation by most mathematicians. However, there are schools of mathematical thought, primarily within set theory, that either reject the axiom of choice or investigate consequences of axioms inconsistent with AC.

Intuitively speaking, AC says that given a collection of bins, each containing at least one object, then exactly one object from each bin can be picked and gathered in another bin - even if there are infinitely many bins, and there is no "rule" for which object to pick from each.

Statement

The axiom of choice states:

Let X be a set of non-empty sets. Then we can choose a single member from each set in X.

A choice function is a function on a collection of sets X such that for every set s in X, f(s) is an element of s. With this concept, the axiom can be stated:

For any set of non-empty sets, X, there exists a choice function f defined on X.

Or alternatively:

An arbitrary Cartesian product of non-empty sets is non-empty.

Or most compactly:

Every set of nonempty sets has a choice function.

This immediately permits a compact formulation of the negation of the axiom of choice:

There exists a set of nonempty sets which has no choice function.

Variants

A second version of the axiom of choice states:

Given any set of pairwise disjoint non-empty sets, there exists at least one set that contains exactly one element in common with each of the non-empty sets.

Some authors use another version which effectively says:

For any set A, the powerset of A (minus the empty set) has a choice function.

Authors who use this formulation often speak of the choice function on A, but be advised that this is a slightly different notion of choice function. Its domain is the powerset of A (minus the empty set), and so makes sense for any set A, whereas with the definition used elsewhere in this article, the domain of a choice function on a collection of sets is that collection, and so only makes sense for sets of sets. With this alternate notion of choice function, the axiom can be compactly stated as

Every set has a choice function.

Usage

Until the late 19th century, the axiom of choice was often used implicitly. For example, after having established that the set X contains only non-empty sets, a mathematician might have said "let F(s) be one of the members of s for all s in X." In general, it is impossible to prove that F exists without the axiom of choice, but this seems to have gone unnoticed until Zermelo.

Not every situation requires the axiom of choice. For finite sets X, the axiom of choice follows from the other axioms of set theory. In that case it is equivalent to saying that if we have several (a finite number of) boxes, each containing at least one item, then we can choose exactly one item from each box. Clearly we can do this: We start at the first box, choose an item; go to the second box, choose an item; and so on. There are only finitely many boxes, so eventually our choice procedure comes to an end. The result is an explicit choice function: a function that takes the first box to the first element we chose, the second box to the second element we chose, and so on. (A formal proof for all finite sets would use the principle of mathematical induction.)

For certain infinite sets X, it is also possible to avoid the axiom of choice. For example, suppose that the elements of X are sets of natural numbers. Every nonempty set of natural numbers has a least element, so to specify our choice function we can simply say that it takes each set to the least element of that set. This gives us a definite choice of an element from each set and we can write down an explicit expression that tells us what value our choice function takes. Any time it is possible to specify such an explicit choice, the axiom of choice is unnecessary.

The difficulty appears when there is no natural choice of elements from each set. If we cannot make explicit choices, how do we know that our set exists? For example, suppose that X is the set of all non-empty subsets of the real numbers. First we might try to proceed as if X were finite. If we try to choose an element from each set, then, because X is infinite, our choice procedure will never come to an end, and consequently, we will never be able to produce a choice function for all of X. So that won't work. Next we might try the trick of specifying the least element from each set. But some subsets of the real numbers don't have least elements. For example, the open interval (0,1) does not have a least element: If x is in (0,1), then so is x/2, and x/2 is always strictly smaller than x. So taking least elements doesn't work, either.

The reason that we are able to choose least elements from subsets of the natural numbers is the fact that the natural numbers come pre-equipped with a well-ordering: Every subset of the natural numbers has a unique least element under the natural ordering. Perhaps if we were clever we might say, "Even though the usual ordering of the real numbers does not work, it may be possible to find a different ordering of the real numbers which is a well-ordering. Then our choice function can choose the least element of every set under our unusual ordering." The problem then becomes constructing a well-ordering which turns out to require the axiom of choice for its existence; every set can be well-ordered if and only if the axiom of choice is true.

A proof requiring the axiom of choice is always nonconstructive: even if the proof produces an object then it is impossible to say exactly what that object is. Consequently, while the axiom of choice asserts that there is a well-ordering of the real numbers, it does not give us an example of one. Yet the reason why we chose above to well-order the real numbers was so that for each set in X we could explicitly choose an element of that set. If we cannot write down the well-ordering we are using, then our choice is not very explicit. This is one of the reasons why some mathematicians dislike the axiom of choice. For example, constructivists posit that all existence proofs should be totally explicit; it should be possible to construct anything that exists. They reject the axiom of choice because it asserts the existence of an object without telling what it is.

Independence of AC

By work of Kurt Gödel and Paul Cohen, the axiom of choice is logically independent of the other axioms of Zermelo-Fraenkel set theory (ZF). This means that neither it nor its negation can be proven to be true in ZF. Consequently, assuming the axiom of choice, or its negation, will never lead to a contradiction that could not be obtained without that assumption.

So the decision whether or not it is appropriate to make use of the axiom of choice in a proof cannot be made by appeal to other axioms of set theory. The decision must be made on other grounds.

One argument given in favor of using the axiom of choice is that it is convenient to use it: using it cannot hurt (cannot result in contradiction) and makes it possible to prove some propositions that otherwise could not be proved.

The axiom of choice is not the only significant statement which is independent of ZF. For example, the generalized continuum hypothesis (GCH) is not only independent of ZF, but also independent of ZF plus the axiom of choice (ZFC). However, ZF plus GCH implies AC, making GCH a strictly stronger claim than AC, even though they are both independent of ZF.

One reason that some mathematicians dislike the axiom of choice is that it implies the existence of some bizarre counter-intuitive objects. An example of this is the Banach–Tarski paradox which says in effect that it is possible to "carve up" the 3-dimensional solid unit ball into finitely many pieces and, using only rotation and translation, reassemble the pieces into two balls each with the same volume as the original. Note that the proof, like all proofs involving the axiom of choice, is an existence proof only: it does not tell us how to carve up the unit sphere to make this happen, it simply tells us that it can be done.

On the other hand, the negation of the axiom of choice is also bizarre. For example, the statement that for any two sets S and T, the cardinality of S is less than or equal to the cardinality of T or the cardinality of T is less than or equal to the cardinality of S is equivalent to the axiom of choice. Put differently, if the axiom of choice is false, then there are sets S and T of incomparable size: neither can be mapped in a one-to-one fashion onto a subset of the other.

A third possibility is to prove theorems using neither the axiom of choice nor its negation, a tactic preferred in constructive mathematics. Such statements will be true in any model of Zermelo–Fraenkel set theory, regardless of the truth or falsity of the axiom of choice in that particular model. This renders any claim that relies on either the axiom of choice or its negation undecidable. For example, under such an assumption, the Banach–Tarski paradox is neither true nor false: It is impossible to construct a decomposition of the unit ball which can be reassembled into two unit balls, and it is also impossible to prove that it can't be done. However, the Banach–Tarski paradox can be rephrased as a statement about models of ZF by saying, "In any model of ZF in which AC is true, the Banach–Tarski paradox is true." Similarly, all the statements listed below which require choice or some weaker version thereof for their proof are undecidable in ZF, but since each is provable in any model of ZFC, there are models of ZF in which each statement is true.

Stronger than AC

The axiom of constructibility and the generalized continuum hypothesis both imply the axiom of choice, but are strictly stronger than it.

In class theories such as Von Neumann–Bernays–Gödel set theory and Morse–Kelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes. And the axiom of global choice follows from the axiom of limitation of size.

Important theorems equivalent to AC

There are a remarkable number of important statements that, assuming the axioms of ZF but neither AC nor ¬AC, are equivalent to the axiom of choice. The most important among them are Zorn's lemma and the well-ordering theorem. In fact, Zermelo initially introduced the axiom of choice in order to formalize his proof of the well-ordering principle.

Set theory
- Well-ordering theorem: Every set can be well-ordered. Consequently, every cardinal has an initial ordinal.
- If the set A is infinite, then A and A×A have the same cardinality.
- Trichotomy: If two sets are given, then they either have the same cardinality, or one has a smaller cardinality than the other.
- The Cartesian product of any nonempty family of nonempty sets is nonempty.
- König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals. (The reason for the term "colloquially", is that the sum or product of a "sequence" of cardinals cannot be defined without some aspect of the axiom of choice.)
- Every surjective function has a right-inverse.

Order theory
- Zorn's lemma: Every non-empty partially ordered set in which every chain (i.e. totally ordered subset) has an upper bound contains at least one maximal element.
- Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.
- Restricted Hausdorff maximal principle: In any partially ordered set there exists a maximal totally ordered subset.

Algebra
- Every vector space has a basis.
- Every unital ring other than the trivial ring contains a maximal ideal.

General topology
- Tychonoff's theorem stating that every product of compact topological spaces is compact.
- In the product topology, the closure of a product of subsets is equal to the product of the closures.
- Any product of complete uniform spaces is complete.

Category theory

There are several results in category theory which invoke the axiom of choice for their proof. These results might be weaker than, equivalent to, or stronger than the axiom of choice, depending on the strength of the technical foundations. For example, if one defines categories in terms of sets, that is, as sets of objects and morphisms (usually called a small category), or even locally small categories, whose hom-objects are sets, then there are sets which are not contained in the category of sets, and so it is difficult for a category-theoretic formulation to apply to all sets. On the other hand, other foundational descriptions of category theory are considerably stronger, and an identical category-theoretic statement of choice may be stronger than the standard formulation, à la class theory, mentioned above.

Examples of category-theoretic statements which require choice include:

Every small category has a skeleton.
If two small categories are weakly equivalent, then they are equivalent.
Every continuous functor on a small-complete category which satisfies the appropriate solution set condition has a left-adjoint (the Freyd adjoint functor theorem).

Weaker forms of AC

There are several weaker statements which are not equivalent to the axiom of choice, but which are closely related. A simple one is the axiom of countable choice (AC_ω or CC), which states that a choice function exists for any countable set X. This usually suffices when trying to make statements about the real numbers, for example, because the rational numbers, which are countable, form a dense subset of the reals. See also the Boolean prime ideal theorem, the axiom of dependent choice (DC), and the axiom of uniformization.

Important theorems requiring AC (or weaker forms) but weaker than it

One of the most interesting aspects of the axiom of choice is the large number of places in mathematics that it shows up. Here are some statements that require the axiom of choice in the sense that they are not provable from ZF but are provable from ZFC (ZF plus AC). Equivalently, these statements are true in all models of ZFC but false in some models of ZF.

Set theory
- Any union of countably many countable sets is itself countable.
- If the set A is infinite, then there exists an injection from the natural numbers N to A (see Dedekind infinite).
- Every infinite game $G(T,X)$ where $X$ is either open or closed is determined.

Measure theory
- The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.
- The Hausdorff paradox.
- The Banach–Tarski paradox.

Algebra
- Every field has an algebraic closure.
- Every field extension has a transcendence basis.
- Stone's representation theorem for Boolean algebras needs the Boolean prime ideal theorem.
- The Nielsen-Schreier theorem, that every subgroup of a free group is free.
- The additive groups of R and C are isomorphic. ^*

Functional analysis
- The Hahn-Banach theorem in functional analysis, allowing the extension of linear functionals
- The theorem that every Hilbert space has an orthonormal basis.
- The Banach-Alaoglu theorem about compactness of sets of functionals.
- The Baire category theorem about complete metric spaces, and its consequences, such as the open mapping theorem and the closed graph theorem.
- On every infinite-dimensional topological vector space there is a discontinuous linear map.

General topology
- A uniform space is compact if and only if it is complete and totally bounded.
- Every Tychonoff space has a Stone-Cech compactification.

Strengthened forms of ¬AC

Now, consider stronger forms of the negation of AC. For example, if we abbreviate by BP the claim that every set of real numbers has the property of Baire, then BP is stronger than ¬AC, which asserts the nonexistence of any choice function on perhaps only a single set of nonempty sets. Note that strengthened negations may be compatible with weakened forms of AC. For example, ZF + DC + BP is consistent, if ZF is.

It is also consistent with ZF + DC that every set of reals is Lebesgue measurable; however, this consistency result, due to Robert M. Solovay, cannot be proved in ZFC itself, but requires a mild large cardinal assumption (the existence of an inaccessible cardinal). The much stronger axiom of determinacy, or AD, implies that every set of reals is Lebesgue measurable, has the property of Baire, and has the perfect set property (all three of these results are refuted by AC itself). ZF + DC + AD is consistent provided that a sufficiently strong large cardinal axiom is consistent (the existence of infinitely many Woodin cardinals).

Results requiring ¬AC

There are models of Zermelo-Fraenkel set theory in which the axiom of choice is false. We will abbreviate "Zermelo-Fraenkel set theory plus the negation of the axiom of choice" by ZF¬C. For certain models of ZF¬C, it is possible to prove the negation of some standard facts. Note that any model of ZF¬C is also a model of ZF, so for each of the following statements, there exists a model of ZF in which that statement is true.

There exists a model of ZF¬C in which there is a function f from the real numbers to the real numbers such that f is not continuous at a, but for any sequence {x_n} converging to a, lim_n f(x_n)=f(a).
There exists a model of ZF¬C in which real numbers are a countable union of countable sets.
There exists a model of ZF¬C in which there is a field with no algebraic closure.
In all models of ZF¬C there is a vector space with no basis.
There exists a model of ZF¬C in which there is a vector space with two bases of different cardinalities.

For proofs, see Thomas Jech, The Axiom of Choice, American Elsevier Pub. Co., New York, 1973.

There exists a model of ZF¬C in which every set in Rⁿ is measurable. Thus it is possible to exclude counterintuitive results like the Banach–Tarski paradox which are provable in ZFC. Furthermore, this is possible whilst assuming the Axiom of dependent choice, which is weaker than AC but sufficient to develop most of real analysis.
In all models of ZF¬C, the generalized continuum hypothesis does not hold.

Law of the excluded middle

The assumption of the axiom of choice is also sufficient to derive the law of the excluded middle in some constructive systems (where the law is not assumed). For any proposition

P\,

, we can build the sets

$U = \{x \in \{0, 1\} : (x = 0) \vee P\}, V = \{x \in \{0, 1\} : (x = 1) \vee P\}.$

These are sets, using the axiom of separation. In classical set theory this would be equivalent to

$U = \begin{cases} \{0,1\}, & \mbox{if } P \\ \{0\}, & \mbox{if } \neg P\end{cases}$

and similarly for $V\,$ . However, without the law of the excluded middle, these equivalences can't be proven; in fact the two sets aren't even provably finite (in the usual sense of being in bijection with a natural number, though they would be in the Dedekind sense).

By the axiom of choice, there will exist a choice function $f\,$ for the set $\{U, V\}\,$ ; that is, a function $f\,$ such that

$f(U) \in U \wedge f(V) \in V\,$ .

By the definition of the two sets, this means that

$= 0) \vee P \wedge = 1) \vee P \,$ ,

which implies $f(U) \neq f(V) \vee P$ .

But since $P \to (U = V),$ (by the axiom of extensionality),

therefore $P \to (f(U) = f(V))\,$ ,

so $(f(U) \neq f(V)) \to \neg P$ .

Thus $\neg P \vee P$ .

As this could be done for any proposition, this completes the proof that the axiom of choice implies the law of the excluded middle. Forms of the axiom of separation are available in many constructive set theories. In the intuitionistic type theory of Per Martin-Löf, on the other hand, subsets of a type have different treatments. A form of the axiom of choice is a theorem, yet excluded middle is not.

Quotes

"The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"

— Jerry Bona -(This is a joke: although the axiom of choice, the well-ordering principle, and Zorn's lemma are all mathematically equivalent, most mathematicians find the axiom of choice to be intuitive, the well-ordering principle to be counterintuitive, and Zorn's lemma to be too complex for any intuition.)

"The Axiom of Choice is necessary to select a set from an infinite number of socks, but not an infinite number of shoes."

— Bertrand Russell -(The observation here is that one can define a function to select from an infinite number of pairs of shoes by stating for example, to choose the left shoe. Without the axiom of choice, one cannot assert that such a function exists for pairs of socks, because left and right socks are (presumably) indistinguishable from each other.)

"The axiom gets its name not because mathematicians prefer it to other axioms."

— A. K. Dewdney -( This quote comes from the famous April Fool's Day article in the computer recreations column of the Scientific American, April 1989.)

References

Ernst Zermelo, "Untersuchungen über die Grundlagen der Mengenlehre I," Mathematische Annalen 65: (1908) pp. 261-81. PDF download via digizeitschriften.de

Translated in: Jean van Heijenoort, 1967. From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press.

1904. "Proof that every set can be well-ordered," 139-41.
1908. "Investigations in the foundations of set theory I," 199-215.
- Gregory H Moore, "Zermelo's axiom of choice, Its origins, development and influence", Springer; 1982.

Paul Howard and Jean Rubin, "Consequences of the Axiom of Choice". Mathematical Surveys and Monographs 59; American Mathematical Society; 1998.

External links

There are many people still doing work on the axiom of choice and its consequences. If you are interested in more, look up Paul Howard at EMU.

Axioms of set theory | Model theory

Gourt Home::Gourt :: Axiom of choice