Let be a compact Hausdorff space and let be compact subsets such that all finite intersections are nonempty and connected. Their total intersection is nonempty by the finite intersection characterization of compactness, and compact because it is closed in .
If were not connected, its separation of a topological space would divide it into two nonempty compact subsets. Separation of disjoint compact subsets gives disjoint ambient open sets containing the two pieces. The family consisting of and all has empty total intersection, so some finite subfamily has empty intersection. Hence a finite intersection of the lies in . Since meets both open sets, they disconnect , a contradiction. The hypothesis on all finite intersections is stronger than requiring each individual to be connected.
A subset is connected when it is a connected space in its subspace topology: there is no separation of a topological space
into two nonempty disjoint open subsets of . Equivalently, the only clopen sets of are and .
Since the given is not connected, choose such . Each is the complement of the other in , so both are also closed subsets of . They are compact by the closed subset of a compact space result. We now separate these two compact subsets by ambient open sets.
For each , part (b), applied to and , gives disjoint ambient open sets with and . Choose such that the cover , using its compactness. Define
Then , , and are disjoint open sets. Indeed a point of lies in some , whereas every point of lies in the corresponding . Consequently
This proves the requested ambient separation, using the more general separation of disjoint compact subsets. The initially given relatively open sets need not themselves be open in ; the finite construction supplies ambient open neighbourhoods.