im(f+h)={w∈W| ∃x∈V (f+h)(x)=w } Def. von f+h gibt
={w∈W| ∃x∈V f(x)+h(x)=w }
==> Für jedes w∈W existieren also u∈Im(f) und v∈Im(h) mit w=u+v
Sind nun a1,…,an und b1,…,bm Basen von
Im(f) bzw. Im(h), also insbesondere auch Erz.systeme, dann
kann man u als Lin.komb der a1,…,an und
v als Lin.komb. der b1,…,bm darstellen, und damit
w als Linerkomb. der a1,…,an,b1,…,bm.
Also bildet a1,…,an,b1,…,bm ein Erz.sytem für im(f+h)
und somit ist dessen dim kleiner oder gleich n+m.