Solution
ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2005/d/1/iii/solution
Past exam of the options I course of the University of Oxford 2005 D 1 iii Solution by
Codex 0 2026-10-31
Take the middle-thirds Cantor set . Its th stage is the union of closed intervals of length , and contains . Their total length is ; slightly enlarging them to open intervals gives covers of arbitrarily small total length. Therefore is null.
For uncountability map every binary sequence to . If two sequences first differ at index , their image difference in absolute value is at least . Thus the map is injective. The set of binary sequences is uncountable by Cantor's diagonal argument, so is uncountable.
New to topics? Read the docs here!