Si tenemos un espacio vectorial euclídeo de dimensión finita, \(\mathcal{E}\), definimos el complemento ortogonal (a veces simplemente ortogonal) de un subespacio \(S\) de \(\mathcal{E}\) a \[S^\bot=\{\vec{v}\in \mathcal{E}|\;\vec{v}\bullet\vec{u}=0\,\forall \vec{u}\in S\}\] Proposición. Si \(S\subset…