# Closure of connected set imply connected?

Prove or disprove: The closure of a connected set in $\mathbb{R}$ is always connected.

Response: I don't really have a grasp on this conceptually, but here's an attempt. Proof: Let $X$ be a connected subset of $R$, and let $Z$ be the closure of $X$. Suppose (to get a contradiction) that $Z$ is disconnected. That means there are two nonempty open subsets of $R$ covering $Z$, call them $U$ and $V$, such that $U\cap Z$ and $V\cap Z$ are nonempty while $U\cap V\cap Z$ is empty.

Then $U$ and $V$ cover $X$ also. And since $U\cap V\cap X \subseteq U\cap V\cap Z$, then $U\cap V\cap X$ is empty. Pick points $u\in U\cap Z$ and $v\in V\cap Z$ (which exist since those sets are nonempty). That means $u$ is in the closure of $X$ and $U$ is an open neighborhood of $u$, so $U\cap X$ is nonempty. Similarly, $V\cap X$ is nonempty.

But then the previous paragraph shows that $X$ is disconnected, which is a contradiction, so $Z$ must have actually been connected.

-
Have a look here: at.yorku.ca/cgi-bin/… – Lucien Nov 8 '12 at 15:39
In the case of $\mathbb{R}$, a set is connected if and only if it is an interval. – Michael Greinecker Nov 11 '12 at 0:39

You can get started simply with definitions. You will need the definition of connectedness, and you will need to understand that we are using the subspace topology to determine connectedness of subsets.

Suppose $S$ is a connected subset of $X$, and that $O$ and $U$ are disjoint open subsets of $X$ such that $O\cup U\supseteq \overline{S}$. We will show that one of $O$ or $U$ contains $\overline{S}$ and the other does not intersect $\overline{S}$, proving that $\overline{S}$ is connected.

Certainly $O\cup U\supseteq S$, therefore by connectness of $S$ we have that (...?) (Draw conclusions about where $\overline{S}$ must live.)

-

Do you know any definition or property of connectivity? A good one is that if $X$ is connected then any continuous $f : X \to \{0, 1\}$ must be constant. Say $\forall x \in X$, $f(x) = 1$. How can you extend this to the closure of $X$ without destroying continuity? Note that this statement is not restricted to $\mathbb{R}$.

-

I will prove this through contradiction. Let $\overline{S}$ be disconnected, such that there exists $A, B$ disjoint, closed sets which don't intersect $\overline{S}$. Let $S$ be connected, such that there exists $A, B$ disjoint, closed sets with $S\subseteq A \cup B$, where either $A$ or $B$ intersects $S$. Let $S\subseteq A$, then $\overline{S}\subseteq \overline{A} = A$, which is a contradiction to our statement that $S$ is disconnected. Therefore, the closure of a connected set in $\mathbb{R}$ is always connected.

-