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.
Use the arcs and points of the noncompact counterexample to the Šura-Bura lemma, and add the central ray to form . Define . Each graph tail is connected because its arcs meet the ray. Its relative closure in adds just , so each is closed and connected. These sets decrease and have intersection , which is compact and disconnected. The ambient is connected and Hausdorff but noncompact.

Articles by others on the same topic (0)

There are currently no matching articles.