Valeur absolue

En mathématiques, la valeur absolue d'un nombre réel est sa valeur numérique sans tenir compte de son signe. En programmation informatique, l'identificateur utilisé pour désigner la valeur absolue est habituellement abs.

Catégories :

Opération - Fonction remarquable - Fonction de référence - Mathématiques élémentaires

Page(s) en rapport avec ce sujet :

Valeur absolue. Soit x un réel. La valeur absolue du nombre x est la distance entre 0 et x. Cette valeur absolue est notée |x|.... (source : tanopah.jo.free)
Une valeur absolue est une valeur exprimée dans l'unité de la variable... à 10 milliards de francs, que les lycéens de Belin sont au nombre de 1 800…... (source : artic.ac-besancon)
La fonction valeur absolue est une fonction positive; C'est une fonction paire; Tout nombre réel strictement positif admet deux antécédents par cette... (source : homeomath.imingo)

En mathématiques, la valeur absolue (quelquefois nommée module) d'un nombre réel est sa valeur numérique sans tenir compte de son signe. En programmation informatique, l'identificateur utilisé pour désigner la valeur absolue est habituellement abs. Il existe de nombreuses généralisations de la valeur absolue dans des espaces plus abstraits (nombre complexe, espace vectoriel ou encore corps : voir par exemple 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 phases dans l'évolution de la notion de «valeur absolue». 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 seconde phase, la valeur absolue était devenue une fonction, fréquemment 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 phase a découlé de la compréhension du nombre comme 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. Dès lors, il manquait une notation.

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

Napier aurait utilisé les valeurs absolues dans l'élaboration des tables logarithmiques, tandis 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 fréquemment utilisée dans l'analyse.

Valeur absolue d'un nombre réel

Première approche

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

+7 est constitué du signe + et de la valeur absolue 7.

–5 est constitué du signe – et de la valeur absolue 5.

La valeur absolue de +7 est par conséquent 7, la valeur absolue de –5 est par conséquent 5.

Comme il est habituel de supprimer le signe quand ce dernier est +, 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 suivante.

Définition

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

$| x | = x$ , si $x > 0$
$| x | = - x$ , si $x < 0$
$| x | = 0$ , si $x = 0$

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

Propriétés

La valeur absolue possède les propriétés suivantes :

$\forall a \in \R,\ |a| \geq 0$
$\forall a \in \R,\ |a|=0 \Leftrightarrow a = 0$
$\forall a,b \in \R,\ |ab|=|a| \times |b|$
$\forall a \in \R,\ \forall b \in \Rˆ*,\ \left|\frac{a}{b}\right| =\frac{|a|}{|b|}$
$\forall a,b \in \R,\ |a+b| \leq |a| + |b|$ (inégalité triangulaire)
$\forall a,b \in \R,\ |a - b| \geq ||a|-|b||$ (deuxième inégalité triangulaire, découle de la première)
$\left|\sum_{k=1}ˆn a_k\right|\leq \sum_{k=1}ˆn |a_k|$ (inégalité triangulaire généralisée à une famille finie $(a i)$ )
Soit $f:I\subset \R \longrightarrow \R$ continue sur $I$ , $\left|\int_I f(t)\mathrm{d}t\right|\leq \int_I|f(t)|\mathrm{d}t$
$\forall a \in \R,\ |a|=\sqrt{aˆ2}$
$\forall a,b \in \R,\ |a| \leq b \Leftrightarrow - b \leq a \leq b$
$\forall a,b \in \R,\ |a| \geq b \Leftrightarrow a \leq -b$ ou $a \geq b$

Ces dernières propriétés sont fréquemment utilisées dans la résolution des inéquations ; par exemple pour un x réel :

$\begin{array}{lcll} &|x-3|&\leq 9 &\\ \Longrightarrow &-9 &\leq x - 3 &\leq 9 \\ \Longrightarrow &-6 &\leq x &\leq 12 \end{array}$

Valeur absolue et distance

Il est utile d'interpréter l'expression $| x - y |$ comme la distance entre les deux nombres $x$ et $y$ sur la droite réelle.

En pourvussant la totalité des nombres réels de la distance valeur absolue, il devient un espace métrique.

La résolution d'une inéquation telle que $|x - 3| \leq 9$ se résout alors simplement avec la notion de distance. La solution est la totalité des réels dont la distance au réel 3 est inférieure ou égale à 9. C'est l'intervalle de centre 3 et de rayon 9. C'est l'intervalle $[3 - 9;3 + 9] = [ - 6;12]$ .

Extension aux nombres complexes

La même notation s'emploie pour le module d'un 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 $\left|z_2 - z_1\right|$ de la différence de deux nombres complexes $z 1 = x 1 + i y 1$ et $z 2 = x 2 + i y 2$ est la distance euclidienne des deux points $\left(x_1, y_1\right)$ et $\left(x_2, y_2\right)$ .

$|a+ib| = \sqrt{aˆ2+bˆ2}$
Si b est nul, module d'a = $\sqrt{aˆ2}$ = valeur absolue d'a
En représentation exponentielle, si $a = r e i θ$ alors $| a | = r$ .

La fonction valeur absolue

Cette fonction fait correspondre à tout $x$ , $x$ si ce dernier est positif ou $- x$ si ce dernier 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 que sur $\mathbb Rˆ*$ .

La fonction valeur absolue de x

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) \geq 0$ et coïncidant avec $- f$ pour tout $x$ tel que $f(x) \leq 0$

Valeur absolue dans un corps

Une valeur absolue^[1] sur un corps $\mathbb{K}$ est une application qui à tout élément $x$ de $\mathbb{K}$ fait correspondre un nombre réel positif noté $| x |$ de telle sorte que :

$\forall x \in \mathbb{K} : |x| = 0 \iff x = 0$ (séparation) ;
$\forall (x,y) \in \mathbb{K}ˆ2 : |x + y| \leq |x| + |y|$ (inégalité triangulaire) ;
$\forall (x,y) \in \mathbb{K}ˆ2 : |xy| = |x| |y|$

Une valeur absolue est dite ultramétrique si

$\forall (x,y) \in \mathbb{K}ˆ2 : |x + y| \leq \max( |x| , |y| )$

C'est le cas si et uniquement si cette valeur absolue est induite par une valuation à valeurs réelles^[2].

Exemples

Le module défini sur $\mathbb{C}$ est bien une valeur absolue d'où le fait qu'on utilise la même notation.
La valeur absolue p-adique défini sur le corps $\mathbb{Q}_p$ (p un nombre premier) est une valeur absolue ultramétrique.

Notes et références

↑ Bourbaki, Eléments de mathématiques, Topologie générale, chap. IX, § 3
↑ Jean-Pierre Serre, Corps locaux [détail des éditions], première page du chapitre II

Voir aussi

Recherche sur Amazon (livres) :

Ce texte est issu de l'encyclopédie Wikipedia. Vous pouvez consulter sa version originale dans cette encyclopédie à l'adresse http://fr.wikipedia.org/wiki/Valeur_absolue.
Voir la liste des contributeurs.
La version présentée ici à été extraite depuis cette source le 10/03/2010.
Ce texte est disponible sous les termes de la licence de documentation libre GNU (GFDL).
La liste des définitions proposées en tête de page est une sélection parmi les résultats obtenus à l'aide de la commande "define:" de Google.
Cette page fait partie du projet Wikibis.