242 9 Countable and Uncountable Sets
[0, 1] is countable. Then there is a function g :[0, 1]→N which is one-to-one and
onto. Consider the function f : S →[0, 1], where S is the set of infinite sequences
of 0’s and 1’s, and f is defined by
f(s)=
∞
i=1
s
i
10
i
for every s =(s
1
,s
2
,...) in S. We now show that f is one-to-one. Assume that for
a and b in S,wehavef(a)=f(b).Let
x =
∞
i=1
a
i
10
i
=
∞
i=1
b
i
10
i
.
That is, a and b are decimal representations of the real x. But we know that a decimal
representation is unique (provided that infinitely many of the digits are not 9, but
here we have only 0’s and 1’s). Thus, a = b, and f is one-to-one. Define now the
function h : S →N by h(s) =g(f (s)). Assume that h(a) =h(b) for a and b in S.
That is, g(f (a)) =g(f(b)). Since g is one-to-one, we have f(a)=f(b), and since
f is one-to-one, a = b. That is, h is one-to-one. By the lemma, S is countable, but
we know that it is not by Example 9.7. Thus, we have a contradiction, and [0, 1] is
uncountable. Therefore, R is also uncountable.
Example 9.8 The set of irrational reals is uncountable.
The set of reals is the union of the set of rationals and the set of irrationals.
The set of rationals is countable. If the set of irrationals were countable, then the
union of rationals and irrationals would be countable as well (since the union of two
countable sets is countable). The reals would be countable. That is not true. Hence,
the set of irrationals is uncountable.
A natural question is: are there sets that have even more elements than the reals?
The answer is yes. Actually, it is always possible to find sets with more elements
than a given set. Given a set X, we define the power set of X, P(X),asthesetofall
subsets of X. For instance, if X ={1, 2, 3}, then
P(X) =
∅,X,{1}, {2
}, {3}, {1, 2}, {1, 3}, {2, 3}
.
It is
clear that P(X) has strictly more elements than X and cannot have the same
cardinality as X. This is in fact always true.
Power sets
For any set X, its power set P(X) has a strictly larger cardinality than X in
the sense that there exists a one-to-one function from X to P(X) but no onto
function.
Note that if h :A →B is one-to-one and if
C =
h(a) :a ∈A
,