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!