Assignment 7
Assignment 7
Assignment 7
7.6.23 Prove the union of two countable sets is countable.
Suppose both A and B are finite. Then A ∪ B is finite, and hence count-
able.
Suppose one of A and B is finite and the other is countably infinite. Assume
without loss of generality that A is finite. Since B is countably infinite, there
exists a function f : B 7→ Z+ which is a one-to-one correspondence. Say that
f (bi ) = i, for bi ∈ B and i ∈ Z+ . Let C = A − B. Thus A ∪ B = B ∪ C. If
C = ∅, then A ∪ B = B which is countably infinite. Thus assume that C 6= ∅.
Suppose that C = {c1 , c2 , ...cn }. Let f 0 : B ∪ C 7→ Z+ be defined as follows:
f 0 (cj ) = j and f 0 (bi ) = n + i. Clearly, f 0 is one-to-one and onto. Thus B ∪ C
is countable. But B ∪ C = A ∪ B, so A ∪ B is countable.
Suppose that both A and B are infinite and that A ∩ B = ∅. Given that A
and B are both countable, there exists functions f : Z+ 7→ A and g : Z+ 7→ B
that are one-to-one correspondences. Consider the function h : Z+ 7→ A ∪ B
where h(n) = f (n/2) if n is even and h(n) = g((n + 1)/2) if n is odd. Since
both f and g are one-to-one, then so is h. Similarly, since f is onto, every
element in A is covered and since g is onto, every element in B is coverd, so
h is onto. Therefore, h is a one-to-one correspondence, and hence h is countable.
7.6.24 Use the result of 7.6.23 to prove that the set of all irrational
numbers is uncountable.
Proof: Assume by way of contradiction that the set of all irrational numbers
is countable. We know that the rationals are countable. Since the real numbers
are the union of the irrationals and rationals, by 7.6.23, the real numbers must
be countable. This contradicts a theorem discussed in class. Therefore the ir-
rationals are uncountable.
1
Proof: Not Reflexive: For example, 1 6 C1, since 1 + 1 = 2.
Suppose that x, y ∈ A and xRt y. If xRy then we are done. Thus assume
that x 6 Ry. Assume by way of contradiction that there does no exist a sequence
of elements of A, x1 , x2 , ..., xn such that x = x1 , x1 Rx2 , x2 Rx3 , ..., xn−1 Rxn ,
and xn = y. Let S = Rt − {(x, y)}. Then S is a transitive relation that contains
R and is a proper subset of Rt . This contradicts the fact that Rt is the smallest
transitive relation containing R. Hense, the supposition is false, and the result
follows.
Proof: The distinct equivalence classes are: {...−8, −4, 0, 4, 8, ...}, {...−7, −3, 1, 5, 9, ...},
{... − 6, −2, 2, 6, 10, ...} and {... − 5, −1, 3, 7, 11, ...}.
2
is true because if z = 3k, then z 2 = 9k 2 = 3(3k 2 ), if z = 3k + 1, then
z 2 = (3k + 1)2 = 9k 2 + 6k + 1 = 3(3k 2 + 2k) + 1, and finally if z = 3k + 2,
thenz 2 = (3k + 2)2 = 9k 2 + 12k + 4 = 3(3k 2 + 6k + 1) + 1.
b. Proof: Suppose that (a, b)R(c, d). Therefore ad = bc. But then cb = da, so
(c, d)R(a, b).
c. Four distinct elements of [(1, 3)] are (1, 3), (−1, −3), (2, 6), and (−2, −6)
(there are, of course, many others).
d. Four distinct elements of [(2, 5)] are (2, 5), (−2, −5), (4, 10), and (−4, −10).