P-adic Integers is Metric Completion of Integers

Theorem
Let $p$ be a prime number.

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

Let $d$ be the subspace metric of the $p$-adic metric on the $p$-adic integers $\Z_p$.

Then $\struct {\Z_p, d}$ is the metric completion of the integers $\Z$.

Proof
The integers $\Z$ are a subring of the $p$-adic integers $Z_p$ by Integers form Subring of P-adic Integers.

Hence $\Z \subseteq \Z_p$.

The set of $p$-adic integers $\Z_p$ is closed in the $p$-adic metric by Set of P-adic Integers is Clopen in P-adic Numbers.

By Closure of Subset of Closed Set of Metric Space is Subset then the closure of $\Z$ is contained in $\Z_p$:
 * $\map \cl \Z \subseteq \Z_p$

By P-adic Integer is Limit of Unique Coherent Sequence of Integers then:
 * for all $x \in \Z_p$ there exists a sequence $\sequence {x_n}$ in $\Z$ such that $\ds \lim_{n \mathop \to \infty} x_n = x$

By Closure of Subset of Metric Space by Convergent Sequence then:
 * $\Z_p \subseteq \map \cl \Z$

Hence $\map \cl \Z = \Z_p$.

By Metric Subspace Induces Subspace Topology then the topology induced by $d$ on $\Z_p$ is the subspace topology.

By Closure of Subset in Subspace then $\map \cl \Z = \Z_p$ in the subspace metric $d$ on $\Z_p$.

It follows that $\struct {\Z_p, d}$ is the metric completion of $\Z$.