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

Articles by others on the same topic (0)

There are currently no matching articles.