Definition:P-adic Metric/Rational Numbers

Definition
Let $p \in \N$ be a prime. Let $\struct{\Q, \norm {\,\cdot\,}_p}$ be the rational numbers with $p$-adic norm.

The $p$-adic metric on $\Q$ is the metric induced by $\norm{\cdot}_p$:


 * $\forall x, y \in \Q: \map d {x, y} = \norm {x - y}_p$

Also see

 * P-adic Metric is Metric