- Produit scalaire, norme et distance
- Orthogonalité
- Produit mixte, produit vectoriel
- Projections orthogonales
- Hyperplans affines d'un espace euclidien
- Isométries vectorielles
- Matrices orthogonales
- Isométries en dimension 2
Dans tout le chapitre, {E} est un espace vectoriel sur {\mathbb{R}}.
Produit scalaire sur un {\mathbb{R}} espace vectoriel
Définition (produit scalaire sur un ℝ-espace vectoriel) Soit {E} un espace vectoriel sur {\mathbb{R}}. Soit {f} une application de {E\times E} dans {\mathbb{R}}. On dit que {f:~E\times E\to\mathbb{R}} est un produit scalaire sur {E} si elle vérifie les propriétés suivantes :
|
Rappelons que la bilinéarité s’écrit : {\begin{array}{l}\forall\,(u,u',v,v')\in E^4,\;\forall\, (\alpha,\beta)\in\mathbb{R}^2\\[6pts]\begin{cases}f(\alpha u+\beta u',v)=\alpha f(u,v)+\beta f(u',v)\\[6pts]f(u,\alpha v+\beta v')=\alpha f(u,v)+\beta f(u,v')\end{cases}\end{array}}Si le caractère symétrique de {f} est établi, la “linéarité à droite” équivaut à la “linéarité à gauche”.
Un produit scalaire sur {E} est donc une “forme bilinéaire symétrique définie positive”.
Définition (espace préhilbertien réel, espace euclidien) Un {\mathbb{R}} espace vectoriel {E} muni d’un produit scalaire est dit préhilbertien réel. Un espace euclidien est un espace préhilbertien réel de dimension finie. |
Notations
Plutôt que de noter {f(u,v)}, on note souvent {\lt u,v>}, ou {u\cdot v}, ou {\left(u \mid v\right)}.
Avec la notation {\left({\cdot}\mid{\cdot}\right)}, que nous utiliserons, la définition d’un produit scalaire devient : {\begin{array}{l}\forall\, (u,u',v,v')\in E^4,\ \forall\, (\alpha,\beta)\in\mathbb{R}^2\\\\\begin{cases}\left({\alpha u+\beta u'}\mid{v}\right)=\alpha\left(u \mid v\right)+\beta\left({u'}\mid{v}\right)\\[6pts]\left({u}\mid{\alpha v+\beta v'}\right)=\alpha\left(u \mid v\right)+\beta\left({u}\mid{v'}\right)\\[6pts]\left(u \mid v\right)=\left({u}\mid{v}\right)\\[6pts]\left({u}\mid{u}\right)\ge0\ \;\text{et}\;\ \left({u}\mid{u}\right)=0\Leftrightarrow u=0\end{cases}\end{array}}
- avoir souscrit à mathprepa
- être connecté au site