Euklidischer Vektorraum/Orthogonales Komplement/Definition

Orthogonales Komplement

Es sei $V$ ein euklidischer Vektorraum und  $U\subseteq V$  ein Untervektorraum. Dann heißt

$U^{\perp }=\{v\in V\mid ⟨v,u⟩=0\text{ für alle }u\in U\}$

das orthogonale Komplement von $U$.