Das hatten wir schon. Schau mal dort:
https://www.mathelounge.de/947960/zeigen-sie-sei-v-einvektorraum#c948047
und zu ii) vielleicht so:
(ii) Angenommen es gilt:
\( V=U+W \) und \( W \perp U \).
==> W ist Unterraum von U⊥.
Beweis von \( W=U^{\perp} \) indirekt:
Wäre W nicht gleich U⊥, dann gäbe es ein w∈U⊥ mit w∉W.
Wegen \( V=U+W \) und w∈V gibt es u∈U und w'∈W
mit w=u+w'
==> w-w' = u
==> Skalarprodukte mit u wären auch gleich:
==> < w-w' , u > = < u,u>
==> < w, u > - <w' , u > = < u,u>
Nun ist < w, u >=0 wegen w∈U⊥
und <w' , u > = 0 wegen w'∈W und \( W \perp U \)
==> < u,u> ==> u=0, also w=w'
im Widerspruch zu w∉W und w'∈W .