Normed Division Ring Operations are Continuous/Inversion

Theorem
Let $\struct {R, +, *, \norm {\,\cdot\,} }$ be a normed division ring.

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

Let $R^* = R \setminus \set 0$

Let $d^*$ be the subspace metric on $R^*$.

Then the mapping:
 * $\iota : \struct {R^* ,d^*} \to \struct {R, d} : \map \iota x = x^{-1}$

is continuous.

Proof
Let $x_0 \in R^*$.

Let $\epsilon > 0$ be given.

Let $\delta = \min \set {\dfrac {\norm {x_0} } 2, \dfrac {\norm {x_0}^2 \epsilon} 2 }$

Let $x \in R^*$ such that:
 * $\map {d^*} {x, x_0} < \delta$

By the definition of the subspace metric on $R^*$ and the definition of the metric induced by the norm on $R$:
 * $\map {d^*} {x, x_0} = \map d {x, x_0} = \norm {x - x_0} < \delta$

Then:

Hence:

Since $x_0$ and $\epsilon$ were arbitrary, by the definition of continuity then the mapping:
 * $\iota: \struct {R^*, d^*} \to \struct {R, d} : \map \iota x = x^{-1}$

is continuous.