64 The Real Numbers
By construction, g
−1
is a bijection of each A
i
onto B
i
for i ≥ 1. We claim that
f maps A
0
onto B
0
. Observe that f maps A
i
onto B
i+1
for each i ≥ 1. Thus the
remainder of A, namely A
0
, is mapped onto the remainder of the image. Thus
f(A
0
) = f (A) \
[
i≥1
f(A
i
) = (B \ B
1
) \
[
i≥1
B
i+1
= B \
[
i≥1
B
i
= B
0
.
This means that the function
h(a) =
(
g
−1
(a) if a ∈
S
i≥1
A
i
f(a) if a ∈ A
0
is a bijection between A and B. So |A| = |B|. ¥
The whole subject of cardinality is wrapped up in the subtleties of set theory.
The commonly used axioms of set theory include the Axiom of Choice, which has
the simple sounding statement that given any collection of nonempty sets, one can
select an element from each of them. This has many significant ramifications that
are beyond the scope of this book. One of these is that if A and B are any sets, then
either |A| ≤ |B| or |B| ≤ |A|.
Another aspect of set theory that arises in this context is that sets must be built
up from smaller sets only in certain allowable ways. This prevents the universe of
all sets from being a set itself. The reason behind this is a famous contradiction,
known as Russell’s Paradox, to a more casually defined theory of sets.
Russell’s argument is like Cantor’s diagonalization argument. Let X be the
set consisting of all sets A that do not contain themselves as an element. Intuition
suggests that no set contains itself. However, the set of all sets (were it a set) would
have to contain itself, and thus is not an element of X. The question is, Does X
contain itself? If X does not contain itself, then by definition, it does belongs to X.
Conversely, if X is an element of X, then by definition it would not be a member.
So neither possibility is logical.
The solution was proposed by Zermelo in 1908 and refined by various other
mathematicians, culminating in a finished version by Fraenkel in 1922. The stan-
dard axioms of set theory used by most mathematicians today are called ZFC, for
Zermelo–Fraenkel set theory with the Axiom of Choice.
A curious question in the fundamentals of set theory was raised by Cantor.
If A is an uncountable subset of R, is |A| = |R|? The continuum hypothesis
asserts that the answer is yes. There is also a generalized continuum hypothesis
that makes a parallel assertion about all larger cardinal numbers, not just |R|. The
Austrian mathematician G
¨
odel established several deep results about the founda-
tions of mathematics. One of these was that, if there is an inconsistency of ZFC
together with the generalized continuum hypothesis, then there is an inconsistency
in the Zermelo–Fraenkel axioms themselves. This means that there is no additional
danger of an inconsistency in assuming the Axiom of Choice or the generalized
continuum hypothesis. In 1965, Cohen showed that the generalized continuum
hypothesis does not follow from ZFC, so we are also free to not assume the gener-
alized continuum hypothesis, if we so choose.