Exemple 6 : Structures d'espaces vectoriels de R et C
Le R-espace vectoriel R
Définition : Définition de l'ensemble
L'ensemble \(\mathbb R\) des nombres réels peut être muni d'une structure de \(\mathbb R\textrm{-espace}\) vectoriel de la manière suivante :
Définition : Définition de la loi interne
Soient \(v\) et \(w\) deux réels. Il faut donner un sens à \(v + w\) ; ce doit être un élément de \(\mathbb R\). Il est donc naturel de le définir comme la somme au sens usuel de \(\mathbb R\) des deux réels \(v\) et \(w\) soit :
\(\mathbb R \times \mathbb R \to \mathbb R\)
\((v,w) \mapsto v + w\)
où + désigne l'addition dans \(\mathbb R\).
Définition : Définition de la loi externe
Ici \(\mathbb R\) joue à la fois le rôle de corps des scalaires et d'ensemble des vecteurs ; pour distinguer ces deux rôles, notons \(\mathbb R\), considéré comme ensemble de scalaires, et \(\mathfrak R\), considéré comme ensemble de vecteurs. Si \(\alpha\) est un nombre réel et \(v\) un élément de \(\mathfrak R\), \(\alpha v\) doit être un élément de \(\mathfrak R\). Il est donc naturel de définir la loi externe de la manière suivante :
\(\mathbb R \times \mathfrak R \to \mathfrak R\)
\((\alpha,v) \mapsto \alpha \times v\)
où \(\times\) désigne la multiplication dans \(\mathbb R\).
Complément : Elément neutre de la loi interne
C'est l'élément 0 de \(\mathbb R\).
Complément : Symétrique d'un élément v de R
C'est l'opposé \(-v\).
Le C-espace vectoriel C
De la même manière, \(\mathbb C\) peut être muni d'une structure de \(\mathbb C\) -espace vectoriel. On le notera alors \(\mathcal C\)
Complément : Addition
\(\mathbb C \times \mathcal C \to \mathcal C\)
\((v, w) \mapsto v + w\)
où + désigne l'addition dans \(\mathbb C\).
Complément : Multiplication par un scalaire
\(\mathbb C \times \mathcal C \to \mathcal C\)
\((\alpha, v) \mapsto \alpha \times v\)
où \(\times\) désigne la multiplication dans \(\mathbb C\).
Le R-espace vectoriel C
Définition : Définition de l'ensemble
L'ensemble \(\mathbb C\) des nombres complexes peut être aussi muni naturellement d'une structure de \(\mathbb R\textrm{-espace}\) vectoriel de la façon qui suit.
Définition : Définition de la loi interne
Soient \(v\) et \(w\) deux nombres complexes. La loi interne est définie naturellement comme précédemment par :
\(\mathbb C \times \mathbb C \to \mathbb C\)
\((v, w) \mapsto v + w\)
où + désigne l'addition dans \(\mathbb R\).
Définition : Définition de la loi externe de domaine d'opérateurs R
De même, si \(\alpha\) est un nombre réel et \(v\) un élément de \(\mathbb C\), \(\alpha v\) doit être un élément de \(\mathbb C\). Il est donc naturel de définir la loi externe de la manière suivante (\(\mathbb R\) considéré comme corps des scalaires) :
\(\mathbb R \times \mathbb C \to \mathbb C\)
\((\alpha,v) \mapsto \alpha v\)
\(\alpha v\) désignant la multiplication de \(\alpha\) par \(v\) dans le corps des nombres complexes \(\mathbb C\).
Complément : Elément neutre de la loi interne
C'est l'élément 0 de \(\mathbb C\).
Complément : Symétrique d'un élément v
C'est l'élément \(-v\)
Remarque : Remarque relative aux deux derniers exemples ci-dessus
Sur un même ensemble, il est possible de mettre plusieurs structures d'espace vectoriel, soit en changeant les lois, soit en changeant de corps des scalaires (voir les deux exemples ci-dessus).