Cantor's Problems
1.6.3a, 1.6.5, 1.6.10
1.6.3
Supply rebuttals to the following complaints about the proof of Cantor's Diagonalization Method:
a. Every rational number has a decimal expansion, so we could apply this
same argument to show that the set of rational numbers between 0 and 1
is uncountable. However, because we know that any subset of
countable, the proof must be flawed.
b. Some numbers have two different decimal representations. Specifically,
any decimal expansion that terminates can also be written with repeating
9’s. For instance, 1/2 can be written as .5 or as .4999 . . . . Doesn’t this
cause some problems?
Proof
a. We know that any rational number's decimal expansion must have repeating digits (otherwise, it's irrational). But the constructed new number must have non-repeating digits (since it's different for each one for each of the repeating digits), so the new number must be irrational.
b. No this doesn't. If anything we can restrict the thought experiment to deal with one of the two cases. Alternatively, we can least each number with it's counterpart expansion, doubling the size of the list. Either way, we still would construct a number different from each version of the decimal expansion, so it's still a unique number not on the list.
☐
1.6.5
a. Let
b. If
Proof
a.
b. We'll do an induction on
For
For the inductive step suppose the case holds for
where
☐
1.6.10 (finish)
Determine if the sets have the same cardinality by finding a bijection, or showing one doesn't exist:
a. Is the set of all functions from
b. Is the set of all functions from
c. Given a set
Proof
a. It's countable. Consider the injection
(injective): Say
Since prime factorizations are unique, this implies that
We actually don't need to show surjectivity here, since we know that
b. It's countable. Consider again an injection
☐