In number theory, Ostrowski's theorem, due to Alexander Ostrowski (1916), states that every non-trivial absolute value on the rational numbers is equivalent to either the usual real absolute value or a p-adic absolute value.[1]
Theorem 1 (Ostrowski). Every nontrivial norm ‖ ‖ on is equivalent to | |p for some prime p or for p = ∞.