Book of Proof - Amazon S3
Book of Proof - Amazon S3
Book of Proof - Amazon S3
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
296 Solutions<br />
11. Partition N into 8 countably infinite sets.<br />
For each i ∈ {1,2,3,4,5,6,7,8}, let X i be those natural numbers that are congruent<br />
to i modulo 8, that is,<br />
X 1 = {1,9,17,25,33,...}<br />
X 2 = {2,10,18,26,34,...}<br />
X 3 = {3,11,19,27,35,...}<br />
X 4 = {4,12,20,28,36,...}<br />
X 5 = {5,13,21,29,37,...}<br />
X 6 = {6,14,22,30,38,...}<br />
X 7 = {7,15,13,31,39,...}<br />
X 8 = {8,16,24,32,40,...}<br />
13. If A = {X ⊂ N : X is finite }. Then |A| = ℵ 0 .<br />
Pro<strong>of</strong>. This is true. To show this we will describe how to arrange the items <strong>of</strong><br />
A in an infinite list X 1 , X 2 , X 3 , X 4 ,....<br />
For each natural number n, let p n be the nth prime number, that is p 1 =<br />
2, p 2 = 3, p 3 = 5, p 4 = 7, and so on. Now consider any element X ∈ A, so X =<br />
{n 1 , n 2 , n 3 ,..., n k }, where k = |X| and n i ∈ N for each 1 ≤ i ≤ k. Define a function<br />
f : A → N as follows: f (X) = p n1 p n2 ··· p nk . That is, we treat X ∈ A as an “index"<br />
for the prime sequence and just map the entire set to the product <strong>of</strong> all the<br />
primes with corresponding index. For example, take the set X = {1,2,3}. Then<br />
f (X) = f ({1,2,3}) = p 1 p 2 p 3 = 2 · 3 · 5 = 30.<br />
Note that f is an injection from A to N. Assume f (X) = f (Y ). Then, by definition<br />
<strong>of</strong> the function, f (X) = p n1 p n2 ··· p nk . Similarly, f (Y ) = p m1 p m2 ··· p ms . By the<br />
fundamental theorem <strong>of</strong> arithmetic, these are the prime decompositions <strong>of</strong> each<br />
f (X) and f (Y ). Furthermore, the fundamental theorem guarantees that these<br />
decompositions are unique. Hence {n 1 , n 2 ,..., n k } = {m 1 , m 2 ,..., m s } or X = Y .<br />
This means each finite set X ⊆ N is associated with a unique natural number<br />
f (X). Thus we can list the elements in X in A in increasing order <strong>of</strong> the<br />
numbers f (X). The first several terms <strong>of</strong> this list would be<br />
{1}, {2}, {3}, {1,2}, {4}, {1,3}, {5}, {6}, {1,4}, {2,3}, {7},...<br />
It follows that A is countably infinite.<br />
■<br />
Section 13.3 Exercises<br />
1. Suppose B is an uncountable set and A is a set. Given that there is a surjective<br />
function f : A → B, what can be said about the cardinality <strong>of</strong> A?