Mit den Vorbemerkungen über f und g wie angegeben, musst
du z.B. zeigen:
Seien h und k aus Hom(V1,W1) , dann
gilt H( h+k ) = H(h) + H(k) (Additivität)
Da die Gleichheit zweier Abbildungen ( beide von V2 nach W2)
zu zeigen ist, muss man für alle v∈ V2 zeigen, dass
H( h+k )(v) = (H(h) + H(k))(v) gilt . Sei also v ∈ V2 :
H( h+k )(v) (Def. von H )
= (go(h+k)of^(-1)) ( v)
= g( (h+k) ( f^(-1)( v) ) Def. von +
= g ( h ( f^(-1)( v) ) + k ( f^(-1)( v) ) ) Da g ein Hom.
= g ( h ( f^(-1)( v) )) + g( k ( f^(-1)( v) ) ) Def. von H
= H(h)(v) + H(k)(v) Def. von +
= ( H(h) + H(k) ) (v) .
So ähnlich Homogenität beweisen und
dann noch Bijektivität.