The quasicomponent of a point is the intersection of all its clopen neighborhoods. Every connected set containing the point lies in its quasicomponent, since a clopen set cannot split a connected set. In a compact Hausdorff space, quasicomponents equal connected components by the Šura-Bura component lemma.
In a compact Hausdorff space, the quasicomponent is connected and equals the connected component of . If were a nontrivial separation, disjoint open neighborhoods of its compact pieces leave a compact complement missing . Finitely many clopen neighborhoods of intersect to a clopen containing inside . The piece is then clopen in the whole space, contains , and misses the nonempty other piece, contradicting the definition of . This also proves that any neighborhood of a component contains a clopen neighborhood of that component, by compactness of its complement.

Articles by others on the same topic (0)

There are currently no matching articles.