If has a smallest element , any open cover has a member containing . This member is either the whole line or a ray with , so it already contains all of . Thus a single member suffices and is compact.
If has no smallest element, the family covers : each point has another point of below it. A finite subfamily has union , which misses its smallest listed endpoint, itself a point of . No finite subcover exists. Therefore a nonempty subset is compact exactly when it has a smallest element in this topology.

Articles by others on the same topic (0)

There are currently no matching articles.