Munkres Introduction to Topology: Section 23
Problem 11
Let $p : X \ \rightarrow \ Y$ be a quotient map. If each set $p^{-1}(\{y\})$ is connected, and if $Y$ is
connected, then $X$ is connected.
Assume that there exists a separation $A \ \cup \ B \ = \ X$. It would follow that each
$p^-1(\{y\})$ would have to be contained completely in either $A$, or $B$ (not both, or else
$A \ \cap \ p^{-1}(\{y\})$ and $B \ \cap \ p^-1(\{y\})$ would separate $p^{-1}(\{y\})$). Thus,
$A$ and $B$ are saturated open sets. Since a quotient map maps saturated open sets to open sets,
it follows that $p(A)$ and $p(B)$ are open set whose union is $p(X) \ = \ Y$ (from the surjectivity of
$p$). Assume that $p(A) \ \cap \ p(B) \ \neq \ \emptyset$. It would follow that there exists some $y$ such
that $p(a) \ = \ p(b) \ = \ y$, for $a \ \in \ A$ and $b \ \in \ B$. It would follow that $p^{-1}(\{y\})$ would
intersect both $A$ and $B$, which can't be the case. Thus, $p(A)$ and $p(B)$ are disjoint, and therefore
form a separation of $Y$. This is a contradiction, so $X$ must be connected.
Let $A \ \subset \ X$. If $C$ is a connected subspace of $X$ that intersects both $X$ and $X \ - \ A$, then $C$
intersects $\text{Bd} \ A$.
Assume that $C$ does not intersect $\text{Bd} \ A$. This implies that there exists no point of $C$ that is in both
$\bar{A}$ and $\overline{X \ - \ A}$. Consider some point $x \ \in \ C$. If $x \ \in \ C \ \cap \ A$, it follows that
there exists at least one neighbourhood of $x$ that does not intersect $X \ - \ A$ (or else $x \ \in \ \overline{X \ - \ A}$).
Similarly, if $x \ \in \ C \ \cap (X \ - \ A)$,
it follows that there exists at least one neighbourhood of $x$ that does not intersect $A$ (or else $x \ \in \ \bar{A}$).
We call such open sets $U_x$ for each $x$.
For each $x \ \in \ C$, consider the intersection $U_x \ \cap \ C$. Each of these sets are open in $C$. Now, consider:
$$U_{A} \ = \ \displaystyle\bigcup_{x} \ U_x \ \cap \ C \ \ \ \ \ \ x \ \in \ C \ \cap \ A$$
$$U_{X \ - \ A} \ = \ \displaystyle\bigcup_{x} \ U_x \ \cap \ C \ \ \ \ \ \ x \ \in \ C \ \cap \ X \ - \ A$$
Clearly, $U_A$ and $U_{X \ - \ A}$ form a separation of $C$, contradicting the fact that it is connected. Thus, $C$ must
intersect $\text{Bd} \ A$.