(1) Sei also (wie gegeben) H = v+W und x⊥H und wi eines der Basiselemente.
==> v+wi ∈ H und weil auch 0∈W (weil W ein Unterraum ist) folgt v+0∈H.
==> (Def. von x⊥H) < x, (v+wi)-(v+0) > = 0
==> < x, wi > = 0.
Die andere Richtung ist etwas aufwändiger:
Sei nun umgekehrt x∈R^n und < x, wi > = 0 für alle i∈{1,...,n-1}.
Und seien y,z ∈H. Dann ist zu zeigen < x, y-z> = 0
y,z ∈H ==> Es gibt a,b ∈ W mit y=v+a und z=v+b
==> y-z = (v+a) - (v+b) = a-b
Also < x, y-z> = < x, a-b> #
Aber a-b ∈ W, da W ein Unterraum, also Differenz zweier Elemente
von W auch in W. Also lässt sich a-b durch die Basis B darstellen :
a-b = \( \sum \limits_{k=1}^{n-1} c_i w_i \)
==> < x, a-b> = < x, \( \sum \limits_{k=1}^{n-1} c_i w_i \) >
Wegen der Linearität des Skalarproduktes
= \( \sum \limits_{k=1}^{n-1} c_i<x, w_i > \)
Da alle diese Skalarprodukte nach Vor. 0 sind, ist auch die
Summe = 0 , also < x, a-b> = 0 und also (siehe #) < x, y-z>=0. q.e.d.