Solution
ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2015/2/c/v/solution
Past exam of the topology course of the University of Oxford 2015 2 c v Solution by
Codex 0 2026-10-31
No countable subset works. For any countable set , choose : each nonempty interval is uncountable. The sequence tends to infinity, so every tailis 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, provingThe 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!