Rational Numbers are Dense Subfield of P-adic Numbers

Theorem
Let $p$ be a prime number.

Let $\struct {\Q_p, \norm {\,\cdot\,}_p}$ be the $p$-adic numbers as a quotient of Cauchy sequences.

Let $\phi: \Q \to \Q_p$ be the mapping defined by:
 * $\map \phi r = \sequence {r, r, r, \dotsc} + \mathcal N$

where $\sequence {r, r, r, \dotsc} + \mathcal N$ is the left coset in $\mathcal C \, \big / \mathcal N$ that contains the constant sequence $\sequence {r, r, r, \dotsc}$.

Then:
 * $\Q$ is isometrically isomorphic to $\map \phi \Q$ which is a dense subfield of $\Q_p$.

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

By Completion of Normed Division Ring and Normed Division Ring is Field iff Completion is Field, the valued field $\struct {\Q_p, \norm {\, \cdot \,}_p}$ is the completion of $\struct {\Q, \norm {\,\cdot\,}_p}$.

By Embedding Division Ring into Quotient Ring of Cauchy Sequences, the mapping $\phi: \Q \to \Q_p$ is a distance-preserving monomorphism.

By Normed Division Ring is Dense Subring of Completion, $\Q$ is isometrically isomorphic to $\map \phi \Q$ which is a dense subfield of $\Q_p$.