Leçons de niveau 14

Théorie générale des nombres complexes/La forme algébrique des nombres complexes

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Début de la boite de navigation du chapitre
La forme algébrique des nombres complexes
Icône de la faculté
Chapitre no 1
Leçon : Théorie générale des nombres complexes
Retour auSommaire
Chap. suiv. :La forme géométrique des nombres complexes
fin de la boite de navigation du chapitre
Icon falscher Titel.svg
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie générale des nombres complexes : La forme algébrique des nombres complexes
Théorie générale des nombres complexes/La forme algébrique des nombres complexes
 », n'a pu être restituée correctement ci-dessus.

L'ensemble des nombres complexes[modifier | modifier le wikicode]


Remarques
  • Deux nombres complexes sont égaux si et seulement s'ils ont même partie réelle et même partie imaginaire.
  • En tant qu'ensemble, est donc . On a simplement décidé de noter , au lieu de , le couple des deux réels et . En particulier :
    • le couple est noté , ou plus simplement  ;
    • pour tout réel , le couple est noté , ou plus simplement .

Addition et multiplication dans [modifier | modifier le wikicode]


Remarques
  • En particulier, . On vient donc de donner un fondement à l'usuelle pseudo-définition au niveau 13 du nombre i.
  • La notation est compatible avec ces définitions car le nombre complexe correspondant au couple est bien la somme de celui correspondant à et du produit de ceux correspondant à et . On peut également le noter , car la multiplication dans est commutative.


Remarque
De plus, s'identifie à un sous-anneau de , ce qui fait également de une -algèbre.

Conjugué et module d'un nombre complexe[modifier | modifier le wikicode]


Le produit de par son conjugué est le réel positif . Sa racine carrée porte un nom :


Le corps des nombres complexes[modifier | modifier le wikicode]

Le module d'un nombre complexe non nul étant non nul, on en déduit :


Nous avons montré que est un anneau commutatif unifère et que tout élément non nul de est inversible, d'où la propriété suivante :