Search the corpus

    A compact union of two Hausdorff subspaces

    P-TOP-WORKSHOP-D4-04

    Area
    Topology
    Topics
    Compactness, Counterexamples, Hausdorff Spaces
    Status
    draft

    Let \(X\) be a compact space. If \(X=A\cup B\) with both \(A\) and \(B\) Hausdorff, must \(X\) be Hausdorff?

    Solution

    No. Let \(X=\{0,1\}\) with the Sierpiński topology \[ \tau=\{\varnothing,\{1\},X\}. \] The space \(X\) is finite, hence compact, but it is not Hausdorff because every neighborhood of \(0\) is all of \(X\), so \(0\) and \(1\) cannot be separated by disjoint open sets.

    Set \(A=\{0\}\) and \(B=\{1\}\). Each singleton, with its subspace topology, is Hausdorff, and \[ X=A\cup B. \] Thus a compact space can be the union of two Hausdorff subspaces without itself being Hausdorff.