Non-Archimedean Division Ring is Totally Disconnected

Theorem
Let $\struct {R, \norm{\,\cdot\,} }$ be a non-Archimedean normed division ring.

Let $\tau$ be the topology induced by the norm $\norm{\,\cdot\,}$.

Then the topological space $\struct {R, \tau}$ is totally disconnected.

Proof
Let $S$ be a subset of $R$.

Let $x, y \in S: x \ne y$

Let $r \in \R_{>0} : r = \norm {x - y}$

Consider the open ball $\map {B_r} x$ such that:
 * $x \in \map {B_r} x$
 * $y \notin \map {B_r} x$

By Open Balls are Clopen then $\map {B_r} x$ is both open and closed.

By Complement of Clopen Set is Clopen then $R \setminus \map {B_r} x$ is open.

Hence $S$ is not connected.

The result follows.