Mit F ist auch F2 linear und es gilt
dim(Kern(F2) + dim(Bild(F2)=dim(V)
genauso wie
dim(Kern(F) + dim(Bild(F)=dim(V)
Mit BildF=BildF2. Gibt das also dim(Kern(F)dim(Kern(F2).
Außerdem ist wegen F(x)=0 ==> F2(x)=F(0)=0 jedenfalls
Kern(F2) ⊆ Kern(F).
Und wenn ein Unterraum ( hier Kern(F2) ) die gleiche dim hat
wie der Raum, von dem es Unterraum ist, dann sind beide gleich.