Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] \| Liste Catégories \| Une page au hasard \| Pages liées

Module d'un nombre complexe

Soit un nombre complexe z = a + ib, on définit le module d'un nombre complexe comme étant le réel positif |z| = √(a² + b²) = √ (z z^*) (voir racine carrée et complexe conjugué).

Le module vérifie les propriétés suivantes :

|a| ≥ 0
|a| = 0 si et seulement si a = 0.
|ab| = |a||b|
|a/b| = |a| / |b| (si b ≠ 0)
|a+b| ≤ |a| + |b| (inégalité triangulaire)
|a-b| ≥ ||a| - |b||

Si on interprète z comme un point dans le plan, c'est-à-dire si on considère son image alors, |z| est la distance de l'image de z à l'origine.

Il est utile d'interpréter l'expression |x - y| comme la distance entre les deux nombres complexes x et y dans le plan complexe.

D'un point de vue algébrique, le module est une valeur absolue, qui confère à l'ensemble des nombres complexes la structure de corps valué. C'est en particulier une norme, de sorte que le plan complexe est un espace vectoriel normé. Il en résulte que c'est aussi un espace métrique (donc un espace topologique). L'application : $\mathbb C\times \mathbb C \rightarrow \mathbb R_+$ , $(z_1, z_2)\mapsto |z_1-z_2|$ est une distance.

Autres propriétés du module :

Pour tout nombre complexe z, $|\overline{z}|=|z|=|-\overline{z}|=|-z|$ .

Pour tous réels x et y, $|x|\leq \sqrt{x^2+y^2}=|x+iy|$ et $|y|\leq \sqrt{x^2+y^2}$ (|x| et |y| valeurs absolues respectives de x et y)

Cas d'égalité dans l'inégalité triangulaire : Pour tous nombres complexes z et z', |z+z'|=|z|+|z'| si et seulement si $\overline{z}z'\in\mathbb R_+$ , si et seulement s’il existe un réel positif tel que ou et si et seulement si les images de z et z' appartiennent à une même demi-droite d'origine O.

Soient n un entier naturel non nul, et $z_1, z_2, \cdots, z_n$ n nombres complexes. On a $|z_1+z_2+\cdots+z_n|\leq |z_1|+|z_2|+\cdots+|z_n|$ (inégalité triangulaire généralisée). Il y a égalité si et seulement si les images des nombres complexes appartiennent à une même demi-droite d'origine O.

L'ensemble $\mathbb U$ des nombres complexes de module 1 est un sous-groupe de $\left(\mathbb C^*, \times\right)$

L'application $z\mapsto |z|$ de $\left(\mathbb C^*, \times\right)$ dans $\left(\mathbb R^*, \times\right)$ est un morphisme de groupe. Son noyau n'est autre que l'ensemble $\mathbb U$ .

On appelle $\mathbb U$ le groupe des unités.

Catégories: Nombre

This site support the Wikimedia Foundation. This Article originally from Wikipedia. All text is available under the terms of the