Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2013/e4/a/iii/solution

Suppose no is contained in . Then are nested nonempty closed subsets of the compact space. Part (ii) gives a point in their intersection. Such a point lies both in and outside , contradicting the hypothesis. Thus some , and nesting gives
Compactness upgrades containment of the limiting intersection to eventual containment of the whole nested sets.

New to topics? Read the docs here!