Valeur absolue - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

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 donc 7, la valeur absolue de (- 5) est donc 5.

Comme il est fréquent de supprimer le signe lorsque celui-ci 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 d'un réel a les propriétés suivantes :

  • |a| \geq 0
  • |a|=0 \Leftrightarrow a = 0
  • |ab|=|a| \times |b|
  • \left|\frac{a}{b}\right| =\frac{|a|}{|b|}(si b ≠ 0)
  • |a+b| \leq |a| + |b| (inégalité triangulaire)
  • |\sum_{k=1}^n a_k|\leq \sum_{k=1}^n |a_k| (inégalité triangulaire généralisée à une famille finie (ai))
  • |\int_I f(t)\,dt|\leq \int_I|f(t)|\,dt
  • |a - b| \geq ||a|-|b|| (deuxième inégalité triangulaire, découle de la première)
  • |a|=\sqrt{a^2}
  • |a| \leq b \Leftrightarrow - b \leq a \leq b
  • |a| \geq b \Leftrightarrow a \leq -b ou a \geq b

Ces dernières propriétés sont souvent utilisées dans la résolution des inéquations ; par exemple :

|x - 3| ≤ 9
-9 ≤ x - 3 ≤ 9
-6 ≤ x ≤ 12

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 munissant l'ensemble 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 à l'aide de la notion de distance. La solution est l'ensemble 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 z1 = x1 + iy1 et z2 = x2 + iy2 est la distance euclidienne des deux points \left(x_1, y_1\right) et \left(x_2, y_2\right).

  • Module de a + ib = \sqrt{a^2+b^2}
  • Si b est nul, module de a = \sqrt{a^2} = valeur absolue de a

La fonction valeur absolue

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 et dérivable sur \mathbb R^* mais n'est pas dérivable en 0.

Sa représentation graphique est en forme de V:Image:courbe_abs.png

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 définie sur un corps \mathbb{K} est une application qui à tout élément x de \mathbb{K} fait correspondre un nombre réel positif ou nul noté |x| de telle sorte que :

  • |x| = 0 \Leftrightarrow x = 0 (séparation) ;
  • \forall (x,y) \in \mathbb{K} \times \mathbb{K} : |x + y| \leq |x| + |y| (inégalité triangulaire) ;
  • \forall (x,y) \in \mathbb{K} \times \mathbb{K} : |x \times y| = |x| \times |y|

Une valeur absolue est dite ultramétrique si

  • \forall (x,y) \in \mathbb{K} \times \mathbb{K} : |x + y| \leq \max( |x| , |y| )

On peut utiliser des valeurs absolues sur un anneau ou un groupe grâce à la valeur absolue induite sur ce groupe ou ce corps.

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.
Page générée en 0.005 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise