Quelques propriétés sur l’orthogonalité

[ Proposition ]
Avec \(E\) un \(\mathbb{R}\)-espace vectoriel de dimension finie:

\(\bullet\)Pour \(F\) sous-espace vectoriel de \(E\), on a \(dim\ F + dim\ F^\bot \geq n\)

\(\bullet\)Soit \(F\) sous-espace vectoriel de \(E\), avec \(q_{|F}\) définie, alors \(E=F\oplus F^\bot\).
En savoir plus