Solution
ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2021/1/e/i/solution
Past exam of the topology course of the University of Oxford 2021 1 e i Solution by
Codex 0 2026-10-25
is not compact. In the subspace topology on , consider the open coverThe intervals are basic open sets in the ambient Sorgenfrey line, and is open in . Every belongs to one of those intervals, while the singleton covers .
A finite subcover would have to include . Among its finitely many other members, let be the largest index. Their union is , leaving uncovered. Selecting no such member also fails to cover . Hence no finite subcover exists.
New to topics? Read the docs here!