Sei v∈V ==> w := P(v) ∈ Im(P)
und v - w ∈ ker(P), weil P(v-w) = P(v) - P(w)
= P(v) - P(P(v)) (nach Def. von w )
= P(v) - P(v) (wegen P^2 = P )
= 0 .
Also gibt es zu jedem v∈V eine Zerlegung in eine Summe w + (v-w)
mit einem Summanden aus Im(P) und einem aus ker(P).
Also v ∈ Im(P) + ker(P) #. Diese Summe ist direkt, denn :
Sei u ∈ Im(P) und u ∈ ker(P)
==> Es gibt ein v∈V mit u = P(v) und P(u)=0
==> P(P(v)) = 0 und wegen P^2 = P
also auch P(v)=0, aber wegen P(v)=u ist also u=0.
D.h. Im Durchschnitt von Im(P) und ker(P) liegt nur
der Nullvektor. ==> Die # ist direkt.