Šura-Bura component lemma

ID: sura-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.

New to topics? Read the docs here!