Suppose were compact. By the compact subset of a Hausdorff space theorem, it would be closed in , hence closed in . The singleton is also closed in the Hausdorff space : each other point has an open neighbourhood avoiding .
Consequently both and are clopen in . They are disjoint, nonempty, and cover , giving a separation of a topological space in contradiction to the connectedness of . Thus is not compact.
Articles by others on the same topic
There are currently no matching articles.