Théorème : Caractérisation du projeté orthogonal
Soit $p_{F}$ la projection orthogonale sur $F$. Soit $\vv{x}\in E$ et $\vv{y}\in F$. Alors :
$$\ds\vv{y}=p_{F}(\vv{x})\;\iff\;\|\vv{y}-\vv{x}\|=\min\left\{ \left.\|\vv{u}-\vv{x}\|\;\right|\,\vv{u}\in F\right\}$$Autrement dit, le vecteur $p_{F}(\vv{x})$ est le vecteur de $F$ tel que la « distance » de $\vv{x}$ à $F$ est minimale.
Définition
Soit $F$ un sous-espace vectoriel strict de $E$ et $\vv{x}\in E\setminus F$. Alors $p_{F}(\vv{x})$ est la meilleure approximation de $\vv{x}$ parmi les vecteurs de $F$.
Théorème : Problème des moindres carrés
Soit les matrices $A\in\mathcal{M}_{n,p}(\R)$ de rang $p$ (donc $p\leqslant n$) et $B\in\mathcal{M}_{n,1}(\R)$. Alors :
Exemples