Entier relatif

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, un entier relatif, un entier rationnel ou simplement un nombre entier est un nombre qui se présente comme un entier naturel auquel on a adjoint un signe positif ou négatif indiquant sa position[1] par rapport à 0 sur un axe orienté. Les entiers positifs (supérieurs à zéro) s'identifient aux entiers naturels : 0, 1, 2, 3… tandis que les entiers négatifs sont leurs opposés : 0, −1, −2, −3… L'entier 0 lui-même est donc le seul nombre à la fois positif et négatif[2].

Un nombre réel est entier s'il est sans partie fractionnaire, c'est-à-dire si son écriture décimale ne comprend pas de chiffre (autre que zéro) « après la virgule ».

Les entiers relatifs permettent d'exprimer la différence de deux entiers naturels quelconques. Entre autres significations de la différence, on peut citer la position sur un axe orienté par rapport à un point de référence (un axe à positions discrètes, c'est-à-dire discontinues) ; le déplacement depuis une position d'origine, dans un sens ou dans l'autre ; ou encore la variation d'une valeur entière, donc comptée en unités (variation positive pour un gain, négative pour une perte).

L'ensemble des entiers relatifs est noté[3] « Z », lettre capitale grasse dans les textes dactylographiés, peu à peu supplantée par la graphie manuscrite avec une barre oblique ajourée : « ℤ ». La présence d'un astérisque en exposant (« Z* ») désigne l'ensemble des entiers relatifs non nuls. La notation « Z » désigne l'ensemble des entiers négatifs. Il est plus rare de trouver la notation « Z+ », remplacée par la notation « N » des entiers naturels par identification.

Cet ensemble est (totalement) ordonné pour la relation de comparaison usuelle héritée des entiers naturels. Il est aussi muni des opérations d'addition et de multiplication qui fondent la notion d'anneau en algèbre.

Les entiers relatifs sont aussi appelés entiers rationnels[4],[5], appellation qui ne doit pas entraîner de confusion avec les nombres rationnels ou fractions. Cette dénomination vient de l'anglais rational integer, et désigne un cas particulier d'entiers algébriques, construit sur le corps de nombres des rationnels. On trouve cette appellation chez Nicolas Bourbaki[6] et certains mathématiciens s'inscrivant dans le mouvement des mathématiques modernes, parmi lesquels Georges Papy.

La droite des nombres
La droite des nombres permet de représenter les entiers relatifs.

Motivation[modifier | modifier le code]

La principale raison de l'introduction des nombres négatifs est la possibilité de résoudre toutes les équations de la forme :

a + x = b, où x est l'inconnue et a et b sont des paramètres.

Dans l'ensemble des entiers naturels, seules certaines de ces équations ont une solution.

5 + x = 8 si et seulement si x = 3
9 + x = 4 n'a pas de solution dans l'ensemble des entiers naturels. Elle possède une solution dans l'ensemble des entiers relatifs qui est −5.

Fragments d'histoire[modifier | modifier le code]

La première allusion à des nombres négatifs apparaît dans des textes indiens comme l'Arybhatiya du mathématicien indien Âryabhata (476-550) où sont définies les règles d'additions et de soustractions. Les nombres négatifs apparaissent alors comme représentant des dettes et les nombres positifs comme des recettes. Quelques siècles plus tard, dans les écrits du mathématicien perse Abu l-Wafa (940-998), on voit apparaître des produits de nombres négatifs par des nombres positifs. Cependant le nombre reste encore attaché à des quantités physiques et le nombre négatif n'a guère de statut légal. Al Khuwarizmi (783-850) par exemple, dans son ouvrage la Transposition et la réduction préfère traiter 6 types d'équations du second degré au lieu d'envisager des soustractions.

En Europe les nombres relatifs apparaissent tardivement, on attribue en général à Simon Stevin (1548-1620) la fameuse règle des signes pour le produit de deux entiers relatifs. D'Alembert (1717-1783) lui-même dans l'Encyclopédie envisage le nombre relatif comme une idée dangereuse.

« Il faut avouer qu'il n'est pas facile de fixer l'idée des quantités négatives, & que quelques habiles gens ont même contribué à l'embrouiller par les notions peu exactes qu'ils en ont données. Dire que la quantité négative est au-dessous du rien, c'est avancer une chose qui ne se peut pas concevoir. Ceux qui prétendent que 1 n'est pas comparable à −1[7], & que le rapport entre 1 & −1 est différent du rapport entre −1 & 1, sont dans une double erreur […] Il n'y a donc point réellement & absolument de quantité négative isolée : −3 pris abstraitement ne présente à l'esprit aucune idée. »

— D'Alembert, Dictionnaire raisonné des sciences, des arts et des métiers, vol. 11

Il faut attendre encore deux siècles et l'avènement du formalisme pour voir apparaître une construction formelle de l'ensemble des entiers relatifs à partir de classes d'équivalence de couples d'entiers naturels.

C'est à Richard Dedekind (1831-1916) que l'on doit cette construction. Lui-même utilisait la lettre K pour désigner l'ensemble des entiers relatifs. Plusieurs autres conventions ont eu cours, jusqu'à ce que Nicolas Bourbaki popularise l'usage de la lettre , initiale de l'allemand Zahlen (nombres)[8].

Règles opératoires[modifier | modifier le code]

Dans un nombre relatif, on distingue le signe (+ ou −) et la valeur absolue : −3 a pour valeur absolue 3.

Addition[modifier | modifier le code]

La somme de deux entiers de même signe s'obtient en additionnant les deux valeurs absolues et en conservant le signe commun :

(−3) + (−5) = −8, écriture que l'on abrège en −3 − 5 = −8, supprimant le signe opératoire +.

La somme de deux entiers relatifs de signes contraires s'obtient en calculant la différence entre les deux valeurs absolues et en lui affectant le signe de l'entier ayant la plus grande valeur absolue :

(+3) + (−5) = −2, écriture que l'on abrège en 3 − 5 = −2.

Multiplication[modifier | modifier le code]

Le résultat d'une multiplication s'appelle un produit. Le produit de deux nombres relatifs de même signe est toujours positif (+) et s'obtient en effectuant le produit des valeurs absolues :

(+3) × (+4) = +12 que l'on abrège en 3 × 4 = 12
(−3) × (−7)= + 21 = 21

(le + n'étant pas obligatoire si le produit n'est pas négatif)

Le produit de deux nombres relatifs de signes différents est toujours négatif (−) et s'obtient en effectuant le produit des valeurs absolues

(+7) × (−4) = −28

Règle des signes

plus multiplié par plus, donne produit plus.
moins multiplié par moins, donne produit plus
moins multiplié par plus ou plus multiplié par moins donne produit moins

Ensemble des entiers[modifier | modifier le code]

Construction[modifier | modifier le code]

L'ensemble Z des entiers relatifs peut être vu comme le symétrisé du semi-anneau N des entiers naturels.

Une représentation d'une construction des entiers relatifs.
Une représentation d'une construction des entiers relatifs.

Structure[modifier | modifier le code]

L'ensemble des entiers relatifs, muni de ses lois d'addition et de multiplication, est le prototype de la notion d'anneau. Il s'agit même d'un anneau euclidien, en référence à la division euclidienne. Il est donc également principal et a fortiori factoriel et noethérien.

La distance usuelle sur Z est la valeur absolue de la différence. Elle fait de Z un espace métrique dont la topologie est discrète, si bien que l'espace est complet. Les seules autres distances compatibles avec la structure d'anneau sont les distances p-adiques, où p est un nombre premier.

Le groupe additif (Z, +) est (à isomorphisme près) l'unique groupe monogène sans torsion, c'est-à-dire l'unique groupe abélien libre de rang 1. C'est donc un groupe infini dénombrable.

Ce groupe est totalement ordonné par la relation d'ordre usuelle.

Extensions[modifier | modifier le code]

L'ensemble Z des entiers relatifs se plonge dans l'ensemble des nombres décimaux, noté D, qui lui-même est une partie de l'ensemble des nombres rationnels noté Q.

La notion d'entier est étendue par la définition des entiers algébriques, qui sont aux divers corps de nombres ce que les entiers relatifs sont au corps des rationnels. Les entiers rationnels, c'est-à-dire les entiers algébriques du corps des rationnels, sont donc exactement les entiers relatifs.

Pour chacune des distances p-adiques, le complété de Z est un anneau des entiers p-adiques noté Zp, dont le corps de fraction est le corps des nombres p-adiques, noté Qp et qui contient Q.

Utilisations courantes[modifier | modifier le code]

Les nombres relatifs sont des nombres qui sont devenus relativement familiers. On les trouve :

  • dans les ascenseurs où par exemple -2 désignera le deuxième sous-sol ;
  • sur les thermomètres pour indiquer les températures en dessous de 0 °C ;
  • sur les relevés bancaires où par exemple -120 indiquera un découvert de 120 euros.

Notes et références[modifier | modifier le code]

  1. De cette position relative à zéro vient l'adjectif « relatif » appliqué à ces entiers.
  2. Selon certaines conventions différentes, en vigueur notamment dans les pays anglo-saxons, l'entier zéro n'est ni positif ni négatif (cf (en) Zero).
  3. De l'allemand Zahlen, « nombres ».
  4. G. H. Hardy et E. M. Wright (trad. de l'anglais par François Sauvageot, préf. Catherine Goldstein), Introduction à la théorie des nombres [« An Introduction to the Theory of Numbers »] [détail de l’édition], chapitre 12.
  5. Mais le programme officiel de l'agrégation de mathématiques, et les sujets correspondants, utilisent l'appellation plus courante en France « entiers relatifs ».
  6. Cf. par exemple N. Bourbaki, Éléments de mathématique, Algèbre, chap. I, § 2, no 5 (p. 28 d'une vieille version accessible en ligne) ou Roger Godement, Cours d'algèbre, § 5, no 8.
  7. Paradoxe classique : si -1 < 1 alors les inverses de ces deux nombres seraient rangés dans l'ordre inverse : l'inverse de -1 est -1 et l'inverse de 1 est 1 donc -1 > 1. paradoxe qui provient de la phrase incomplète "les inverses de ces deux nombres seraient rangés dans l'ordre inverse", il faudrait préciser "les inverses de deux nombres de même signe sont rangés dans l'ordre inverse". Voir l'article fonction inverse pour plus d'informations.
  8. (en) Earliest Uses of Symbols of Number Theory.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

Entier (informatique)