Exemple d'infinitésimal

Archimédien

A 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. »

On appelle archimédien des structures dont les éléments vérifient une propriété comparable.

Sommaire

1 Groupe
2 Anneau
3 Corps
4 Remarques
5 Exemples
- 5.1 Exemple 1
- 5.2 Exemple 2
6 Bibliographie

Groupe

Soit (G,+,≤) un groupe commutatif totalement ordonné.

(G,+,≤) vérifie l'axiome d'Archimède ou est archimédien si et seulement si :

quels que soient les éléments a > 0 et b ≥ 0 de G , il existe un entier naturel n tel que n × a ≥ b.

Formellement, cela s'écrit : $\forall (a,b) \in G^2, (a > 0, b \ge 0) \Rightarrow \exists n \in \mathbb{N} \text{ tel que } \underbrace{a+a+...+a}_{\text{n fois}} \ge b$

Anneau

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

(A,+,×,≤) vérifie l'axiome d'Archimède ou est archimédien si et seulement si le groupe commutatif (A,+,≤) lui-même est archimédien.

Corps

Soit (K,+,×,≤) un corps totalement ordonné.

(K,+,×,≤) vérifie l'axiome d'Archimède ou est archimédien si et seulement si le groupe commutatif (K,+,≤) lui-même est archimédien. Un tel corps est un sous-corps du corps des réels (R,+,×,≤)

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 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.

Exemples

Exemple 1

( $\mathbb Q$ ,+,×,≤) et ( $\mathbb R$ ,+,×,≤) sont des corps archimédiens.

Démonstration du fait que le corps $\mathbb R$ est archimédien

Soit $(x,y) \in \mathbb R _+^* \times \mathbb R _+$ et $E = \{px \;|\; p \in \mathbb N, px \le y\}$

On a : $y \in \mathbb R _+ \Rightarrow 0x = 0 \le y \Rightarrow 0 \in E \Rightarrow E \neq \varnothing$

$E$ est donc une partie non vide majorée par $y$ et, d'après la propriété de la borne supérieure, E admet une borne supérieure.

Notons S = sup(E). S-x n'est donc plus un majorant de E, puisqu'il est strictement inférieur à S, plus petit majorant. Donc il existe px élément de E tel que S – x < px. Donc S < (p+1)x. Donc (p+1)x ne peut être élément de E, donc (p+1)x > y.

$\mathbb R$ est bien un corps archimédien.

Exemple 2

Voici un exemple d'anneau non archimédien. Considérons l'anneau $\mathbb R[X]$ des polynômes sur $\mathbb R$ . Un polynôme $\ P = \sum_{n} a_n \cdot X^n$ est caractérisé par la suite de ses coefficients (a₀, ..., a_n, ...), nulle à partir d'un certain rang.

Si le polynôme Q admet pour coefficients (b₀, ..., b_n, ...), nous dirons que :

P < Q si et seulement s’il existe k ≥ 0 tel que, pour tout p < k, a_p = b_p et a_k < b_k

P ≤ Q si et seulement si P < Q ou P = Q

(Il s'agit de l'ordre lexicographique sur les coefficients des polynômes)

Alors ( $\mathbb R[X]$ ,+,×,≤) est un anneau totalement ordonné, mais qui n'est pas archimédien. En effet, pour tout n entier, on a 0 < nX < 1.

Pour l'ordre indiqué, X est un « infiniment petit ».

Bibliographie

David Hilbert : les fondements de la géométrie, Dunod, Paris 1971 ou Gabay, 1997

Portail des mathématiques

Ce document provient de « Archim%C3%A9dien ».

Catégories : Théorie des ordres | Algèbre générale | Axiome de la géométrie

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Exemple d'infinitésimal de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

infinitésimal — infinitésimal, ale, aux [ ɛ̃finitezimal, o ] adj. • 1706; de l adj. infinitésime, lat. mod. infinitesimus 1 ♦ Sc. Relatif aux quantités infiniment petites. Calcul infinitésimal, analyse infinitésimale : partie des mathématiques comprenant le… … Encyclopédie Universelle
Infinitesimal — Asymptote Pour les articles homonymes, voir Asymptote (homonymie). Le terme d asymptote est utilisé en mathématiques pour préciser des propriétés éventuelles d une branche infinie de courbe à accroissement tendant vers l infinitésimal. C est d… … Wikipédia en Français
CALCUL INFINITÉSIMAL - Histoire — L’expression «calcul infinitésimal» désigne habituellement l’ensemble des notations et des méthodes fondamentales du calcul différentiel, du calcul intégral et du calcul des variations, tel qu’il a été mis au point au cours des XVIIe et XVIIIe… … Encyclopédie Universelle
CALCUL INFINITÉSIMAL - Calcul à une variable — Créée au XVIIe siècle par Newton, Leibniz et leurs prédécesseurs immédiats, transformée au XVIIIe, par Euler, en un prodigieux instrument de calcul, débarrassée, sous la Restauration, de sa métaphysique par le baron Cauchy, l’analyse… … Encyclopédie Universelle
Calcul Infinitésimal — Le calcul infinitésimal (ou calcul différentiel et intégral) est une branche des mathématiques, développée à partir de l algèbre et de la géométrie, qui implique deux idées majeures complémentaires : La notion de différentielle, qui établit… … Wikipédia en Français
Calcul infinitesimal — Calcul infinitésimal Le calcul infinitésimal (ou calcul différentiel et intégral) est une branche des mathématiques, développée à partir de l algèbre et de la géométrie, qui implique deux idées majeures complémentaires : La notion de… … Wikipédia en Français
CALCUL INFINITÉSIMAL - Calcul à plusieurs variables — Le calcul infinitésimal des fonctions de plusieurs variables a eu un développement plus tardif que celui des fonctions d’un seul argument. Inauguré avec un siècle de retard, il ne parvient à établir solidement ses fondements qu’au début du XXe… … Encyclopédie Universelle
Calcul infinitésimal — Le calcul infinitésimal (ou calcul différentiel et intégral) est une branche des mathématiques, développée à partir de l algèbre et de la géométrie, qui implique deux idées majeures complémentaires : La notion de différentielle, qui établit… … Wikipédia en Français
Histoire du calcul infinitésimal — La création du calcul infinitésimal est liée à une polémique entre deux mathématiciens : Isaac Newton et Gottfried Wilhelm von Leibniz. Néanmoins, son histoire est très vaste, d Archimède à Barrow en passant par Fermat. Sommaire 1 Antiquité… … Wikipédia en Français
Histoire Du Calcul Infinitésimal — L histoire du calcul infinitésimal est liée à deux mathématiciens : Isaac Newton et Gottfried Wilhelm von Leibniz. Sommaire 1 Contexte 2 Isaac Newton 3 Gottfried Wilhelm von Leibniz … Wikipédia en Français