Solution

ID: past-exam-of-the-topology-course-of-the-university-of-oxford/2021/1/e/ii/solution

does not have sequential compactness. Take the sequence
Every 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!