Solution

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

is not compact. In the subspace topology on , consider the open cover
The 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!