Mal erst eine Richtung: Also es gibt 4 Homomorphismen:
f11:V1→W1 und f12:V1→W2 und ... .
Sei also nun v∈V und f : V → W eine Abbildung, die die
Bedingung f(v1 + v2) = (f11(v1) + f21(v2)) + (f12(v1) + f22(v2))
für alle v1 ∈V1 und v2 ∈V2 erfüllt.
Wegen V = V1 ⊕ V2 gibt es genau ein Paar (v1,v2)
mit v1 ∈V1 und v2 ∈V2 und v = v1+v2.
Es ist f(v1) =f(v1+0) = (f11(v1) + f21(0)) + (f12(v1) + f22(0))
und weil Homomorphismen immer 0 auf 0 abbilden
= f11(v1) + f12(v1) . Analog f(v2)= f21(v2) + f22(v2) .
Damit ist f(v) = f(v1+v2)= (f11(v1) + f21(v2)) + (f12(v1) + f22(v2))
= f11(v1) + f12(v1) + f21(v2) + f22(v2) = f(v1) + f(v2).
Entsprechendes hat man für jedes u∈V mit u=u1+u2
Kann man damit wohl f(v+u) = f(v) + f(u) zeigen.