Solution

ID: past-exam-of-the-options-ii-for-mathematics-and-philosophy-course-of-the-university-of-oxford/2013/e4/d/solution

Put . If some is empty, so is , which is connected. Otherwise the compact sets are closed in the Hausdorff ambient space, and can all be considered as nested nonempty closed subsets of the compact space . Part (a)(ii) gives , and is compact.
Suppose were disconnected. Part (c)(iii) gives disjoint ambient open sets covering , both meeting it. Part (a)(iii), applied within to , gives for some . Both and meet because they meet . Their intersections with would therefore disconnect , a contradiction. Thus

New to topics? Read the docs here!