Complemento ortogonale

Dato un SSV $\mathbb{U}$, il suo complemento ortogonale ${\mathbb{U}}^{\perp }$ è dato dall’insieme dei vettori ortogonali a tutti i vettori di $\mathbb{U}$: $$\begin{gathered} {\mathbb{U}}^{\perp }=\{X\in {\mathbb{R}}^n:<X,\underline{u}>=0 \\ \forall \\ \underline{u}\in \mathbb{U}\} \end{gathered}$$

Un SSV e il suo complemento ortogonale risultano essere in somma diretta.