>>746の前半はこれでいいんでしょうか?
f,g∈Hom(V,W)のとき
v∈Vに対し、(f+g)(v):＝f(v)+g(v)で定義する
f∈Hom(V,W)のとき
v∈V,c∈Rに対し、(c*f)(v):＝c*f(v)で定義する