Es sei X {\displaystyle {}X} ein Hausdorff-Raum, Y ⊆ X {\displaystyle {}Y\subseteq X} eine kompakte Teilmenge und P ∉ Y {\displaystyle {}P\notin Y} ein Punkt. Zeige, dass es offene disjunkte Mengen U , V ⊆ X {\displaystyle {}U,V\subseteq X} mit Y ⊆ U {\displaystyle {}Y\subseteq U} und P ∈ V {\displaystyle {}P\in V} gibt.
