Archimédien

Un groupe totalement ordonné (G, +, ≤) est dit archimédien (en) si pour tous éléments a et b de G vérifiant 0 < a < b, il existe un entier naturel n tel que na > b.

Formellement, cela s'écrit :

${\displaystyle \forall a,b\in G\quad (0<a<b\Rightarrow \exists n\in \mathbb {N} \quad \underbrace {a+a+\ldots +a} _{\text{n fois}}>b).}$

L'hypothèse a > 0 est primordiale mais la restriction aux b > a est accessoire : si a > 0 alors pour tous les b ≤ a, l'entier n = 2 convient.

Tout groupe totalement ordonné archimédien se plonge dans (ℝ, +, ≤)[1] — en particulier, il est abélien[2].

Soit (A, +, ×, ≤) un anneau totalement ordonné.

On dit que (A, +, ×, ≤) vérifie l'axiome d'Archimède ou est archimédien si le groupe ordonné (A, +, ≤) est archimédien.

Soit (K, +, ×, ≤) un corps totalement ordonné (cas particulier d'anneau totalement ordonné). Une division par a > 0 montre qu'il est archimédien si et seulement si

${\displaystyle \forall x\in K,\exists n\in \mathbb {N} {\text{ tel que }}n>x}$

autrement dit si ℕ n'est pas majoré. Un tel corps est isomorphe (en tant que corps ordonné) à un sous-corps de celui des réels[3].

Plus précisément, on peut montrer[4] que les propriétés suivantes sont équivalentes :

1. K est archimédien.
2. Le corps ℚ des rationnels est dense dans K.
3. La suite (1/n) converge vers 0 (pour la topologie de l'ordre).
4. La suite (1/n) converge.
5. K se plonge dans le corps ℝ des réels, c'est-à-dire est isomorphe (en tant que corps ordonné) à un sous-corps de ℝ.
6. Si (A, B) est une coupure de K, alors pour tout ε > 0, il existe a élément de A, et b élément de B, tel que b – a < ε.
7. Toute suite croissante et majorée est de Cauchy.

Preuve de l'équivalence entre les propriétés 1, 2, 3 et 4

1 ⇒ 2 : voir le § « Exemples » de l'article Ordre dense.

2 ⇒ 3 : si ℚ est dense alors, pour tout ε > 0 dans K, il existe un rationnel strictement compris entre 0 et ε, d'où l'existence d'entiers q > 0 et p tels que

${\displaystyle \forall n\geq q,\quad \varepsilon >{\frac {p}{q}}\geq {\frac {1}{q}}\geq {\frac {1}{n}}>0.}$

3 ⇒ 4 est évident.

4 ⇒ 1 : dans K, si (1/n) converge alors

${\displaystyle {\frac {1}{n(n+1)}}={\frac {1}{n}}-{\frac {1}{n+1}}\to 0^{+}}$

donc

${\displaystyle n(n+1)\to +\infty ,}$

si bien que ℕ n'est pas majoré.

Cet axiome intervient également comme l'axiome IV,1 du « groupe IV de continuité » dans l'axiomatique de la géométrie euclidienne proposée par Hilbert en 1899. Hilbert montre par exemple que la preuve de l'égalité des aires entre deux parallélogrammes de même base et de même hauteur utilise nécessairement l'axiome d'Archimède.

Hilbert montre également que, dans un corps, si on ne suppose pas la multiplication commutative, alors nécessairement, cette commutativité du produit découle du caractère archimédien du corps. Pour montrer que ab = ba, l'idée est de prendre un élément d arbitrairement petit, et d'utiliser le caractère archimédien du corps pour encadrer a entre nd et (n + 1)d et encadrer b entre md et (m + 1)d, pour deux entiers m et n. On utilise cet encadrement pour en déduire un encadrement arbitrairement petit de ab–ba et conclure que cette différence est nulle.

Comme tout corps archimédien, le corps des réels vérifie la « propriété d'Archimède multiplicative »[5] : pour tout réel M et tout réel y > 1, il existe un entier naturel n tel que yⁿ ≥ M (cette propriété est démontrée dans l'article « Suite géométrique »).