Dans ce paragraphe, $(E,\left\langle .,.\right\rangle )$ désigne un espace euclidien de dimension finie $n$. On identifie $\mathcal{M}_{1}(\R)$ avec $\R$.
Théorème : Existence de bases orthonormales, coordonnées dans une telle base
Exemples
Théorème
Toute famille orthonormale de $E$ peut être complétée en une base orthonormale de $E$.
Théorème : Expression matricielle du produit scalaire
Soit $\mathcal{B}=(\vv{e_1},\dots,\vv{e_n})$ une base orthonormale de $E$. Soit $(\vv{x},\vv{y})$ un couple de vecteurs de $E$ dont les coordonnées dans la base $\mathcal{B}$ sont les matrices colonnes respectives $X$ et $Y$. Alors : $$\ds\left\langle \vv{x},\vv{y}\right\rangle ={}^t\!XY\qquad\text{et}\qquad\|\vv{x}\|^{2}={}^t\!XX$$
Exemples
Soit $\mathcal{B}=(\vv{e_1},\dots,\vv{e_n})$ une base de $E$. On définit la matrice $A\in\mathcal{M}_n(\R)$ par : $$\ds A=\left(\left\langle \vv{e_i},\vv{e_j}\right\rangle \right)_{(i,j)\in\llbracket1,n\rrbracket^{2}}$$ Pour tout vecteur $\vv{x}\in E$, on note $X$ la matrice colonne de ses coordonnées dans la base $\mathcal{B}$.
Théorème : Changement de base orthonormale
Soit $\mathcal{B}=(\vv{e_1},\dots,\vv{e_n})$ et $\mathcal{B}'=(\vv{e_1'},\dots,\vv{e_n'})$ deux bases orthonormales. Soit $P$ la matrice de passage de la base $\mathcal{B}$ à la base $\mathcal{B}'$. Alors, la matrice de passage de la base $\mathcal{B}'$ à la base $\mathcal{B}$ est la matrice : $$P^{-1}={}^t\!P$$
Définition
Une matrice carrée $P$ est dite orthogonale si et seulement si elle est inversible et $P^{-1}={}^t\!P$.
Remarque
Si $P$ est une matrice orthogonale alors ${}^t\!P$ l'est aussi.