By the pasting together theorem (and other previous work), is a bijection
Proof.
Let be the function
1
2
3
4
5
6
7
...
0
1
-1
2
-2
3
-3
...
Since this is a non repeating list that covers all of it defines a bijection .
Principle: To construct a bijection from , it suffices to enumerate the elements in in a list with no repeats. The pattern must be obvious.
Theorem. Let be the relation on sets given by if . Then is an equivalence relation.
Proof.
(Reflexive)
Let be a set. Then is a bijection, so so
(Symmetric)
Let A, B be sets. Assume that . Then , so there exists a bijection . Then is a bijection so .
(Transitive)
Let be sets. Assume that and . Then there exists bijections and . Then is a bijection, so i.e. .
The cardinality of A is a name we give to the equivalence class of A under .
"aleph-nought". Things in this equivalence class are called countably infinite. It is the smallest infinite cardinality. the first letter of the Hebrew alphabet.
Theorem: If is an infinite subset of a countably infinite set, then Proof. Without loss of generality, we may assume that . Let be the least element of . Let be the least element of . Repeat. Let be the least element of . So is an infinite, non-repeating list that covers all of A. So .
HW 28
Ben Finch
E 28.1
a) False. {1, 2} and {a, b, c} do not have the same cardinality.
b) True. Per the definition of a function, each must be the component of exactly one element in . So .
c) False. {1} but it is not countably infinite.
d) False. Some infinite sets are not countable, so they could have a cardinality of or higher.
e) False. Let A = {1, 2, 3}. Let B = {4, 5}. Let {(1, 4), (2, 5), (3, 4)}. We see that is surjective but .
E 28.2 Proof.
We first aim to prove that that the set of those natural numbers with exactly one digit equal to 7 is infinite. Suppose by way of contradiction that there this set is finite. Suppose that is the greatest element of this set. Now replace any digits of equal to with . Then multiply by this number ten and add seven. Call this number . We see that but is still in the set of natural numbers with exactly one digit equal to seven. So the set of natural numbers with exactly one digit equal to 7 is infinite. Per theorem 28.14, this set is also countably infinite, since it is a subset of the natural numbers, which is countably infinite.
E 28.3
Let for some . Then since adding any two squares of integers will always be an integer. Per theorem 28.4, the cardinalities of and are the same. Per theorem 28.14, any subset of a countably infinite set is countably infinite. Therefore, since ,
E 28.4
We see that for every in , there is a in . Since is positive, is also positive, and thus is positive. Also, is less than 1 because the numerator is always less than the denominator . Therefore, exists in for each in .
We now prove that is a bijection.
(Injective)
Let . Assume that . We find
(Surjective)
Let . Define .
We find
So is surjective.
So is a bijection.
Since is a bijection, it follows that and have the same cardinality.
E 28.5
Let
We see that for every in , there is a in . Since is negative, -x is positive, is negative, and thus is negative. Also, is greater than -1 but less than 0 because the numerator is always greater than the denominator (where is negative). Therefore, exists in for each in .
(Injective)
Let . Assume that . We find
So is injective.
(Surjective)
Let . Define . We find
So is surjective.
Since is both injective and surjective, is bijective.
E 28.6
Define
We know that the first two parts of are bijective from the previous two exercises. If then is bijective since and the identity function is a bijection. By the pasting together theorem, since each part of is bijective, is bijective.
Let . Let .
We see that for every , there exists a in .
(Injective)
Let . Assume that . We find
So is injective.
(Surjective)
Let . Define . We find
So is surjective.
Since is surjective and injecting, is bijective.
We now form a composition of and . Then is a bijection since both and are bijections, per theorem 26.12. Since there exists a bijection from to , .
E 28.7
Let B be a countable set. Let . Then . Also, in order for B to be countable, . Since , then . So is countable.
E 28.8
()
Assume some set is countable. By definition, a set is countable if it is finite or if it has the same cardinality as the set of natural numbers . If is finite, we can define an injective function from to by assigning each element in to a unique natural number. If is infinite and countable, it can be listed in a sequence . We can then define such that , which is injective since each element in is mapped to a unique natural number.
()
Let be a set. Assume there exists an injective function . An injective function from to ensures that each element of is mapped to a distinct natural number. This mapping creates a sequence of elements in based on their corresponding natural numbers in . This sequence will list a subset of , showing that is countable (Theorem 28.14). If is finite, it is obviously countable. If is infinite, since it can be put into a one-to-one correspondence with a subset of , it is countable.
Thus, we conclude that a set is countable if and only if there exists an injective function .