Lecture 9: Cardinality. a n. 2 n 1 2 n. n=1. 0 x< 2 n : x = :a 1 a 2 a 3 a 4 :::: s n = s n n+1 x. 0; if 0 x<

Size: px

Start display at page:

Download "Lecture 9: Cardinality. a n. 2 n 1 2 n. n=1. 0 x< 2 n : x = :a 1 a 2 a 3 a 4 :::: s n = s n n+1 x. 0; if 0 x<"

Thomasina Carol Bradford
6 years ago
Views:

1 Lecture 9: Cardinality 9. Binary representations Suppose fa n g n= is a sequence such that, for each n =; 2; 3;:::, either a n =0ora n = and, for any integer N, there exists an integer n>n such that a n = 0. Then for n =; 2; 3;:::, so the innite series 0 a n 2 n 2 n X n= converges to some real number x by the comparison test. Moreover, 0 x< a n 2 n X n= 2 n =: We call the sequence fa n g n= the binary representation for x, and write x = :a a 2 a 3 a 4 :::: Exercise 9.. Suppose fa n g n= and fb n g n= are both binary representations for x. Show that a n = b n for n =; 2; 3;:::. Now suppose x 2 R with 0 x <. Construct a sequence fa n g n= as follows: If 0 x< 2, let a = 0; otherwise, let a =. For n =; 2; 3;:::, let and set a n+ =if and a n+ = 0 otherwise. s n = nx i= a i 2 n s n + 2 n+ x Lemma With the notation as above, s n x<s n + for 2 n n =; 2; 3;:::. Proof Since 0; if 0 x< s = 2, 2 ; if 2 x<; it is clear that s x < s +. So suppose 2 n > and s n, x < s n, +. If 2 n, s n, + x, then 2 n a n = and s n = s n, + 2 n x<s n, + 2 n, = s n, + 2 n + 2 n = s n + 2 n : 9-

2 Lecture 9: Cardinality 9-2 If x<s n, + 2 n, then a n = 0 and s n = s n, x<s n, + 2 n = s n + 2 n : P a Proposition With the notation as above, x = n n= 2 n : Proof Given >0, choose an integer N such that 2 N <. Then, for any n>n,it follows from the lemma that Hence js n, xj < 2 n < 2 N <: x = lim n! s n = Lemma With the notation as above, given any integer N there exists an integer n>n such that a n =0. Proof If a n = for n =; 2; 3;:::, then x = X n= X n= 2 n =; contradicting the assumption that 0 x <. Now suppose there exists an integer N such that a N = 0 but a n = for every n>n. Then x = s N + X n=n + 2 n = s N, + X n=n + a n 2 n : 2 = n s N, + 2 N ; implying that a N =, and thus contradicting the assumption that a N =0. Combining the previous lemma with the previous proposition yields the following result. Proposition With the notation as above, x = :a a 2 a 3 a 4 :::: Thus we have shown that for every real number 0 x< there exists a unique binary representation. 9.2 Cardinality Denition A function ' : A! B is said to be a one-to-one correspondence if ' is both one-to-one and onto. Denition We say sets A and B have the same cardinality if there exists a one-to-one correspondence ' : A! B. We denote the fact that A and B have the same cardinality by writing jaj = jbj.

3 Lecture 9: Cardinality 9-3 Exercise 9.2. Dene a relation on sets by setting A B if and only if jaj = jbj. Show that this relation is an equivalence relation. Denition Let A be a set. If A has the cardinality of the set f; 2; 3;:::;ng, n 2 Z +, we say A is nite and write jaj = n. If A has the cardinality ofz +,wesay A is countable and write jaj 0. Example If we dene ' : Z +! Zby '(n) = n, 2, n 2 ; if n is odd, ; if n is even, then ' is a one-to-one correspondence. Thus jzj 0. Exercise Let A be the set of even integers. Show that jaj 0. Exercise (a) Let A be a nonempty subset of Z +. Show that A is either nite or countable. (b) Let A be a nonempty subset of a countable set B. Show that A is either nite or countable. Proposition Suppose A and B are countable sets. Then the set C = A[B is countable. Proof Suppose A and B are disjoint, that is, A\B = ;. Let ' : Z +! A and : Z +! B be one-to-one correspondences. Dene : Z +! C by, ' n+, 2 ; if n is odd, n 2 (n) = ; if n is even. Then is a one-to-one correspondence, showing that C is countable. If A and B are not disjoint, then is onto but not one-to-one. However, in that case C has the cardinality of an innite subset of Z +, and so is countable. Denition A nonempty set which is not nite is said to be innite. An innite set which is not countable is said to be uncountable. Exercise Suppose A is uncountable and B A is countable. Show that A n B is uncountable. Proposition Suppose A and B are countable. Then C = A B is countable. Proof Let ' : Z +! A and : Z +! B be one-to-one correspondences. Let a i = '(i) and b i = (i). Dene : Z +! C by letting () = (a ;b ); (2) = (a ;b 2 ); (3) = (a 2 ;b );

4 Lecture 9: Cardinality 9-4 (4) = (a ;b 3 ); (5) = (a 2 ;b 2 ); (6) = (a 3 ;b ); (7) = (a ;b 4 );. That is, form the innite matrix with (a i ;b j ) in the ith row and jth column, and then count the entries by reading down the diagonals from right to left. Then is a one-to-one correspondence and C is countable. Proposition Q is countable. Proof By the previous proposition, Z Zis countable. Let A = f(p; q) :p; q 2 Z;q >0;p and q relatively primeg: Then A is innite and A Z Z, so A is countable. But clearly jqj = jaj, soq is countable. Proposition Suppose for each i 2 Z +, A i is countable. Then B = S i= A i is countable. Proof Suppose the sets A i, i 2 Z +, are pairwise disjoint, that is, A i \ A j = ; for all i; j 2 Z +. For each i 2 Z +, let ' i : Z +! A i be a one-to-one correspondence. Then : Z + Z +! B dened by (i; j) =' i (j) is a one-to-one correspondence, and so jbj = jz + Z + j 0. If the sets A i, i 2 Z +, are not disjoint, then is onto but not one-to-one. But then there exists a subset P of Z + Z + such that : P! B is a one-to-one correspondence. Since P is an innite subset of a countable set, P is countable and so jbj 0. If in the previous S proposition we allow that, for each i 2 Z +, A i is either nite or countable, then B = i= A i will be either nite or countable. Denition Given a set A, the set of all subsets of A is called the power set of A, which we denote P(A). Example If A = f; 2; 3g, then P(A) =f;; fg; f2g; f3g; f; 2g; f; 3g; f2; 3g; f; 2; 3g: Proposition If A is nite with jaj = n, then jp(a)j =2 n. Proof Let B = f(b ;b 2 ;:::;b n ):b i =0orb i =;i=; 2;:::;ng

5 Lecture 9: Cardinality 9-5 and let a ;a 2 ;:::;a n be the elements of A. Dene ' : B!P(A) by letting '(b ;b 2 ;:::;b n )=fa i : b i =;i=; 2;:::;ng: Then ' is a one-to-one correspondence. The result now follows from the next exercise. Exercise With B as in the previous proposition, show that jbj =2 n. A. In analogy with the case when A is nite, we let 2 jaj = jp(a)j for any nonempty set Denition Suppose A and B are sets for which there exists a one-to-one function ' : A! B but there does not exist a one-to-one correspondence : A! B. Then we write jaj < jbj. Theorem If A is a nonempty set, then jaj < jp(a)j. Proof Dene ' : A!P(A) by '(a) = fag. Then ' is one-to-one. Now suppose : A!P(A) is any one-to-one function. Let C = fa : a 2 A; a =2 (a)g: Suppose there exists a 2 A such that (a) = C. Then a 2 C if and only if a =2 C, an obvious contradiction. Thus C is not in the range of, and so is not a one-to-one correspondence. Lemma Let A be the set of all sequences fa i g i= with a i = 0 or a i = for each i =; 2; 3;:::. Then jaj = jp(z + )j. Proof Dene ' : A!P(Z + )by Then ' is a one-to-one correspondence. ' ((fa i g i= )=fi : i 2 Z+ ;a i =g: Now let B be the set of all sequences fa i g i= in A such that for every integer N there exists an integer n>n such that a n = 0. Let C = A n B, D 0 = ffa i g i= : a i =;i=; 2; 3;:::g; and D j = ffa i g i= : a j =0;a k = for k>jg for j =; 2; 3;:::. Then jd 0 j = and jd j j =2 j, for j =; 2; 3;:::. Moreover, C = [ j=0 D j ;

6 Lecture 9: Cardinality 9-6 so C is countable. Since A = B [C, and A is uncountable, it follows that B is uncountable. Now ifwe let I = fx : x 2 R; 0 x<g; we have seen that the function ' : B! I dened by ' (fa i g i=) =:a a 2 a 3 a 4 ::: is a one-to-one correspondence. It follows that I is uncountable. As a consequence, we have the following result. Proposition R is uncountable. Exercise Let I = fx : x 2 R; 0 x<g. Show that (a) jij = jfx : x 2 R; 0 x gj (b) jij = jfx : x 2 R; 0 <x<gj (c) jij = jfx : x 2 R; 0 <x<2gj (d) jij = jfx : x 2 R;, <x<gj Exercise Let I = fx : x 2 R; 0 x<g and suppose a and b are real numbers with a<b. Show that jij = jfx : x 2 R;a x<bgj: Exercise Does there exist a set A R for 0 < jaj < 0? (Before working too long on this probem, you may wish to read about Cantor's continuum hypothesis.)

6 CARDINALITY OF SETS

6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means