Solution

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

If the intersection were empty, the open complements would cover the compact space. A finite subcover would give an empty finite intersection of the corresponding . But the sets are nested, so any finite intersection is the set with largest index, which is nonempty. This contradiction proves
This is the nested-closed-set form of the finite intersection property for compact spaces.

New to topics? Read the docs here!