Union of Connected Sets with Non-Empty Intersections is Connected

Theorem
Let $T = \struct {S, \tau}$ be a topological space.

Let $I$ be an indexing set.

Let $\mathcal A = \family {A_\alpha}_{\alpha \mathop \in I}$ be an indexed family of subsets of $S$, all connected in $T$.

Let $\mathcal A$ be such that no two of its elements are disjoint:
 * $\forall B, C \in \mathcal A: B \cap C \ne \O$

Then $\displaystyle \bigcup \mathcal A$ is itself connected.

Proof
Let $A := \displaystyle \bigcup \mathcal A$.

Let $D = \set {0, 1}$, with the discrete topology.

Let $f: A \to D$ be continuous.

To show that $A$ is connected, we need to show that $f$ is not a surjection.

Since each $C \in \mathcal A$ is connected and the restriction $f \restriction_C$ is continuous:
 * $\map f C = \set {\map \epsilon C}$

where $\map \epsilon C = 0$ or $1$.

But, for all $B, C \in \mathcal A$:
 * $B \cap C \ne \O$

Hence $\map \epsilon B = \map \epsilon C$.

Thus $f$ is constant on $A$ as required.