next up previous contents
suivant: 2.7 Opérateurs linéaires: sur monter: 2 Espaces vectoriels de précédent: 2.5 Questions rapides   Table des matières

2.6 Produit scalaire

Applique un couple de vecteurs de % latex2html id marker 15323
$ \mathbb{E} $ sur un nombre: % latex2html id marker 15325
$ \psi ,\phi \rightarrow \left\langle \phi ,\psi \right\rangle \in \mathbb{C} $.

% latex2html id marker 15327
$\displaystyle \left\{ \begin{array}{ll}
\left\lang...
...gle \psi ,\psi \right\rangle =0\quad \mathrm{ssi}\, \psi =0
\end{array}\right. $

Exemple: % latex2html id marker 15329
$ \left\langle \psi ,\phi \right\rangle =\int _{a}^{b}dx\, \psi ^{*}(x)\phi (x) $

Théorème 2.6   Tout produit scalaire définit une norme (ex: norme usuelle $ \left\Vert \overrightarrow{v}\right\Vert _{2}=\sqrt{\overrightarrow{v}.\overrightarrow{v}} $)

\begin{displaymath}
% latex2html id marker 15335\begin{array}{ll}
\left\Vert \...
... \rightarrow \mathrm{interet}\, \mathrm{de}\, L^{2}
\end{array}\end{displaymath}

Preuve.  

\begin{displaymath}
% latex2html id marker 15340\begin{array}{lll}
\left\langl...
...{\left\Vert \phi \right\Vert ^{2}}\\
& \geq 0 &
\end{array}\end{displaymath}

$ \qedsymbol$

\begin{displaymath}
% latex2html id marker 15342\begin{array}{ll}
\Rightarrow ...
...}\, \mathrm{de}\, \mathrm{CAUCHY}-\mathrm{SCHWARTZ}
\end{array}\end{displaymath}

\begin{displaymath}
% latex2html id marker 15344\begin{array}{lll}
\Rightarrow...
...psi \right\Vert & \mathrm{CAUCHY}-\mathrm{SCHWARTZ}
\end{array}\end{displaymath}

\begin{displaymath}
% latex2html id marker 15346\begin{array}{ll}
\Rightarrow ...
...t\Vert & \mathrm{Inegalite}\, \mathrm{triangulaire}
\end{array}\end{displaymath}



2000-10-06