Cantor Space is Totally Separated

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {\CC, \tau_d}$ be the Cantor space.


Then $T$ is totally separated.


Proof

Let $a, b \in \CC$ such that $a < b$.

Then $b - a = \epsilon$.

Consider $n \in \N$ such that $3^{-n} < \epsilon$.

So $\exists r \in \R: a < r < b, r \notin \CC$.

Let $A = \CC \cap \hointr 0 r$ and $B = \CC \cap \hointl r 1$.

Thus $A \mid B$ is a separation of $\CC$ such that $a \in A, b \in B$.

Such a separation can be found for any two distinct $a, b \in \CC$.

Hence the result by definition of totally separated.

$\blacksquare$


Sources