Il a été vu dans l'article 200 qu’un $\R$-espace vectoriel normé $E$ possède des propriétés intéressantes dès que la norme vérifie la propriété du parallélogramme.
Vous allez voir que cette propriété est également valable dans le cas où $E$ est un $\C$-espace vectoriel normé.
\begin{aligned} \begin{array}{lr}
\forall (x,y)\in E^2, \lVert x+y \rVert \leq \lVert x \rVert + \lVert y \rVert & \text{(inégalité triangulaire)}\\
\forall \lambda\in\C, \forall x\in E, \lVert \lambda x \rVert = \lvert \lambda \rvert \lVert x \rVert & \text{(homogénéité)}\\
\forall x\in E, \lVert x \rVert = 0 \implies x = 0 &\text{(séparabilité)}\\
\forall (x,y)\in E^2, \lVert x+y \rVert^2 + \lVert x- y \rVert^2 = 2 \lVert x \rVert^2 + 2 \lVert y \rVert^2.&\text{(propriété du parallélogramme)}
\end{array}\end{aligned}
Définissez l’expression du futur produit scalaire hermitien
Comme cela a été établi dans l'article 199, définissez une application qui va de $E^2$ dans $\C$ à partir de l’identité de polarisation :
\begin{aligned}
\boxed{\forall (x,y)\in E^2, \langle x,y \rangle = \frac{\lVert x+y \rVert^2 – \lVert x-y \rVert^2 + i \lVert x+iy \rVert^2 -i \lVert x-iy \rVert^2}{4}.}
\end{aligned}
Montrez l’additivité
Soit $(x,y,z)\in E^3.$
\begin{aligned}
\lVert x+y+z \rVert^2 – \lVert x+y-z \rVert^2 &= \lVert x+y+z \rVert^2 + \lVert x-y+z \rVert^2 – \lVert x-y+z \rVert^2 – \lVert x+y-z \rVert^2\\
&= 2 \lVert x+z \rVert^2 + 2 \lVert y \rVert^2 – \lVert x-y+z \rVert^2 – \lVert x+y-z \rVert^2\\
&= 2 \lVert x+z \rVert^2 + 2 \lVert y \rVert^2 – 2 \lVert x \rVert^2 -2 \lVert y-z \rVert^2\\
&= 2 \lVert x+z \rVert^2 + 2 \lVert y \rVert^2 + 2 \lVert z \rVert^2 – 2 \lVert z \rVert^2 – 2 \lVert x \rVert^2 -2 \lVert y-z \rVert^2\\
&= 2 \lVert x+z \rVert^2 + \lVert y+z \rVert^2 + \lVert y-z \rVert^2- 2 \lVert z \rVert^2 – 2 \lVert x \rVert^2 -2 \lVert y-z \rVert^2\\
&= 2 \lVert x+z \rVert^2 + \lVert y+z \rVert^2 + \lVert y-z \rVert^2 – \lVert x+z \rVert^2- \lVert x-z \rVert^2 -2 \lVert y-z \rVert^2\\
&= \lVert x+z \rVert^2 – \lVert x-z \rVert^2 + \lVert y+z \rVert^2 – \lVert y-z \rVert^2.\\
\end{aligned}
Donc :
$\forall (x,y,z)\in E^3, \lVert x+y+z \rVert^2 – \lVert x+y-z \rVert^2 = \lVert x+z \rVert^2 – \lVert x-z \rVert^2 + \lVert y+z \rVert^2 – \lVert y-z \rVert^2.$
Soit $(x,y,z)\in E^3.$
Appliquez le résultat précédent avec les vecteurs $x$, $y$ et $iz$ :
\begin{aligned}
\lVert x+y+iz \rVert^2 – \lVert x+y-iz \rVert^2 &= \lVert x+iz \rVert^2 – \lVert x-iz \rVert^2 + \lVert y+iz \rVert^2 – \lVert y-iz \rVert^2 \\
i \lVert x+y+iz \rVert^2 – i \lVert x+y-iz \rVert^2 &= i \lVert x+iz \rVert^2 – i \lVert x-iz \rVert^2 + i \lVert y+iz \rVert^2 – i\lVert y-iz \rVert^2.
\end{aligned}
Vous déduisez :
\begin{aligned}
4 \langle x+y,z \rangle &= \lVert x+y+z \rVert^2 – \lVert x+y-z \rVert^2 + i \lVert x+y+iz \rVert^2 -i \lVert x+y-iz \rVert^2\\
&= \lVert x+z \rVert^2 – \lVert x-z \rVert^2 + \lVert y+z \rVert^2 – \lVert y-z \rVert^2 + i \lVert x+iz \rVert^2 – i \lVert x-iz \rVert^2 + i \lVert y+iz \rVert^2 – i\lVert y-iz \rVert^2\\
&= \lVert x+z \rVert^2 – \lVert x-z \rVert^2 + i \lVert x+iz \rVert^2 – i \lVert x-iz \rVert^2 + \lVert y+z \rVert^2 – \lVert y-z \rVert^2 + i \lVert y+iz \rVert^2 – i\lVert y-iz \rVert^2\\
&= 4 \langle x,z \rangle + 4 \langle y,z \rangle.
\end{aligned}
Il est donc établi que :
\begin{aligned}
\langle x+y,z \rangle = \langle x,z \rangle + \langle y,z \rangle.
\end{aligned}
Concluez
D’après ce qui précède :
\begin{aligned}
\boxed{\forall (x,y,z)\in E^3, \langle x+y,z \rangle = \langle x,z \rangle + \langle y,z \rangle.}
\end{aligned}
Partagez !
Diffusez cet article auprès de vos connaissances susceptibles d'être concernées en utilisant les boutons de partage ci-dessous.
Aidez-moi sur Facebook !
Vous appréciez cet article et souhaitez témoigner du temps que j'y ai passé pour le mettre en œuvre. C'est rapide à faire pour vous et c'est important pour moi, déposez un j'aime sur ma page Facebook. Je vous en remercie par avance.
Lisez d'autres articles !
Parcourez tous les articles qui ont été rédigés. Vous en trouverez sûrement un qui vous plaira !