Untervektorraum/Orthogonalraum im Dualraum/Definition

Orthogonalraum

Zu einem Untervektorraum ${}U\subseteq V$ in einem ${}K$-Vektorraum nennt man

${}U^{\perp }={\left\{f\in {V}^{*}\mid f(u)=0{\text{ für alle }}u\in U\right\}}\subseteq {V}^{*}\,$

den Orthogonalraum zu ${}U$.