# Totally Disconnected Space

A topological space $$X$$ is said to be a totally disconnected space if any distinct pair of $$X$$ can be separated by a disconnection of $$X$$.

In other words, a topological space $$X$$ is said to be a totally disconnected space if for any two points $$x$$ and $$y$$ of $$X$$, there is a disconnection $$\left\{ {A,B} \right\}$$ of $$X$$ such that $$x \in A$$ and $$y \in B$$.

Or, a topological space $$X$$ is said to be a totally disconnected space if its connected subsets are only the singleton subset of $$X$$.

**Example:**

Every discrete space is totally disconnected.

Let $$X$$ be a discrete space. Let $$x,y \in X,{\text{ }}x \ne y$$, then $$A = \left\{ x \right\}$$ and $${A^c} = X\backslash \left\{ x \right\}$$ are open subsets of $$X$$ such that $$x \in A,{\text{ y}} \in {A^c}$$. Since $$\left\{ {A,{A^c}} \right\}$$ is a disconnection of $$X$$, then $$X$$ is totally disconnected.

**Examples:**

• One point in space is totally disconnected.

• $$\mathbb{Q} \subseteq \mathbb{R}$$ is totally disconnected.

• $${\mathbb{Q}^c} \subseteq \mathbb{R}$$ is totally disconnected.

• The Cantor set is totally disconnected.

• $$\mathbb{R}$$ with usual topology is not totally disconnected.

• $$\mathbb{R}$$ with upper limit topology generated by open-closed intervals $$\left( {a,b} \right]$$ is totally disconnected.

**Theorems**

• Every totally disconnected space is a Hausdorff space.

• The components of a totally disconnected space are its singleton subsets.

• If a Hausdorff space $$X$$ has an open base whose sets are also closed then $$X$$ is totally disconnected.

Saqib Ali

June 23@ 2:41 pmI need proof of this theorem

Robin

January 28@ 12:50 amAccording to: https://math.stackexchange.com/questions/1902088/a-property-of-totally-disconnected-space the statement “In other words, a topological space X is said to be a totally disconnected space if for any two points x and y of X, there is a disconnection {A,B} of X such that x∈A and y∈B.” is not true in general. The statement is not equivalent to being a totally disconnected topological space.