Corps ordonne

Corps ordonne

Corps ordonné

En algèbre générale, un corps ordonné est la donnée d'un corps (\mathbb{K},+,\times), muni d'une relation d'ordre (notée \leq dans l'article) compatible avec la structure de corps.

Dans tout l'article, on note naturellement \geq la relation d'ordre réciproque de \leq, et l'on note < et > les relations d'ordre strict respectivement associées à \leq et \geq. On note par ailleurs 0 l'élément neutre de l'addition et 1 celui de la multiplication. Enfin, on note x − 1 l'inverse d'un élément x non nul de \mathbb{K}.

La majeure partie des résultats énoncés (ceux ne faisant pas intervenir la notion d'inverse) peut s'étendre aux anneaux.

Sommaire

Définitions

Plus précisément, avec les notations précédentes, on dit que la relation d'ordre \leq est compatible avec la structure de corps de \mathbb{K} si les deux conditions suivantes sont réunies.

  1. Le groupe additif (\mathbb{K},+) est un groupe ordonné par la relation d'ordre \leq (c'est-à-dire que celle-ci est compatible avec l'addition).
  2. On a, pour tous éléments x et y du corps tels que x\geq 0 et y\geq 0, l'inégalité x\times y\geq 0 (la relation d'ordre est compatible avec la multiplication).

Par commodité, on dira par la suite qu'un élément x de \mathbb{K} est positif si l'on a x\geq 0, et qu'il est négatif si l'on a x\leq 0 (on remarquera, par antisymétrie de la relation d'ordre \leq, que 0 est l'unique élément du corps à la fois positif et négatif).

Exemples

Les corps \mathbb{Q} des rationnels et \mathbb{R} des réels, munis de la relation d'ordre habituelle, sont des corps ordonnés.

Propriétés

On dispose d'abord des propriétés liées à la compatibilité de l'addition avec la relation d'ordre (voir l'article groupe ordonné pour leur démonstration, avec d'autres notations).

  • Addition membre à membre d'inégalités. Pour tous éléments x, y, x' et y' de \mathbb{K} tels que x\leq y et x'\leq y', on a x+x'\leq y+y'.
  • Passage à l'opposé dans une inégalité en en changeant le sens. Pour tous éléments x et y tels que x\leq y, on a -y\leq -x.

On dispose par ailleurs de propriétés liées à la compatibilité de la multiplication avec la relation d'ordre.

  • Règle des signes.
    1. Pour tous éléments x et y de \mathbb{K} tels que x\leq 0 et y\leq 0, on a l'inégalité x\times y\geq 0.
    2. Pour tous éléments x et y de \mathbb{K} tels que x\leq 0 et y\geq 0, on a l'inégalité x\times y\leq 0.
    3. Pour tous éléments x et y de \mathbb{K} tels que x\geq 0 et y\leq 0, on a l'inégalité x\times y\leq 0.

Cela se déduit aisément du deuxième axiome de la définition de la compatibilité, en utilisant le fait qu'un élément négatif est l'opposé d'un élément positif, et que l'opposé d'un élément est obtenu en le multipliant (à gauche ou à droite) par l'opposé de l'unité 1.

  • Si 0 et 1 sont comparables, on a nécessairement 0\leq 1.

En effet, on a 1=1\times 1, et si 0 et 1 sont comparables, on a soit 0\leq 1, soit 1\leq 0, mais la règle des signes permet d'éliminer la seconde possibilité.

  • Multiplication membre à membre d'inégalités entre éléments positifs. Pour tous éléments x\geq 0, y, x'\geq 0 et y' de \mathbb{K} tels que x\leq y et x'\leq y', on a x\times x'\leq y\times y'.

Démonstration. Les hypothèses se traduisent par les inégalités y-x\geq 0 et y'-x'\geq 0 et il s'agit de prouver l'inégalité y\times y'-x\times x'\geq 0. Il suffit pour y parvenir d'utiliser la décomposition

y\times y'-x\times x'=x\times (y'-x')+(y-x)\times y',

le membre de droite de cette inégalité étant positif en tant que somme de deux produits d'éléments positifs (la positivité de y' découlant de celle de x' et de la transitivité de la relation d'ordre \leq). \square

On remarquera que l'hypothèse peut être affaiblie en permettant à l'un des éléments x, x', y et y' d'être strictement négatif, mais pas plus. Par exemple, dans le corps des rationnels, on a -1\leq 1 et -3\leq 2, mais on a (-1)\times (-3)>1\times 2.

  • Passage à l'inverse dans une inégalité entre éléments strictement positifs, en en changeant le sens. Pour tous éléments x > 0 et y de \mathbb{K} tels que x − 1 > 0, y − 1 > 0 et x\leq y, on a y^{-1}\leq x^{-1}.

Pour le prouver, il suffit d'appliquer la règle de multiplication membre à membre aux trois inégalités x^{-1}\leq x^{-1}, x\leq y et y^{-1}\leq y^{-1} (dans cet ordre). On remarquera que si la relation d'ordre est totale, les hypothèses x − 1 > 0 et y − 1 > 0 sont superflues.

Corps totalement ordonné

On appelle corps totalement ordonné un corps ordonné pour lequel la relation d'ordre est totale. Par exemple, les corps \mathbb{Q} des rationnels et \mathbb{R} des réels, munis de la relation d'ordre habituelle, sont des corps totalement ordonnés.

En revanche, le corps \mathbb{C} des nombres complexes ne peut pas être muni d'une structure de corps totalement ordonné.

Démonstration. On raisonne par l'absurde en supposant que \mathbb{C} est muni d'une relation d'ordre compatible avec sa structure de corps, et le rendant totalement ordonné. On note \leq cette relation (on prendra cependant garde à ce qu'elle n'a a priori aucune raison de coïncider avec la relation d'ordre usuelle par restriction aux nombres réels). On note i l'un des deux nombres complexes de carré égal à − 1. Comme l'ordre est total, d'après la règle des signes et l'égalité i2 = − 1, on obtiendrait l'inégalité -1\geq 0. Cela entraînerait, par passage à l'opposé, l'inégalité 0\geq 1. Mais comme 0 et 1 sont comparables, on a nécessairement 0\leq 1, et l'on obtiendrait l'égalité 0 = 1, ce qui est une contradiction. Par conséquent, la relation d'ordre ne peut pas être à la fois totale et compatible avec la structure de corps de \mathbb{C}. \square

Remarque. Il est en revanche aisé de définir sur \mathbb{C} une relation d'ordre qui est soit totale, soit compatible avec sa structure de corps.

z\leq_\mathrm{lex} z' si, en notant z = x + iy et z' = x' + iy', avec x, y, x' et y' réels, on a soit x < x', soit x = x' et y\leq y',

(les réels étant comparés par la relation d'ordre usuelle) est totale mais n'est pas compatible avec la structure de corps. Sa totalité se déduit aisément de celle de la relation d'ordre usuelle sur les réels. Mais on a \mathrm{i}\geq_\mathrm{lex}0 et i2 = − 1 < lex0, ce qui contredit la règle des signes.

  • Exemple 2. La relation d'ordre de comparaison des parties réelles \leq_\mathrm{re}, définie par
z\leq_\mathrm{re} z' si, en notant z = x + iy et z' = x' + iy', avec x, y, x' et y' réels, on a x\leq x' et y = y',

est compatible avec la structure de corps (car l'ordre sur les réels l'est), mais n'est pas totale. En particulier, les nombres 0 et i ne sont pas comparables pour cette relation.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Corps ordonn%C3%A9 ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Corps ordonne de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Corps Ordonné — En algèbre générale, un corps ordonné est la donnée d un corps , muni d une relation d ordre (notée dans l article) compatible avec la structure de corps. Dans tout l article, on note naturellement la relation d ordre réciproque de , et l on note …   Wikipédia en Français

  • Corps ordonné — En algèbre générale, un corps ordonné est la donnée d un corps commutatif (K, +, ×), muni d une relation d ordre (notée ≤ dans l article) compatible avec la structure de corps. Dans tout l article, on note naturellement ≥ la relation d ordre… …   Wikipédia en Français

  • Corps totalement ordonné — Corps ordonné En algèbre générale, un corps ordonné est la donnée d un corps , muni d une relation d ordre (notée dans l article) compatible avec la structure de corps. Dans tout l article, on note naturellement la relation d ordre réciproque de …   Wikipédia en Français

  • Corps Réel Clos — Un corps réel clos est un corps ordonné tel que tout élément positif soit un carré et que tout polynôme de degré impair à coefficients dans F ait au moins une racine dans F. Le corps des réels, le corps des réels calculables (au sens de Turing)… …   Wikipédia en Français

  • Corps reel clos — Corps réel clos Un corps réel clos est un corps ordonné tel que tout élément positif soit un carré et que tout polynôme de degré impair à coefficients dans F ait au moins une racine dans F. Le corps des réels, le corps des réels calculables (au… …   Wikipédia en Français

  • Corps (Mathématiques) — Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps est une structure algébrique. De manière informelle, un corps est un ensemble dans lequel il est possible d effectuer des additions, des… …   Wikipédia en Français

  • Corps (mathématique) — Corps (mathématiques) Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps est une structure algébrique. De manière informelle, un corps est un ensemble dans lequel il est possible d effectuer des… …   Wikipédia en Français

  • Corps commutatif — Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps commutatif est, en simplifiant, une structure dans laquelle il est possible d effectuer des additions, des soustractions, des multiplications et… …   Wikipédia en Français

  • ordonné — ordonné, ée [ ɔrdɔne ] adj. • XIIIe; de ordonner 1 ♦ En bon ordre. Maison bien ordonnée. Discours ordonné. PROV. Charité bien ordonnée commence par soi même. ♢ Math. Anneau, corps, ensemble ordonné, muni d une relation d ordre. Ensemble bien… …   Encyclopédie Universelle

  • CORPS — LES SAVOIRS et les pratiques qui ont pour objet le corps – médecine, arts plastiques, sémiologie, anthropologie, psychanalyse – ont à se débattre, dans la culture occidentale, avec deux traditions philosophiques, la cartésienne et… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”