Es sei V {\displaystyle {}V} ein K {\displaystyle {}{\mathbb {K} }} -Hilbertraum und sei U ⊆ V {\displaystyle {}U\subseteq V} ein abgeschlossener Untervektorraum.
Dann gibt es zu jedem v ∈ V {\displaystyle {}v\in V} eine eindeutige Darstellung
mit u ∈ U {\displaystyle {}u\in U} und w ∈ U ⊥ {\displaystyle {}w\in U^{\perp }} .
