General Topology – Properties of Locally Compact Connected Hausdorff Spaces

connectednessgeneral-topology

In Chapter $5$, Section $4$ of the book Continuum theory by Sam B. Nadler, Jr., the auther defines $\sigma$-connectedness (Definition $5.15$) to be the property of not being a disjoint union of countably many (including finitely many) and more than one nonempty closed subsets. It is well known (for example, see here) that a continuum (i.e. compact, connected and Hausdorff space) is $\sigma$-connected. Continuum theory gives an example (Example $5.14$) that shows that compactness cannot be weakened to local compactness. This link gives an essentially same counterexample (see Figure $1$).

On the other hand, in the link above, the authors say that a locally compact, connected, Hausdorff and locally connected spaces is $\sigma$-connected by using one point compactification. However, they admit that they could not find a reference for the generalized result (the second footnote).

So my question is: Is the generalized result true, which is to say, a locally compact, connected, Hausdorff and locally connected space cannot be written as a countable disjoint union of nonempty closed subsets?

Best Answer

I think you can simply adapt the proof as in the case for the continuum.

We may of course restrict ourselves to the case in which $X$ is compact by considering the one point compactification if needed (I can spell out the details if needed). For simplicity we say that a space is good if it is Hausdorff, connected, compact, and locally connected. Observe that for good spaces the Baire category theorem holds. In particular we have that if $X$ is a good space and it is union of a disjoint family of closed sets $(C_i)_{i\in\omega}$ (which we may assume are all non empty) then we have that the sets $D_i=X\setminus (C_i\setminus int({C_i}))$ are open dense. In particular this means $\cap_{i\in\omega} D_i=\bigcup_{i\in\omega} int(C_i)$ is a dense, disconnected, open proper subset of $X$.

Lemma: For any good space $X$ that is dijoint union of countably many closed sets $(C_i)_{i\in\omega}$. Without loss of generality we may assume that all of the $C_i$ are non empty. We show that there is a good subspace $Y_1\subseteq X$ that does not intersect $C_1$ but intersects infinitely many $C_i$.

Proof: To do so we need to find a $y\in X$ and a compact connected neighborhood of $y$ that intersects infinitely many $C_i$. We have that for any $y$ and any connected neighborhood $U$ of $y$ either intersects exactly one closed set $C_i$ or infinitely many. This means in particular that for any $y\notin \bigcup_{i\in\omega}int(C_i)$ then any neighborhood of $y$ intersects infinitely many $C_i$. So we set $Y_1$ be a closed compact connected neighborhood of a $y\notin \bigcup_{i\in\omega}int(C_i)$.

Now to prove the main result we just iterate the process to get a descending chain of good subspaces $(Y_i)_{i\in\omega}$ of $X$ such that $Y_i\cap C_i=\emptyset$. By Cantor's theorem we have that $\bigcap_{i\in\omega} Y_i\neq\emptyset$ since each $Y_i$ is closed and compact. But this is absurd since any $z$ in that intersection cannot be contained in any $C_i$.

Edit: It is easy to check that if $X$ is Hausdorff and locally compact then then $X\cup\{\infty\}$ is Hausdorff and compact. Furthermore you can check that $X$ is connected and Hausdorff and not compact then so will $X\cup\{\infty\}$ (This is because any compact set of $X$ will be a closed proper subset) and every neighborhood of $\infty$ is connected. Now if $X=\bigcup_{i\in \omega} C_i$ such that none of the $C_i$ are empty, then $X\cup\{\infty\}=\bigcup_{i\in \omega} C_i \cup\{\infty\}$. That is to say if $X$ is a Hausdorff connect locally compact and connected space and it is the dijoint union of countably many closed sets then either $X$ is compact or the one point compactification of $X$ is the disjoint union of countably many closed sets. This allows us to restrict our attention to the good spaces. However looking back at the proof you can easily avoid doing this step since you do not use the compactness of $X$ to construct the descending sequences of good spaces $(Y_i)_{i\in\omega}$.