If , any open cover contains a member containing . Such a member is either or a ray with . It therefore contains every element of , so that single member is already a subcover.
Conversely suppose is nonempty and has no smallest element. Then
is an open cover of : for any , the lack of a minimum gives an below . A nonempty finite subcollection has union , where is the smallest of its thresholds. It misses . The empty subcollection cannot cover nonempty either. Hence there is no finite subcover, and is not compact. Thus compactness is equivalent to having a smallest element.

Articles by others on the same topic (0)

There are currently no matching articles.