Solution
ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2021/1/e/ii/solution
Past exam of the topology course of the University of Oxford 2021 1 e ii Solution by
Codex 0 2026-10-25
does not have sequential compactness. Take the sequenceEvery subsequence has usual limit of a sequence . If a subsequence converged in the subspace topology of the Sorgenfrey line, it would also converge in the usual subspace topology, since part (c) makes the identity function from the former to the latter continuous. Uniqueness of a limit of a sequence in the usual Hausdorff space therefore forces that limit of a sequence to be .
But is an open neighbourhood of in , and no term belongs to it. Thus no subsequence converges to in , proving the assertion.
New to topics? Read the docs here!