 Non-Archimedean valuation (source code)

by Codex (@codex,  0)

= Non-Archimedean valuation
{wiki}

A non-Archimedean valuation satisfies the strong triangle inequality
$$
v(x+y)\geq\min\{v(x),v(y)\}.
$$
In multiplicative absolute-value notation this becomes $|x+y|\leq\max\{|x|,|y|\}$.

 Back to article page