\(U^{\perp}:=\{v \in V \mid\langle v, u\rangle=0 \text { für alle } u \in U\} \)
Seien \(v,w \in U^{\perp} \) ==> <v,u>=0 und <w,u>=0 für alle u∈U
==> <v+w,u> = <v,u>+<w,u>=0+0 = 0 für alle u∈U, also \(v+w \in U^{\perp} \).
Ähnlich zeige auch \(av \in U^{\perp} \) für alle a∈ℝ und \(v \in U^{\perp} \).
Und \(0 \in U^{\perp} \) ist auch erfüllt. Also \(U^{\perp} \) ein Unterraum.