Στη θεωρία αριθμών, το **θεώρημα του Οστρόβσκι**, από τον Αλεξάντερ Οστρόβσκι (1916), δηλώνει ότι κάθε μη τετριμμένη απόλυτη τιμή στους λογικούς αριθμούς **Q** ισοδυναμεί είτε με τη συνήθη πραγματική απόλυτη τιμή είτε με μια p-adic απόλυτη τιμή.

Ορισμοί
-------

Υψώνοντας μια απόλυτη τιμή σε δύναμη μικρότερη του 1 οδηγεί πάντα σε μια άλλη απόλυτη τιμή. Δύο απόλυτες τιμές |\cdot | και {\displaystyle |\cdot |\_{\ast }}σε ένα πεδίο *K* ορίζονται ότι είναι **ισοδύναμες**, εάν υπάρχει ένας πραγματικός αριθμός *c* > 0 έτσι ώστε: 

{\displaystyle |x|\_{\ast }=|x|^{c}{\text{ για όλα τα }}x\in \mathbf {K} .}
Η **τετραγωνική απόλυτη τιμή** σε οποιοδήποτε πεδίο *K* ορίζεται ως: 

{\displaystyle |x|\_{0}:={\begin{cases}0,&{\text{εάν }}x=0,\\1,&{\text{εάν }}x\neq 0.\end{cases}}}
Η **πραγματική απόλυτη τιμή** για τους ρητούς **Q** είναι η σταθερή απόλυτη τιμή για τους πραγματικούς, που ορίζεται ως: 

{\displaystyle |x|\_{\infty }:={\begin{cases}x,&{\text{εάν }}x\geq 0\\-x,&{\text{εάν }}x<0.\end{cases}}}

Αυτό είναι μερικές φορές γραμμένο με έναν δείκτη 1 αντί για το άπειρο. 

Για έναν πρώτο αριθμό p , η p-αδική απόλυτη τιμή για το **Q** ορίζεται ως εξής: κάθε μη μηδενική λογική x , μπορεί να γραφτεί μοναδικά ως {\displaystyle x=\pi ^{\nu }{\dfrac {\alpha }{\beta }}}, όπου α και β είναι ακέραιοι αριθμοί που δεν διαιρούνται από το π και το ν είναι ακέραιος αριθμός. έτσι ορίζουμε:

{\displaystyle |x|\_{\pi }:={\begin{cases}0,&{\text{εάν }}x=0,\\\pi ^{-\nu },&{\text{εάν }}x\neq 0.\end{cases}}}

Απόδειξη
--------

Εξετάστε μια μη τετριμμένη απόλυτη αξία στους ρητούς {\displaystyle (\mathbf {Q} ,|\cdot |\_{\ast })}. Θεωρούμε δύο περιπτώσεις,

(α) {\displaystyle \exists {n\in \mathbf {N} },|n|\_{\ast }>1}
(β) {\displaystyle \forall {n\in \mathbf {N} },|n|\_{\ast }\leq 1}
Αρκεί για εμάς να εξετάσουμε την αποτίμηση των ακέραιων αριθμών μεγαλύτερων από ένα. Γιατί αν βρούμε c στο **R**+ για τον οποίον {\displaystyle |n|\_{\ast }=|n|\_{\ast \ast }^{c}} για όλους τους φυσικούς μεγαλύτερους από ένα, τότε αυτή η σχέση είναι ασήμαντη για 0 και 1, και για θετικούς ρητούς

{\displaystyle \left|{\frac {m}{n}}\right|\_{\ast }={\frac {|m|\_{\ast }}{|n|\_{\ast }}}={\frac {|m|\_{\ast \ast }^{c}}{|n|\_{\ast \ast }^{c}}}=\left({\frac {|m|\_{\ast \ast }}{|n|\_{\ast \ast }}}\right)^{c}=\left|{\frac {m}{n}}\right|\_{\ast \ast }^{c},}
Επίσης το ίδιο ισχύει για αρνητικούς ρητούς 

{\displaystyle |-x|\_{\ast }=|x|\_{\ast }=|x|\_{\ast \ast }^{c}=|-x|\_{\ast \ast }^{c}.}
### Περίπτωση Ι: ∃ *n* ∈ N     | *n* | \* > 1

Εξετάστε τον ακόλουθο υπολογισμό. Έστω a, b και n φυσικοί αριθμοί με *a*, *b* > 1. Εκφράζοντας bn σε βάση a αποδίδει 

{\displaystyle b^{n}=\sum \_{i<m}c\_{i}a^{i},\qquad c\_{i}\in \{0,1,\ldots ,a-1\},\quad m\leq n{\frac {\log b}{\log a}}+1.}
Στη συνέχεια βλέπουμε από τις ιδιότητες μιας απόλυτης αξίας ότι: 

{\displaystyle {\begin{aligned}|b|\_{\ast }^{n}&=|b^{n}|\_{\ast }\\&\leq am\max \left\{|a|\_{\ast }^{m-1},1\right\}\\&\leq a(n\log \_{a}b+1)\max \left\{|a|\_{\ast }^{n\log \_{a}b},1\right\}\end{aligned}}}
Επομένως, 

{\displaystyle |b|\_{\ast }\leq \left(a(n\log \_{a}b+1)\right)^{1/n}\max \left\{|a|\_{\ast }^{\log \_{a}b},1\right\}}
Ωστόσο, έχουμε: 

{\displaystyle (a(n\log \_{a}b+1))^{1/n}\to 1,\quad {\text{as}}\quad n\to \infty }
το οποίο υποδηλώνει: 

{\displaystyle |b|\_{\ast }\leq \max \left\{|a|\_{\ast }^{\log \_{a}b},1\right\}.}
Τώρα επιλέξτε 1 < *b* ∈ **N** έτσι ώστε |*b*|∗ > 1. Χρησιμοποιώντας αυτό στα παραπάνω εξασφαλίζει ότι υπάρχει |*α*|∗ > 1 ανεξάρτητα από την επιλογή του α (αλλιώς {\displaystyle |a|\_{\ast }^{\log \_{a}b}\leq 1} implying {\displaystyle |b|\_{\ast }\leq 1}). Έτσι για οποιαδήποτε επιλογή του *a*, *b* > 1 παραπάνω, παίρνουμε:

{\displaystyle |b|\_{\ast }\leq |a|\_{\ast }^{\log b/\log a},}
δηλαδή 

{\displaystyle {\frac {\log |b|\_{\ast }}{\log b}}\leq {\frac {\log |a|\_{\ast }}{\log a}}.}
Με συμμετρία, αυτή η ανισότητα είναι ισότητα. 

Δεδομένου ότι το a, b ήταν αυθαίρετο, υπάρχει η σταθερά {\displaystyle \lambda \in \mathbf {R} ^{+}}, για την οποία {\displaystyle \log |n|\_{\ast }=\lambda \log n}, δηλαδή {\displaystyle |n|\_{\ast }=n^{\lambda }=|n|\_{\infty }^{\lambda }} για όλα τους φυσικούς *n* > 1. Σύμφωνα με τις παραπάνω παρατηρήσεις, βλέπουμε εύκολα ότι για όλους τους ρητούς ισχύει {\displaystyle |x|\_{\ast }=|x|\_{\infty }^{\lambda }}, αποδεικνύοντας έτσι την ισοδυναμία με την πραγματική απόλυτη τιμή.

### Περίπτωση ΙΙ: ∀ *n* ∈ N     | *n* | \* ≤ 1

Δεδομένου ότι αυτή η εκτίμηση είναι μη τετριμμένη, πρέπει να υπάρχει ένας φυσικός αριθμός για τον οποίο |*n*|∗ < 1. Παραγοντοποιώντας αυτόν τον φυσικό, 

{\displaystyle n=\prod \_{i<r}p\_{i}^{e\_{i}}}
αποδίδει |*p*|∗ πρέπει να είναι μικρότερη από 1, για τουλάχιστον έναν από τους πρώτους αριθμούς *p* = *pj*. Υποστηρίζουμε ότι, στην πραγματικότητα, αυτό ισχύει *μόνο* για ένα. 

Υποθέστε *ανά αντίθεση* ότι *p*, *q* είναι ξεχωριστά αρχικά με απόλυτη τιμή μικρότερη από 1. Πρώτα, αφήνουμε το {\displaystyle e\in \mathbf {N} ^{+}} έτσι ώστε να είναι {\displaystyle |p|\_{\ast }^{e},|q|\_{\ast }^{e}<{\tfrac {1}{2}}}. Με τον ευκλείδειο αλγόριθμο, υπάρχουν *m*, *n* ∈ **Z** έτσι ώστε να έχουμε {\displaystyle mp^{e}+nq^{e}=1}. Αυτό αποδίδει

{\displaystyle 1=|1|\_{\ast }\leq |m|\_{\ast }|p|\_{\ast }^{e}+|n|\_{\ast }|q|\_{\ast }^{e}<{\frac {|m|\_{\ast }+|n|\_{\ast }}{2}}\leq 1,}
μια αντίφαση. 

Πρέπει λοιπόν να έχουμε |*pj*|∗ = *α* < 1 για μερικά j , και |*pi*|∗ = 1 για *i* ≠ *j*. Έχοντας 

{\displaystyle c=-{\frac {\log \alpha }{\log p}},}
βλέπουμε ότι για γενικούς θετικούς φυσικούς, υπάρχει 

{\displaystyle |n|\_{\ast }=\left|\prod \_{i<r}p\_{i}^{e\_{i}}\right|\_{\ast }=\prod \_{i<r}\left|p\_{i}\right|\_{\ast }^{e\_{i}}=\left|p\_{j}\right|\_{\ast }^{e\_{j}}=(p^{-e\_{j}})^{c}=|n|\_{p}^{c}.}
Σύμφωνα με τις παραπάνω παρατηρήσεις βλέπουμε πως {\displaystyle |x|\_{\ast }=|x|\_{p}^{c}} όλοι οι ρητοί, υποδηλώνοντας την απόλυτη τιμή του, είναι ισοδύναμοι με τον π- αδικό ρητό.      {\displaystyle \blacksquare }

Μπορούμε επίσης να δείξουμε ένα ισχυρότερο συμπέρασμα, δηλαδή το {\displaystyle |\cdot |\_{\ast }:\mathbf {Q} \to \mathbf {R} } που είναι μια μη τετριμμένη απόλυτη τιμή αν και μόνο εάν και οι δύο {\displaystyle |\cdot |\_{\ast }=|\cdot |\_{\infty }^{c}} υπάρχουν για μερικά {\displaystyle c\in (0,1]} ή {\displaystyle |\cdot |\_{\ast }=|\cdot |\_{p}^{c}} για μερικά {\displaystyle c\in (0,\infty ),p\in \mathbf {P} }.

Ένα άλλο θεώρημα του Οστρόβσκι
------------------------------

Ένα άλλο θεώρημα δηλώνει ότι κάθε πεδίο, πλήρης σε σχέση με μια απόλυτη αξία του Αρχιμήδη, είναι (αλγεβρικά και τοπολογικά) ισομορφικό είτε στους πραγματικούς αριθμούς είτε στους σύνθετους αριθμούς. Αυτό μερικές φορές αναφέρεται επίσης ως Θεώρημα Οστρόβσκι.

Δείτε επίσης
------------

* Θεώρημα χάσματος Οστρόβσκι-Χάνταμαρντ
* Αριθμητικό σύστημα Οστρόβσκι
* Βραβείο Οστρόβσκι

Παραπομπές
----------

1. ↑  Κόμπλιτζ, Νιλ (1984). *P-adic numbers, p-adic analysis, and zeta-functions* (2nd έκδοση). Νέα Υόρκη: Springer-Verlag. σελ. 3. ISBN 978-0-387-96017-3. Ανακτήθηκε στις 24 Αυγούστου 2012.
2. ↑   Cassels (1986) σελ. 33

Βιβλιογραφία
------------

* Κάσελς, Τζον Γουίλιαμ Σκοτ (1986). *Local Fields*. London Mathematical Society Student Texts. **3**. Τυπογραφείο Πανεπιστημίου του Κέιμπριτζ. ISBN 0-521-31525-5.
* Γιάνους, Γκέραλντ Τζ. (1996). *Algebraic Number Fields* (2nd έκδοση). American Mathematical Society. ISBN 0-8218-0429-4.
* Τζέικομπσον, Νέιθαν (1989). *Basic algebra II* (2nd έκδοση). W H Freeman. ISBN 0-7167-1933-9.