Equivalence of Definitions of Connected Topological Space/No Union of Separated Sets implies No Continuous Surjection to Discrete Two-Point Space

From ProofWiki
Jump to navigation Jump to search

Theorem

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

Let $T$ be such that there are no two non-empty separated sets whose union is $S$.


Then there exists no continuous surjection from $T$ onto a discrete two-point space.


Proof

Let $T = \struct {S, \tau}$ be a topological space such that there are no two non-empty separated sets whose union is $S$.

Let $D = \struct {\set {0, 1}, \tau}$ be the discrete two-point space on $\set {0, 1}$.

Aiming for a contradiction, suppose $f: T \to \set {0, 1}$ is a continuous surjection.

By definition of continuous mapping:

$\map {f^{-1} } 0$ and $\map {f^{-1} } 1$ are open sets of $T$.


From the definition of a mapping:

$\map {f^{-1} } 0 \cup \map {f^{-1} } 1 = S$

and

$\map {f^{-1} } 0 \cap \map {f^{-1} } 1 = \O$


Then:

$\map {f^{-1} } 0 = S \setminus \map {f^{-1} } 1$

and:

$\map {f^{-1} } 1 = T \setminus \map {f^{-1} } 0$

are clopen.

From Closed Set equals its Closure they are their respective closures.


It follows from the definition that $\map {f^{-1} } 0$ and $\map {f^{-1} } 1$ are separated subsets of $T$ whose union is $S$.

Hence, by hypothesis, one of them must be empty, and the other one must be $S$.

Therefore $f$ is constant, and so is not a surjection.

This contradicts the original hypothesis.


That is, there exists no continuous surjection from $T$ onto a discrete two-point space.

$\blacksquare$