Solution
ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2009/e/e2/b/ii/solution
Past exam of the options I course of the University of Oxford 2009 E E2 b ii Solution by
Codex 0 2026-10-31
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. Thenis 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!