5

This question is a slight modified version of Compact Connected Hausdorff Space has no compact component in the complement of a point

Let $X$ be a Hausdorff Compact Connected Space. Prove that $X∖\{x\}$ has no compact component (here a component is a maximal connected subspace).

(My attempt is in the question linked above)

Jonas Gomes
  • 3,087
  • It's true if $X$ is locally connected, at least, with an easy proof (the component would be non-trivial clopen subset of $X$). This fact should hold for all $x$, right? – Henno Brandsma Jan 17 '15 at 07:10

1 Answers1

4

In this answer the following lemma is proved:

Lemma

Let $X$ be a Hausdorff space and $C \subset X$ have a compact neighbourhood $K$. Then $C$ is a component of $X$ if and only if $C$ is a component of $K$

Also:

Let $X$ be a compact Hausdorff space, $Y$ an open subspace and $Z$ a closed subspace. Let $C$ be a connected subset of $Y \cap Z$ such that $C$ is a component of $Y$ and a component of $Z$. Then $C$ is a component of $Y\cup Z$.

which can be simplified to (as per the remark by Hamcke on that answer): if $X$ is a compact normal space and $Y$ is an open subset of $X$, then a compact connected component of $Y$ is also a connected component for $X$.

This applies directly to your question: your $X$ is compact and normal (follows from compact plus Hausdorff) and $Y = X \setminus \{x\}$ is open, and if $C$ were a compact component of $Y$ it would be one for $X$ but this cannot be, as the only connected component for $X$ is $X$ itself.

Henno Brandsma
  • 242,131