Ostrowski's theorem

Template:Short description In number theory, Ostrowski's theorem, due to Alexander Ostrowski (1916), states that every non-trivial absolute value on the rational numbers $\mathbb{Q}$ is equivalent to either the usual real absolute value or a [[p-adic number|Template:Mvar-adic]] absolute value.

Definitions

Two absolute values $|\cdot |$ and $|\cdot {|}_{*}$ on the rationals are defined to be equivalent if they induce the same topology; this can be shown to be equivalent to the existence of a positive real number $\lambda \in (0,\mathrm{\infty })$ such that

$\mathrm{\forall }x\in K:|x{|}_{*}=|x{|}^{\lambda }.$

(Note: In general, if $|x|$ is an absolute value, $|x{|}^{\lambda }$ is not necessarily an absolute value anymore; however if two absolute values are equivalent, then each is a positive power of the other.) The trivial absolute value on any field K is defined to be

$|x{|}_0:=\{\begin{array}{cc}0& x=0,\\ 1& x\ne 0.\end{array}$

The real absolute value on the rationals $\mathbb{Q}$ is the standard absolute value on the reals, defined to be

$|x{|}_{\mathrm{\infty }}:=\{\begin{array}{cc}x& x\ge 0,\\ -x& x<0.\end{array}$

This is sometimes written with a subscript 1 instead of infinity.

For a prime number Template:Mvar, the [[P-adic absolute value|Template:Mvar-adic absolute value]] on $\mathbb{Q}$ is defined as follows: any non-zero rational Template:Mvar can be written uniquely as $x=p^n\frac{a}{b}$, where Template:Mvar and Template:Mvar are coprime integers not divisible by Template:Mvar, and Template:Mvar is an integer; so we define

$|x{|}_p:=\{\begin{array}{cc}0& x=0,\\ p^{-n}& x\ne 0.\end{array}$

Proof

The following proof follows the one of Theorem 10.1 in Schikhof (2007).

Let $|\cdot {|}_{*}$ be an absolute value on the rationals. We start the proof by showing that it is entirely determined by the values it takes on prime numbers.

From the fact that $1\times 1=1$ and the multiplicativity property of the absolute value, we infer that $|1{|}_{*}^2=|1{|}_{*}$. In particular, $|1{|}_{*}$ has to be 0 or 1 and since $1\ne 0$, one must have $|1{|}_{*}=1$. A similar argument shows that $|-1{|}_{*}=1$.

For all positive integer Template:Mvar, the multiplicativity property entails $|-n{|}_{*}=|-1{|}_{*}\times |n{|}_{*}=|n{|}_{*}$. In other words, the absolute value of a negative integer coincides with that of its opposite.

Let Template:Mvar be a positive integer. From the fact that $n^{-1}\times n=1$ and the multiplicativity property, we conclude that $|n^{-1}{|}_{*}=|n{|}_{*}^{-1}$.

Let now Template:Mvar be a positive rational. There exist two coprime positive integers Template:Mvar and Template:Mvar such that $r=p{q}^{-1}$. The properties above show that $|r{|}_{*}=|p{|}_{*}|q^{-1}{|}_{*}=|p{|}_{*}|q{|}_{*}^{-1}$. Altogether, the absolute value of a positive rational is entirely determined from that of its numerator and denominator.

Finally, let $\mathbb{P}$ be the set of prime numbers. For all positive integer Template:Mvar, we can write

$n=\prod _{p\in \mathbb{P}}{p}^{v_p(n)},$

where $v_p(n)$ is the p-adic valuation of Template:Mvar. The multiplicativity property enables one to compute the absolute value of Template:Mvar from that of the prime numbers using the following relationship

$|n{|}_{*}={\left|\prod _{p\in \mathbb{P}}{p}^{v_p(n)}\right|}_{*}=\prod _{p\in \mathbb{P}}|p{|}_{*}^{v_p(n)}.$

We continue the proof by separating two cases:

1. There exists a positive integer Template:Mvar such that $|n{|}_{*}>1$; or
2. For all integer Template:Mvar, one has $|n{|}_{*}\le 1$.

First case

Suppose that there exists a positive integer Template:Mvar such that $|n{|}_{*}>1.$ Let Template:Mvar be a non-negative integer and Template:Mvar be a positive integer greater than $1$. We express $n^k$ in base Template:Mvar: there exist a positive integer Template:Mvar and integers $(c_i{)}_{0\le i<m}$ such that for all Template:Mvar, $0\le c_i<b$ and $n^k=\sum _{i<m}{c}_i{b}^i$. In particular, $n^k\ge b^{m-1}$ so $m\le 1+k{\log }_{b}n$.

Each term $|c_i{b}^i{|}_{*}$ is smaller than $(b-1)|b{|}_{*}^i$. (By the multiplicative property, $|c_i{b}^i{|}_{*}=|c_i{|}_{*}|b{|}_{*}^i$, then using the fact that $c_i$ is a digit, write $c_i=1+1+\cdots +1$ so by the triangle inequality, $|c_i|\le |1|+|1|+\cdots +|1|=c_i\le b-1$.) Besides, $|b{|}_{*}^i$ is smaller than $\max \{1,|b{|}_{*}^{m-1}\}$. By the triangle inequality and the above bound on Template:Mvar, it follows:

$\begin{array}{cc}|n{|}_{*}^k& \le m\underset{i<m}{\max }\{|c_i{b}^i{|}_{*}\}\\ & \le m(b-1)\max \{1,|b{|}_{*}^{m-1}\}\\ & \le (1+k{\log }_{b}n)(b-1)\max \{1,|b{|}_{*}^{k{\log }_{b}n}\}.\end{array}$

Therefore, raising both sides to the power $1/k$, we obtain

$|n{|}_{*}\le {((1+k{\log }_{b}n)(b-1))}^{1/k}\max \{1,|b{|}_{*}^{{\log }_{b}n}\}.$

Finally, taking the limit as Template:Mvar tends to infinity shows that

$|n{|}_{*}\le \max \{1,|b{|}_{*}^{{\log }_{b}n}\}.$

Together with the condition $|n{|}_{*}>1,$ the above argument leads to $|b{|}_{*}>1$ regardless of the choice of Template:Mvar (otherwise $|b{|}_{*}^{{\log }_{b}n}\le 1$ implies $|n{|}_{*}\le 1$). As a result, all integers greater than one have an absolute value strictly greater than one. Thus generalizing the above, for any choice of integers Template:Mvar and Template:Mvar greater than or equal to 2, we get

$|n{|}_{*}\le |b{|}_{*}^{{\log }_{b}n},$

i.e.

${\log }_n|n{|}_{*}\le {\log }_b|b{|}_{*}.$

By symmetry, this inequality is an equality. In particular, for all $n\ge 2$, ${\log }_n|n{|}_{*}={\log }_2|2{|}_{*}=\lambda$, i.e. $|n{|}_{*}=n^{\lambda }=|n{|}_{\mathrm{\infty }}^{\lambda }$. Because the triangle inequality implies that for all positive integers Template:Mvar we have $|n{|}_{*}\le n$, in this case we obtain more precisely that $0<\lambda \le 1$.

As per the above result on the determination of an absolute value by its values on the prime numbers, we easily see that $|r{|}_{*}=|r{|}_{\mathrm{\infty }}^{\lambda }$ for all rational Template:Mvar, thus demonstrating equivalence to the real absolute value.

Second case

Suppose that for all integer Template:Mvar, one has $|n{|}_{*}\le 1$. As our absolute value is non-trivial, there must exist a positive integer Template:Mvar for which $|n{|}_{*}<1.$ Decomposing $|n{|}_{*}$ on the prime numbers shows that there exists $p\in \mathbb{P}$ such that $|p{|}_{*}<1$. We claim that in fact this is so for one prime number only.

Suppose per contra that Template:Mvar and Template:Mvar are two distinct primes with absolute value strictly less than 1. Let Template:Mvar be a positive integer such that $|p{|}_{*}^k$ and $|q{|}_{*}^k$ are smaller than $1/2$. By Bézout's identity, since $p^k$ and $q^k$ are coprime, there exist two integers Template:Mvar and Template:Mvar such that $a{p}^k+b{q}^k=1.$ This yields a contradiction, as

$1=|1{|}_{*}\le |a{|}_{*}|p{|}_{*}^k+|b{|}_{*}|q{|}_{*}^k<\frac{|a{|}_{*}+|b{|}_{*}}{2}\le 1.$

This means that there exists a unique prime Template:Mvar such that $|p{|}_{*}<1$ and that for all other prime Template:Mvar, one has $|q{|}_{*}=1$ (from the hypothesis of this second case). Let $\lambda =-{\log }_p|p{|}_{*}$. From $|p{|}_{*}<1$, we infer that $0<\lambda <\mathrm{\infty }$. (And indeed in this case, all positive $\lambda$ give absolute values equivalent to the p-adic one.)

We finally verify that $|p{|}_p^{\lambda }=p^{-\lambda }=|p{|}_{*}$ and that for all other prime Template:Mvar, $|q{|}_p^{\lambda }=1=|q{|}_{*}$. As per the above result on the determination of an absolute value by its values on the prime numbers, we conclude that $|r{|}_{*}=|r{|}_p^{\lambda }$ for all rational Template:Mvar, implying that this absolute value is equivalent to the Template:Mvar-adic one. $◼$

Another Ostrowski's theorem

Another theorem states that any field, complete with respect to an Archimedean absolute value, is (algebraically and topologically) isomorphic to either the real numbers or the complex numbers. This is sometimes also referred to as Ostrowski's theorem.

See also

• Valuation (algebra)

References

• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite journal