Fang mal langsam an:
1) ==> 2) etwa so:
Es gelte 1) . Bleibt zu zeigen Bild F = Bild F^2
Sei w∈ Bild F. ==> ∃z∈ℝ^n f(z)=w
Gemäß 1)
gibt es u ∈ Bild F und v ∈ Ker F mit z= u+v
==> w= f(z) = f(u+v)= f(u)+f(v) = f(u)+0 = f(u)
Wegen u ∈ Bild F ist also f(u) ∈ Bild F^2 also w∈ Bild F^2.
Damit ist Bild F ⊆ Bild F^2 gezeigt.
Sei nun w∈ Bild F^2 . ==> ∃z∈ℝ^n f(f(z))=w
Da f(z) auch aus R^n ist, gilt f( f(z)) ∈ Bild F,
also ist auch Bild F ⊇ Bild F^2 gezeigt und damit
die Gleichheit.
Dann geht es weiter mit 2) ==> 3) und
dann 3) ==> 1) und dann ist Schluss.