Teilraum, der zu einer gegebenen Teilmenge eines Vektorraums orthogonal ist.

Es seien (V, V⁺) ein Bilinearsystem und M ⊆ V. Dann heißt \begin{eqnarray}{M}^{\perp }=\{{x}^{+}\in {V}^{+}|\langle x,{x}^{+}\rangle =0\,\,\text{f}\mathrm{\ddot{u}}\text{r}\,\text{alle}\,\,x\in M\}\end{eqnarray} der Orthogonalraum von M in V⁺. Entsprechend wird für M ⊆ V⁺ der Orthogonalraum \begin{eqnarray}{M}^{\perp }=\{x\in V|\langle x,{x}^{+}\rangle =0\,\,\text{f}\mathrm{\ddot{u}}\text{r}\,\text{alle}\,\,{x}^{+}\in M\}\end{eqnarray} in V erklärt. M^⊥ ist stets ein Untervektorraum von V⁺ bzw. von V.

Siehe auch orthogonales Komplement.