 Non-Archimedean valuation

ID: non-archimedean-valuation

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 ∣}

 New to topics? Read the docs here!