Topological Properties of Non-Archimedean Division Rings

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

Let $d$ be the metric induced by the norm $\norm{\,\cdot\,}$.

For $a \in R$ and $\epsilon \in \R_{>0}$ let:
 * $B_\epsilon \paren{a}$ denote the open $\epsilon$-ball of $a$ in $\struct {R,d}$
 * ${B_\epsilon}^- \paren{a}$ denote the closed $\epsilon$-ball of $a$ in $\struct {R,d}$

Let $x, y \in R$.

Let $r, s \in \R_{\gt 0}$.

The following results hold: