Valeur absolue

En mathématiques, la valeur absolue (parfois appelée module, c'est-à-dire mesure) d'un nombre réel est sa valeur numérique considérée sans tenir compte de son signe. On peut la comprendre comme sa distance à zéro ; ou comme sa valeur quantitative, à laquelle le signe ajoute une idée de polarité ou de sens (comme le sens d'un vecteur). Par exemple, la valeur absolue de –4 est 4, et celle de +4 est 4. La valeur absolue se note par des barres verticales : ainsi, on écrit : |–4| = |+4| = 4. En programmation informatique, l'identificateur utilisé pour désigner la valeur absolue est usuellement abs.

Il existe de nombreuses généralisations de la valeur absolue dans des espaces plus abstraits (nombres complexes, espaces vectoriels, corps commutatifs voire corps gauches : voir par exemple l’article « Norme »). Cette notion est proche de celles de distance et de magnitude dans de nombreuses branches de la physique et des mathématiques.

Historique

Il y a eu quatre étapes dans l'évolution de la notion de valeur absolue^{[réf. nécessaire]}. Durant la première, sa définition était le « nombre sans son signe » ou la « distance à partir de zéro ». Cette définition était implicite, car il n'y avait pas eu de définition formelle.

Dans la deuxième étape, la valeur absolue était devenue une fonction, souvent utilisée dans le calcul d'erreurs. Un sens plus exact des applications de la valeur absolue à cette époque était « prendre positivement » un nombre ou « faire abstraction des signes ».

La troisième étape a découlé de la compréhension du nombre en tant que concept abstrait. La valeur absolue devint un concept spécifique défini pour chaque nombre, en plus de la méthode pour mesurer des nombres complexes. En 1821, Cauchy popularise son utilisation dans l'analyse formelle. À ce moment, il manquait une notation.

La quatrième et dernière étape découle de sa propre formalisation. Ceci était nécessaire pour l'évolution de l'analyse complexe.

Napier aurait utilisé les valeurs absolues dans l'élaboration des tables logarithmiques, alors que Descartes et Newton les auraient utilisées pour une théorie générale des équations polynomiales. Lagrange et Gauss utilisaient la valeur absolue dans la théorie des nombres pour résoudre des équations de calcul d'erreurs. Argand et Cauchy l'utilisaient pour mesurer la distance entre nombres complexes, et Cauchy l'a souvent utilisée dans l'analyse.

Définition et propriétés

Première approche

Un nombre réel est constitué de deux parties : un signe + ou – et une valeur absolue. Par exemple :

• +7 est constitué du signe + et de la valeur absolue 7 ;
• –5 est constitué du signe – et de la valeur absolue 5.

Ainsi, la valeur absolue de +7 est 7, et la valeur absolue de –5 est 5.

Il est fréquent de ne pas écrire le signe + ; on obtient alors :

• la valeur absolue de 7 est 7 ;
• la valeur absolue de –5 est 5, c'est-à-dire l'opposé de –5.

D'où la définition ci-dessous.

Définition

Pour tout nombre réel $x$, la valeur absolue de $x$ (notée $|x|$) est définie par :

• $|x|=x,\,{\text{ si }}\,x>0$
• $|x|=-x,\,{\text{ si }}\,x<0$
• $|x|=0,\,{\text{ si }}\,x=0$

Nous remarquons que $|x|=\max(x,-x)$.

Propriétés

La valeur absolue possède les propriétés suivantes, pour tous réels $a$ et $b$ :

• $|a|\geqslant 0$
• $|-a|=|a|$
• $|a|=0\iff a=0$
• $|ab|=|a|\times |b|$
• Si $b\neq 0,\ \left|{\frac {a}{b}}\right|={\frac {|a|}{|b|}}$
• $|a|={\sqrt {a^{2}}}$
• $|a|\leqslant b\iff -b\leqslant a\leqslant b$
• $|a|\geqslant b\iff a\leqslant -b{\mbox{ ou }}a\geqslant b$
• $|a+b|\leqslant |a|+|b|\$ (inégalité triangulaire)
• $|a-b|\geqslant ||a|-|b||$ (deuxième inégalité triangulaire)
• $\left|\sum _{i=1}^{n}a_{i}\right|\leqslant \sum _{i=1}^{n}|a_{i}|\$ (inégalité triangulaire généralisée)
• $||a||=|a|$ (idempotence)

Enfin, si $f:I\to \mathbb {R}$ est continue sur $I\subset \mathbb {R}$, alors $\left|\int _{I}f(t)\mathrm {d} t\right|\leqslant \int _{I}|f(t)|\mathrm {d} t$.

La fonction valeur absolue

Représentation de la fonction valeur absolue, $y=|x|$.

Cette fonction fait correspondre à tout $x$, $x$ si celui-ci est positif ou $-x$ si celui-ci est négatif. La fonction valeur absolue est à valeurs positives, paire.

La fonction valeur absolue $f$ définie par $f(x)=|x|$ est continue sur $\mathbb {R}$ mais n'est dérivable qu'en tout point de $\mathbb {R} ^{*}$.

Si $f$ est une fonction :

• la fonction $g$ définie par $g(x)=f(|x|)$ est une fonction paire coïncidant avec $f$ pour tout $x$ de $D_{f}\cap \mathbb {R} _{+}$ ;
• la fonction $h$ définie par $h(x)=|f(x)|$ est une fonction coïncidant avec $f$ pour tout $x$ tel que $f(x)\geqslant 0$ et coïncidant avec $-f$ pour tout $x$ tel que $f(x)\leqslant 0$.

Utilisations

La valeur absolue peut être utilisées pour résoudre des équations. Par exemple, $x^{2}=9$ devient $|x|=3$ en appliquant la racine carrée, ainsi les solutions sont $x=3$ et $x=-3$.

Elle peut aussi être utilisée pour décrire un intervalle avec une inéquation ; par exemple, pour $x$ réel :

${\begin{array}{lcll}&|x-3|&\leqslant 9&\\\iff &-9&\leqslant x-3&\leqslant 9\\\iff &-6&\leqslant x&\leqslant 12\\\iff &x\in [-6;12]\end{array}}$

Ici $3$ peut être vu comme le centre de l'intervalle et $9$ le rayon.

Généralisations

Norme et distance

La valeur absolu peut être vu comme la distance à $0$ et donc sa « taille ». La notion de norme généralise cette idée aux vecteurs. Dans un espace vectoriel, une norme $\|\cdot \|$ vérifie :

1. $\|x\|=0\implies x=0$ (séparation)
2. $\|\lambda x\|=|\lambda |\|x\|$ (homogénéité)
3. $\|x+y\|\leq \|x\|+\|y\|$(inégalité triangulaire)

Intuitivement, la norme d'un vecteur mesure sa « longueur ». On remarque que la valeur absolue vérifie les trois propriétés, c'est donc une norme sur $\mathbb {R}$.

Il peut y avoir plusieurs norme sur un même espace. Par exemple dans le plan, $\|(x,y)\|_{1}=|x|+|y|$, $\|(x,y)\|_{2}={\sqrt {x^{2}+y^{2}}}$ et $\|(x,y)\|_{\infty }=\max(|x|,|y|)$ sont toutes les trois des normes.

L'expression $|x-y|$ peut aussi s'interpréter comme la distance entre les deux nombres $x$ et $y$ sur la droite réelle. En munissant l'ensemble des nombres réels de la distance valeur absolue, il devient un espace métrique.

Extension aux nombres complexes

La même notation s'emploie pour le module d'un nombre complexe. Ce choix est légitime parce que les deux notions coïncident pour les complexes dont la partie imaginaire est nulle. En outre, le module $|z_{2}-z_{1}|$ de la différence de deux nombres complexes $z_{1}=x_{1}+iy_{1}$ et $z_{2}=x_{2}+iy_{2}$ est la distance euclidienne entre les points de coordonnées $(x_{1},y_{1})$ et $(x_{2},y_{2})$.

• $|a+ib|={\sqrt {a^{2}+b^{2}}}$.
• Si $b$ est nul, module de $a={\sqrt {a^{2}}}$, soit la valeur absolue de $a$.
• En représentation exponentielle, si $a=re^{i\theta }$ alors $|a|=r$.

Valeur absolue sur un corps

Une valeur absolue sur un corps K est une application qui à tout élément $x$ de K fait correspondre un nombre réel positif noté $|x|$ de telle sorte que, pour tous $x$ et $y$ de K :

• $|x|=0\iff x=0_{K}$ (axiome de séparation) ;
• $|x+y|\leqslant |x|+|y|$ (inégalité triangulaire) ;
• $|xy|=|x||y|$

Une telle application vérifie (pour tous $a$ et $b$ dans K) :

1. Si $b\neq 0$ (donc $|b|\neq 0$) alors $\left|a/b\right|=|a|/|b|$ (en particulier, la valeur absolue du neutre multiplicatif de $K^{*}$ est égale à $1$) ;
2. Si $a$ et $b$ ont même puissance n-ième pour un certain entier $n>0$, alors ils ont même valeur absolue. En particulier (cas $n=2$) $|-a|=|a|$ ;
3. L'application $(x,y)\mapsto |y-x|$ est une distance sur K, qui munit K d'une structure de corps topologique ;
4. $|a|<1$ si et seulement si $a$ est topologiquement nilpotent, c'est-à-dire si $x^{n}$ tend vers $0$ (pour la topologie associée à cette distance).

Démonstration

1. Si $b\neq 0$ alors $\left|a/b\right|=|a|/|b|$ car $\left|a/b\right||b|=|(a/b)b|=|a|$.
2. Si $a^{n}=b^{n}$ alors les deux réels positifs $|a|$ et $|b|$ sont égaux car ils ont même puissance n-ième.
3. L'application $d:(x,y)\mapsto |y-x|$ est une distance sur K :
   • la symétrie résulte du point 2 : $|y-x|=|x-y|$ ;
   • la séparation et l'inégalité triangulaire pour d sont des conséquences immédiates de leurs homologues pour $|\cdot |$.
4. $a^{n}\to 0\iff |a^{n}|\to 0\iff |a|^{n}\to 0\iff |a|<1.$

Deux valeurs absolues $|\cdot |_{1}$ et $|\cdot |_{2}$ sur K sont dites équivalentes si les distances associées sont topologiquement équivalentes (ou, ce qui revient évidemment au même : uniformément équivalentes). On peut démontrer qu'il existe même alors une constante $c>0$ telle que $\forall x\in K\quad |x|_{2}=|x|_{1}^{c}$.

Démonstration

Remarquons d'abord que K a mêmes éléments topologiquement nilpotents pour les deux distances donc pour tout $x\in K^{*}$, $|x|_{1}<1\iff |x|_{2}<1,$ si bien que $|x|_{1}>1\iff |x|_{2}>1$ (en passant aux inverses) et donc $|x|_{1}=1\iff |x|_{2}=1$.

Si $|\cdot |_{1}$ vaut constamment $1$ sur $K^{*}$, il en est donc de même pour $|\cdot |_{2}$ et alors, $|\cdot |_{1}=|\cdot |_{2}$.

Supposons maintenant qu'il existe un $x\in K^{*}$ tel que $|x|_{1}\neq 1$ et notons $c$ le réel (strictement positif) tel que $|x|_{2}=|x|_{1}^{c}$. Alors, pour tout $y\in K^{*}$,

$\forall m\in \mathbb {Z} \;\forall n\in \mathbb {N} ^{*}\quad |y|_{1}<|x|_{1}^{m/n}\iff |y^{n}/x^{m}|_{1}<1\iff |y^{n}/x^{m}|_{2}<1\iff |y|_{2}<|x|_{2}^{m/n}$

donc

$\forall r\in \mathbb {Q} \;|y|_{1}^{c}<|x|_{1}^{rc}\iff |y|_{2}<|x|_{1}^{rc}$

autrement dit : $|y|_{1}^{c}=|y|_{2}$.

Une valeur absolue est dite ultramétrique si, pour tous $x$ et $y$ de K :

$|x+y|\leqslant \max(|x|,|y|)$.

C'est le cas si et seulement si cette valeur absolue est induite par une valuation à valeurs réelles.

Exemples

• Le module défini sur ℂ est bien une valeur absolue, d'où le fait qu'on utilise la même notation.
• Pour tout nombre premier p, la valeur absolue associée à la valuation p-adique, définie sur le corps ℚ_p, est une valeur absolue ultramétrique.

Voir aussi

Articles connexes

• Valeur algébrique

Bibliographie

• Jean-Pierre Ramis (dir.), André Warusfel (dir.), Xavier Buff, Josselin Garnier, Emmanuel Halberstadt, François Moulin, Monique Ramis et Jacques Sauloy (préf. Alain Connes), Mathématiques Tout-en-un pour la Licence 1, Paris, Dunod, coll. « Sciences Sup », 2022, 4^e éd. (1^re éd. 2006), 1040 p. (ISBN 978-2-10-084670-2, lire en ligne )
• Jean-Pierre Ramis (dir.), André Warusfel (dir.), Xavier Buff, Emmanuel Halberstadt, François Moulin, Monique Ramis et Jacques Sauloy (préf. Alain Connes), Mathématiques Tout-en-un pour la Licence 2, Paris, Dunod, coll. « Sciences Sup », 2014, 2^e éd. (1^re éd. 2007), 880 p. (ISBN 978-2-10-071392-9)
• N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions]