4.II.8E

Numbers and Sets | Part IA, 2006

Explain what it means for a set to be countable. Prove that a countable union of countable sets is countable, and that the set of all subsets of N\mathbb{N} is uncountable.

A function f:N→Nf: \mathbb{N} \rightarrow \mathbb{N} is said to be increasing if f(m)⩽f(n)f(m) \leqslant f(n) whenever m⩽nm \leqslant n, and decreasing if f(m)⩾f(n)f(m) \geqslant f(n) whenever m⩽nm \leqslant n. Show that the set of all increasing functions N→N\mathbb{N} \rightarrow \mathbb{N} is uncountable, but that the set of decreasing functions is countable.

[Standard results on countability, other than those you are asked to prove, may be assumed.]

Typos? Please submit corrections to this page on GitHub.