Normed Division Ring Operations are Continuous/Multiplication

Theorem
Let $\struct {R, \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$.

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

Then the mapping:
 * $\psi : \struct {R \times R, \tau \times \tau} \to \struct{R,\tau} : \psi \tuple {x,y} = xy$

is continuous.

Proof
Let $x_0, y_0 \in R$.

Let $\epsilon \gt 0$ be given.

Let $\delta = \min \set { \dfrac \epsilon {1 + \norm {y_0} + \norm {x_0} }, 1 }$

Since $1 + \norm {y_0} + \norm {x_0} \gt 0$ then $\delta \gt 0$

Let $x,y \in R$ such that:
 * $d \tuple {x,x_0} \lt \delta$
 * $d \tuple {y,y_0} \lt \delta$

Then:

Hence:

By the definition of continuity then the function:
 * $\psi : R \times R \to R: \psi \tuple {x,y} = xy$

is continuous.