Archimédien

À l'origine, l'énoncé de l'axiome d'Archimède est le suivant : « Pour deux grandeurs inégales, il existe toujours un multiple entier de la plus petite, supérieur à la plus grande. » Une structure algébrique est dite archimédienne si ses éléments vérifient une telle propriété.

Intuitivement, la propriété d'Archimède indique que pour deux valeurs, la plus grande pourra toujours être mesurée à l'aune de la plus petite : en ajoutant un nombre fini de fois la plus petite valeur, on finira toujours par dépasser la plus grande.

À l'inverse, si la propriété d'Archimède n'est pas vérifiée, alors il existe des grandeurs totalement incommensurables : par exemple, dans un ensemble contenant des infinitésimaux, on ne pourra jamais atteindre une grandeur finie par une somme de valeurs infiniment petites.

Groupe

Article détaillé : Groupe archimédien.

Un groupe totalement ordonné (G, +, ≤) est dit archimédien 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 :

\forall (a,b)\in G^{2}\quad (0<a<b\Rightarrow \exists n\in \mathbb {N} \quad \underbrace {a+a+\ldots +a} _{n{\text{ 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 \leq a$ , l'entier $n = 2$ convient.

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

Anneau

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.

Corps

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

\forall x\in K\quad \exists n\in \mathbb {N} \quad n>x

,

autrement dit si ℕ n'est pas majoré dans K.

Les propriétés suivantes sont équivalentes^[3]^,^[4] :

K est archimédien.
Le corps ℚ des rationnels est dense dans K.
La suite (1/n) converge vers 0 (pour la topologie de l'ordre).
La suite (1/n) converge.
K se plonge dans le corps ℝ des réels, c'est-à-dire est isomorphe (en tant que corps ordonné) à un sous-corps de ℝ.
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, tels que b – a < ε.
Toute suite croissante et majorée est de Cauchy.

Démonstration

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

\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

0<{\frac {1}{n(n+1)}}={\frac {1}{n}}-{\frac {1}{n+1}}\to 0

donc

n(n+1)\to +\infty

,

si bien que ℕ n'est pas majoré.

Les propriétés 1, 2, 3 et 4 sont donc équivalentes entre elles. Montrons à présent qu'elles sont aussi équivalentes aux propriétés 5, 6 et 7.

1 ⇒ 5 : une remarque dans l'article Construction des nombres réels l'explique^[5].

5 ⇒ 6 et 7 : immédiat.

6 ⇒ 1 par contraposition, en supposant que K n'est pas archimédien et en considérant la coupure $(A, B)$ avec

A=\{a\in K\mid \exists n\in \mathbb {N} \quad a<n\}\quad {\text{et}}\quad B=K\setminus A

et (par exemple) ε = 1.

7 ⇒ 1 par contraposition, en supposant que K n'est pas archimédien et en considérant la suite (n).

Remarques

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^[6] que, dans un corps, si l'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 »^[7] : 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 »).

Exemples

Exemple 1

(ℚ, +, ×, ≤) et (ℝ, +, × ,≤) sont des corps archimédiens, de même que tout corps ordonné intermédiaire : cf. point 5 ci-dessus.

Exemple 2

Voici un exemple d'anneau non archimédien^[8]. Considérons l'anneau ℝ[X] des polynômes sur ℝ. Nous dirons que R > 0 si et seulement si R est non nul et son coefficient dominant est positif, et que P ≤ Q si et seulement si P = Q ou Q − P > 0.

Alors (ℝ[X], +, ×, ≤) est un anneau totalement ordonné, mais qui n'est pas archimédien.

En effet, pour tout entier n, on a X > n. Dans cet anneau ordonné, X est un « infiniment grand ».

Le prolongement canonique de cet ordre au corps des fractions^[9] de ℝ[X] est donc un ordre total non archimédien sur ℝ(X), dans lequel 1/X est un « infiniment petit ».

Exemple 3

Considérons le groupe $\mathbb {Z} \times \mathbb {Z}$ muni de l'ordre lexicographique. Alors ce groupe est non archimédien^[10]^,^[11]. Pour tout entier n strictement positif, on a en effet :

0 < n(0, 1) = (0, n) < (1, 0).

Notes et références

↑ (en) Andrew M. W. Glass, Partially Ordered Groups, World Scientific, 1999 (lire en ligne), p. 56, théorème de Hölder.
↑ Glass 1999, p. 55.
↑ (en) Holger Teismann, « Toward a More Complete List of Completeness Axioms », Amer. Math. Monthly, vol. 120, n^o 2,‎ février 2012 (DOI 10.4169/amer.math.monthly.120.02.099).
↑ (en) Eric Schechter, Handbook of Analysis and Its Foundations, Academic Press, 1996 (lire en ligne), p. 248.
↑ Voir aussi N. Bourbaki, Éléments de mathématique - Algèbre VI - 7. Corps et groupes ordonnés - §2- ex. 26 ou Saunders Mac Lane et Garrett Birkhoff, Algèbre [détail des éditions], T1 - V - 5 Le corps des réels - ex. 12.
↑ David Hilbert (trad. de l'allemand par L. Laugel), Les principes fondamentaux de la géométrie, Paris, Gauthier-Villars, 1900 (lire en ligne), p. 87-88.
↑ Jean-Pierre Ramis, André Warusfel et al., Mathématiques : Tout-en-un pour la Licence - Niveau L1, Dunod, coll. « Sciences Sup », 2013, 2^e éd. (1^re éd. 2006) (lire en ligne), p. 526, proposition 8.
↑ (en) Serge Lang, Algebra, Addison-Wesley, 1974, 6^e éd., p. 272.
↑ (en) P. M. Cohn, Basic Algebra : Groups, Rings and Fields, Springer, 2004 (lire en ligne), p. 274, th. 8.6.2.
↑ A. Bouvier, M. George et F. Le Lionnais, Dictionnaire des mathématiques, PUF, 1979, p. 57.
↑ Il se plonge dans ℝ[X] muni de l'ordre précédent, par l'application (p, q) ↦ pX + q.

Voir aussi

Sur les autres projets Wikimedia :

archimédien, sur le Wiktionnaire

Bibliographie

David Hilbert, Les Fondements de la géométrie, Dunod, Paris 1971 ou Gabay, 1997

Articles connexes

Portail de l’algèbre

[1] (en) Andrew M. W. Glass, Partially Ordered Groups, World Scientific, 1999 (lire en ligne), p. 56, théorème de Hölder.

[2] Glass 1999, p. 55.

[3] (en) Holger Teismann, « Toward a More Complete List of Completeness Axioms », Amer. Math. Monthly, vol. 120, n^o 2,‎ février 2012 (DOI 10.4169/amer.math.monthly.120.02.099).

[4] (en) Eric Schechter, Handbook of Analysis and Its Foundations, Academic Press, 1996 (lire en ligne), p. 248.

[5] Voir aussi N. Bourbaki, Éléments de mathématique - Algèbre VI - 7. Corps et groupes ordonnés - §2- ex. 26 ou Saunders Mac Lane et Garrett Birkhoff, Algèbre [détail des éditions], T1 - V - 5 Le corps des réels - ex. 12.

[6] David Hilbert (trad. de l'allemand par L. Laugel), Les principes fondamentaux de la géométrie, Paris, Gauthier-Villars, 1900 (lire en ligne), p. 87-88.

[7] Jean-Pierre Ramis, André Warusfel et al., Mathématiques : Tout-en-un pour la Licence - Niveau L1, Dunod, coll. « Sciences Sup », 2013, 2^e éd. (1^re éd. 2006) (lire en ligne), p. 526, proposition 8.

[8] (en) Serge Lang, Algebra, Addison-Wesley, 1974, 6^e éd., p. 272.

[9] (en) P. M. Cohn, Basic Algebra : Groups, Rings and Fields, Springer, 2004 (lire en ligne), p. 274, th. 8.6.2.

[10] A. Bouvier, M. George et F. Le Lionnais, Dictionnaire des mathématiques, PUF, 1979, p. 57.

[11] Il se plonge dans ℝ[X] muni de l'ordre précédent, par l'application (p, q) ↦ pX + q.

[1]