Solution

ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2009/e/e2/b/ii/solution

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.

New to topics? Read the docs here!