Next: Trees of trees Up: Creative mathematics Previous: Power set axiom   Contents

# Axiom of Choice

The Axiom of Choice is not part of ZF. It is however widely accepted and critical to some proofs. The combination of this axiom and the others in ZF is called ZFC.

The axiom states that for any collection of non empty sets there exists a choice function that can select an element from every member of . In other words for every .

A mathematically complete statement of the above requires a definition in the language of set theory of function. A function is a set of ordered pairs where the first element is in the domain of the function and the second element is in the range of the function. Each pair maps an element of the domain uniquely into an element of the range. Thus each first element must occur only once as in the set that defines the function.

Gödel proved that one could construct a model for the axioms of ZF using the constructible sets. Essentially these are the sets one can build up by applying the axioms of ZF. In this model the axiom of choice is true. However Paul Cohen constructed models of ZF in which the Axiom of Choice was false making it clear that this axiom cannot be derived from the other axioms.

It is a strange axiom since it would seem to be obvious. If one has a collection of sets then one should be able to choose one member from each set. But in general there is no way to do this using the axioms of ZF. It is one example of the strange nature of the infinite in formal mathematics. The real numbers derived from the power set allow one to search over all reals. This leads to many other strange questions and another postulate sometimes needed for theorems that is not derivable from the other axioms. This is the Continuum Hypothesis discussed in Section 5.7. Unlike the axiom of choice the Continuum Hypothesis is not generally accepted as true.