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.
Articles by others on the same topic
There are currently no matching articles.