Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2015/2/c/v/solution

No countable subset works. For any countable set , choose : each nonempty interval is uncountable. The sequence tends to infinity, so every tail
is closed in and disjoint from . By part (i), is open in . These sets increase and cover , since no point belongs to every tail. But any finite selection is contained in its largest member, which still misses every quotient point in that member's remaining tail. The represent distinct singleton classes.
This is an open cover without a finite subcover, proving
The argument does not assume that is closed, bounded, or discrete. It is the noncompactness after collapsing a countable real subset obstruction.

New to topics? Read the docs here!