Vektorraum mit Skalarprodukt/Orthogonales Komplement/Definition

Orthogonales Komplement

Sei ${}V$ ein ${}\mathbb {K}$-Vektorraum mit Skalarprodukt und ${}U\subseteq V$ ein Untervektorraum. Dann heißt

${}U^{\perp }={\left\{v\in V\mid \left\langle v,u\right\rangle =0{\text{ für alle }}u\in U\right\}}\,$

das orthogonale Komplement von ${}U$.