Für beliebiges v∈V gilt
v=(v−f(v))+f(v)
Nun ist f(v−f(v))=f(v)−f(f(v))=f(v)−f(v)=0,
also v−f(v)∈Ker(f).
Klar ist f(v)∈Im(f), insgesamt folgt:
V=Ker(f)+Im(f).
Ist v∈Ker(f)∩Im(f), so gilt f(v)=0∧∃w∈V : v=f(w),
also v=f(w)=f(f(w))=f(v)=0. Die Summe ist also direkt.