Normed Division Ring Operations are Continuous/Corollary

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

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

Then:
 * $\struct {R, \tau}$ is a topological division ring.

Proof
Let $d_\infty$ be the Chebyshev distance metric on $R \times R$.

Let $\tau^\times$ be the product topology on $R \times R$.

By $p$-Product Metric Induces Product Topology, $\tau^\times$ is the topology induced by the metric $d_\infty$.

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

Let $d^*$ be the restriction of $d$ to $R^*$.

Let $\tau^*$ be the subspace topology on $R^*$.

By Metric Subspace Induces Subspace Topology then $\tau^*$ is the topology induced by the metric $d^*$

By Normed Division Ring Operations are Continuous and Continuous Mapping is Continuous on Induced Topological Spaces, the mappings:
 * $\phi : \struct {R \times R, \tau^\times} \to \struct {R, \tau} : \map \phi {x, y} = x + y$
 * $\theta : \struct {R ,\tau} \to \struct {R, \tau} : \map \theta x = -x$
 * $\psi : \struct {R \times R, \tau^\times} \to \struct {R, \tau} : \map \psi {x, y} = x y$
 * $\xi : \struct {R^* ,\tau^*} \to \struct {R, \tau} : \map \xi x = x^{-1}$

are continuous.

By the definition of a topological division ring then the result follows.