Continuous Mapping from Compact Space to Hausdorff Space Preserves Local Connectedness

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T_1 = \struct {S_1, \tau_1}$ be a compact topological space.

Let $T_2 = \struct {S_2, \tau_2}$ be a $T_2$ (Hausdorff) space.

Let $f: T_1 \to T_2$ be a continuous mapping.

Let $T_1$ be locally connected.


Then $T_2$ is also locally connected.


Proof

Let $H$ be a component of an open set $U$ of $T_2$.

By definition of continuous mapping, $f^{-1} \sqbrk U$ is an open set of $T_1$.

Let $G$ be a component of $f^{-1} \sqbrk U$.

Thus by Continuous Image of Connected Space is Connected, $f \sqbrk G$ is connected in $T_2$.

Thus either:

$f \sqbrk G \subseteq H$

or:

$f \sqbrk G \cap H = \O$

Thus every component of $f^{-1} \sqbrk H$ is a component of $f^{-1} \sqbrk U$.


From Component of Locally Connected Space is Open, $f^{-1} \sqbrk H$ is open.

Let $S_1 \setminus G$ denote the complement of $f^{-1} \sqbrk H$ relative to $S_1$.

By definition of closed set, $S_1 \setminus f^{-1} \sqbrk H$ is closed in $T_1$.

From Closed Subspace of Compact Space is Compact, $S_1 \setminus f^{-1} \sqbrk H$ is also compact in $T_1$.

From Continuous Image of Compact Space is Compact, $f \sqbrk {S_1 \setminus f^{-1} \sqbrk H} = S_2 \setminus H$ is compact in $T_2$.

From Compact Subspace of Hausdorff Space is Closed, $S_2 \setminus H$ is closed in $T_2$.

Thus by definition of closed set, $H$ is open in $T_2$.


$\blacksquare$


Sources