For the topology consisting of the empty set, the whole real line, and upper open rays, a nonempty subset is compact exactly when it has a smallest element. An open set containing the smallest element contains the entire subset. Conversely, if there is no smallest element, the rays indexed by points of the subset cover it, but any finite selection misses its smallest chosen endpoint.

Articles by others on the same topic (0)

There are currently no matching articles.