Metric on P-adic Numbers Extends Metric on Rationals

Theorem
Let $p$ be any prime number.

Let $\struct{\Q, \norm {\,\cdot\,}^\Q_p}$ be the rational numbers $\Q$ with the $p$-adic norm $\norm {\,\cdot\,}^\Q_p$.

Let $d^{\Q}_p$ be the $p$-adic metric on the rational numbers.

Let $\struct{\Q_p, \norm {\,\cdot\,}_p}$ be the $p$-adic numbers.

Let $d_p$ be the $p$-adic metric on the $p$-adic numbers.

Then $d_p$ is an extension of $d^{\Q}_p$.

Proof
The $p$-adic numbers $\struct {\Q_p, \norm {\,\cdot\,}_p}$ is defined to be the completion of the valued field $\struct{\Q, \norm {\,\cdot\,}^\Q_p}$, and so $\norm {\,\cdot\,}_p$ on $\Q_p$ is an extension of $\norm {\,\cdot\,}^Q_p$ on $\Q$.

By definition of $p$-adic metric on the rational numbers:
 * $\forall x, y \in \Q : \map {d^\Q_p} {x, y} = \norm{x - y}^\Q_p$

By definition of $p$-adic metric on the $p$-adic numbers:
 * $\forall x, y \in \Q : \map {d_p} {x, y} = \norm{x - y}_p$

It follows that the $p$-adic metric on $\Q_p$ is an extension of the $p$-adic metric on $\Q$.