Solution

ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2005/d/1/iii/solution

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!