# Cantor Space is Totally Separated

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

- 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.:
*Counterexamples in Topology*(2nd ed.) ... (previous) ... (next): Part $\text {II}$: Counterexamples: $29$. The Cantor Set: $6$