Académique Documents
Professionnel Documents
Culture Documents
Christoph Thiele
Summer 2012
Letcure 8: Cardinality of sets
Recall that a relation between from a set X to a set Y is a subset of the set of ordered
pairs hx, yi . Such a relation is called a function if
1. For all x X there exists y Y such that hx, yi f
2. If for x, x0 X and y Y with hx, yi f and hx0 , yi f we have x = x0 .
Informally, for every x X there exist (first proeprty) a unique (second property)
y Y such that hx, yi f
A function is called
1. surjective, if for all y Y there exists x X such that hx, yi f
2. injective, if for every y, y 0 Y and x X with hx, yi f and hx, y 0 i f we
have y = y 0 .
Note the symmetry between the definition of a function and these two properties.
In particular, if and only if a function f is injective and surjective, then the inverse
relation g from Y to X defined by hy, xi if and only if hx, yi f is a function as well.
In this case, this inverse function is injective and surjective as well.
A function is called bijective, if it is injective and surjective.
If f is a function, we write y = f (x) for hx, yi f .
Definition 1 If f is a function from X to Y and g is a function from Y to Z then
g f is defined to be the function from X to Z defined by (g f )(x) = g(f (x))
Exercise 1 If f and g are surjective then g f is surjective. If f and g are injective
then g f is surjective.
Let A0 denote the empty set and assume An is already defined then define An+1 =
A{n}. Informally, at elats for n > 0, An = 0, 1, 2, . . . , n1 and there are n elements
in An .
Lemma 1 For every n and every m An+1 there is a bijective map fn,a from An to
An+1 \ {m}.
Proof: We define f (k) = k if k < m and we define f (k) = k + 1 if k m. The
inverse map g is defined as g(k) = k if k < m and g(k) = k 1 if k > m. 2
Lemma 2 Let n, m N.
1. There is an injective function from An to An+m for m 0
2. There is a surjective function from An+m to An for m 0
3. There is no injective function from An+m to An for m > 0
4. There is no surjective function from An to An+m for m > 0
Note that there is a surjective map from Am to A0 if and only if m = 0. Hence the
case n = 0 is a true exception to the scheme, but since this exception only concerns
the empty set we shall not be too troubled by that.
Proof:
1) We fix n and do induction on m. For m = 0 the identity map will do. Assume
we have an injective map f from An toAn+m , then the composition fn+m,0 f is injective
from An to An+m+1
2) We fix n and do induction on m. For m = 0 the identity map will do. Assume
1
we have a surjective map f from An+m toAn , then the composition fn+m,0
f is a
surjective map from An+m+1 to An .
3) We fix m > 0 and do induction on n. If n = 0, there is no map from Am to A0 ,
since we cannot map 0 Am to any element. Assume there is no injective map from
An+m toAn for some n. Assume to get a contradiction that there is an injective map
from Am+n+1 toAn+1 . If n + 1 is not in the range of this map, we may by restriction
obtain an injective map from An+m to An , a contradiction. Assume n + 1 is in the
range of this map f , then there is a unique k An+m+1 such that f (k) = n + 1. Then
fn+m,k f is an injective map from An+m to An , a contradiction.
4) We fix m > 0 and do induction on n. If n = 0, there is no surjective map
from A0 to Am , since we 0 Am does not have a preimage. Assume there is no
surjective map from An toAn+m for some n. Assume to get a contradiction that there
is a surjective map from An+1 toAn+m+1 . Let a = f (n + 1). Then there is a surjective
map from An to An+m defined by the restriction of f to An postcomposed with the
1
map fn+m,a
. 2
Exercise 2
Exercise 3 Given a finite set, there is exactly one n N such that S has the same
cardinality as An .
One may also say simply that S has cardinality n.
The set N is not finite. Namely, if it was, then there was an injective map from
N An for some n. This map could be restricted to An+1 , giving an injective map
from An+1 to An , which is impossible.
We have the following observations, destroying hope to have staright forward
generalizations of the theorems for finite sets.
Lemma 3
Lemma 6 (Schr
oder Bernstein) This relation is a partial order in that it satisfies
1. Reflexivity: S S for all sets S.
2. Antisymmetry: S T and T S implies S = T .
3. Transitivity S T and T U implies S U .
Proof: Reflexity follows by appealing to the identity map, Transitivity follows by
composition of two injective maps. The only non-trivial statement is the antisymmetry.
Suppose we have injective maps f : X Y and g : Y X. Define a new
injective map h : X Y X Y by h(z) = f (z) if x X and h(z) = g(z) if z Z.
Define Z0 = X Y . Define Z1 = {z Z0 : z 0 Z : f (z 0 ) = z} Then this
0
z is unique and we may define (z) = z 0 . Assume Zn Z is defined, then define
Zn+1 = {(z) : z Zn Z1 }.
Now define the order of z Z to be the supremum of all n with z Zn .
Now define the map k : Z Z as follows:
1. k(z) = h(z) if z has even finite order.
2. k(z) = (z) if z has odd finite order.
3. k(z) = h(z) if z has infinite order and z X
4. k(z) = (z) if z has infinite order and z Y
Then clearly k(k(z) = z for all z, and k maps X to Y and Y to X. hecne k,
restricted to X, is a bijection from X to Y . 2
2
The statement of the next Lemma, which is essentially the axiom of choice, is
that we could have defined the order alternatively as follows, usiong surjective maps
instead of injective maps.
For two nonempty sets, S T if there is a surjective map from T to S. For the
empty set we have S for all sets and S if and only if S = .
Lemma 7 (Axiom of Choice) There exists a surjective map from T to S if and
only if S is not empty and there exists an injective map from S to T .
Proof: The if part follows by the following easy argument. Assume S is not
empty, and assume there is an injective map S T . We need to prove that there is
a surjective map T S. let f : S T be the injective map that is assumed to exist
and pick s S which exists since S is not empty. Define a surjective map as follows:
If t T is in the range of T , define g(t) = s for the unique s such that f (s) = t. If
t T is not in the range of f , define g(t) = s. Then this map is surjective, since for
every s0 S we have s0 = g(f (s)).
The only if part is follows from the axiom of choice. Given a surjective map
g : T S. Note that for every s S there exists t T with g(t) = s. That we
can choose one t for every s and build a function out of that with f (s) = t for these
chosen elements is precisely the axiom of choice. Clearly this map is injective, for
assume f (s) = f (s0 ) for two elements s, s0 . then s = g(f (s) = g(f (s0 ) = s0 . 2
The axiom of choice is a noteworthy axiom of set theory. In is usually source
ofexistence proofs which are highly non-constructive. In general, the injective map
given by the above lemma is not constructive. In some cases, for example when T is
foinite, one can construct the injective map as we have done before. This is a case
when the set theoretic axiom is not really needed and one gets away with other, les
contentious axioms.
Exercise 4 If T is the power set of S, then S T .
Our final major goal is to prove:
Theorem 1 The order is a total order, that is for any two sets S and T we have
S T or T S.
Definition 4 Assume S is a partially ordered set.
1. S is called totally ordered, if for any x, y S we have x y or y x.
2. S is called well ordered, if it is totally ordered and every subset T of S has a
minimal element, that is an element t T such that t s for every s T .
Lemma 8 Let S and T be two well ordered sets. Then one of the following two
statements is true
1. There is an injective monotone map S T and an element t T such that the
range of the map is the set of all t0 T with t0 < t.
2. There is an injective monotone map T S and an element s S such that
the range of the map is the set of all s0 S with s0 < s.
Proof: Consider the set T0 of all t T such that there exists s S and a order
preserving isomorphism from {t0 T : t0 < t} to {t0 T : t0 < t}. T0 is not empty,
since it contains the minimal element of T . T We claim for given t T0 this element
s is unique. For assume not and we have two such elements s1 and s2 , assume w.l.o.g.
s1 < s2 and two isomoprhisms f1 and f2 . Let t0 be the minimal element in T0 for
which f1 (t0 ) 6= f2 (t0 ) and let S 0 be the common range of f1 and f2 on the set of
elements smaller than t0 . But then clearly f1 (t0 ) and f2 (t0 ) have to be the smallest
element in S \ S 0 . A contradiction.
Define a function f on T0 by this map to the unique s. It is order preserving and
bijective. If T0 = T then we are done. If T0 6= T , choose t minimal in T \ T0 . Note
that if f was not surjective, then we could find minimal s in the complement of the
range of f and then note t T0 by associatiung it with this minimal element. This
si a contradiction, hence f is surjective. 2
It then remains to prove
5
Exercise 5 Let X be a countable set, each of its elements being a countable set again.
S
Then Y X Y is countable.
Lemma 12 The set of nonnegative real numbers has the same cardinality as the
power set of N.
Proof: The identitfication of real numbers with Dedkind cust gives an injective
map from R to the power set of D (which is equivalent to N) to R. To get an injective
map from the power set of N to R, we consider thes et of all sequences with values
P
0 and 1 only and map it injectively to R via an
0 an n+n (0). 2