Metric on P-adic Numbers Extends Metric on Rationals

Theorem
Let $p$ be any prime number.

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

Let $d^{\Z}_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^{\Z}_p$.

Proof
Let $\norm {\,\cdot\,}^\Q_p$ be the $p$-adic norm on the rationals $\Q$.

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$.

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