Untervektorraum im Dualraum/Orthogonalraum/Definition

Orthogonalraum (zu Untervektorraum im Dualraum)

Es sei ${}V$ ein ${}K$-Vektorraum und ${}F\subseteq {V}^{*}$ ein Untervektorraum im Dualraum ${}{V}^{*}$ zu ${}V$. Dann nennt man

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

den Orthogonalraum zu ${}F$.