Paper 4, Section II, D
(a) Define what it means for a set to be countable.
(b) Let be an infinite subset of the set of natural numbers . Prove that there is a bijection .
(c) Let be the set of natural numbers whose decimal representation ends with exactly zeros. For example, and . By applying the result of part (b) with , construct a bijection . Deduce that the set of rationals is countable.
(d) Let be an infinite set of positive real numbers. If every sequence of distinct elements with for each has the property that
prove that is countable.
[You may assume without proof that a countable union of countable sets is countable.]
Typos? Please submit corrections to this page on GitHub.