p-adic metric
= p-adic metric
{c}
{title2=$d_p(x,y)=|x-y|_p$}
The <p-adic metric> on the <P-adic numbers> is induced by the <p-adic absolute value>. Its <ultrametric inequality> is $d_p(x,z)\leq\max(d_p(x,y),d_p(y,z))$. On <p-adic integers>, <digit agreement and p-adic distance> expresses metric precision as shared low-order digits.