Also gehen wir mal von endlichdimensional aus und unterscheiden 2 Fälle:
1. U=V dann ist U⊥ = {0} und für jedes v∈V
ist v = v+0 also aus U + U⊥ und wegen U ∩ U⊥ = {0}
ist die Summe direkt.
2. U≠V, dann besitzt U eine Basis (u1,...,un) und diese
ist zu einer Basis (u1,...,un,v1,...,vm) von V ergänzbar.
Aus dieser wiederum lässt sich (nach Gram-Schmidt) eine
Orthogonalbasis von V (u1',...,un',v1',...,vm') gewinnen .
Dann ist (u1',...,un') eine Orthogonalbasis von U
und (v1',...,vm') eine von U⊥.
Ist nun v∈V, dann gibt es a1,...,an∈ℝ und b1,...,bm∈ℝ
mit v = a1u1'+...anun' + b1v1',...,bmvm' .
Dabei liefern die ersten n Summanden ein Element
aus U und die übrigen eines aus U⊥. Also ist V als
Element von U + U⊥ dargestellt.
Und wegen der Orthogonalität gilt U ∩ U⊥ = {0}.