Quiz : Qu’est-ce que le supplémentaire orthogonal $W^\perp$ ?
L’Espace Complémentaire
Dans un espace euclidien $E$, le supplémentaire orthogonal $W^\perp$ d’un sous-espace $W$ est l’ensemble de tous les vecteurs de $E$ qui sont orthogonaux à chaque vecteur de $W$.
$$ W^\perp = \{ \mathbf{v} \in E \mid \forall \mathbf{w} \in W, \langle \mathbf{v}, \mathbf{w} \rangle = 0 \} $$Le théorème fondamental affirme que $E = W \oplus W^\perp$ (somme directe).
