何度もスイマセン
>>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)で定義する
こうして定義されたf+gとc*fが線形写像になっていることを示す
∵)(f+g)(v1+v2)
＝f(v1+v2)+g(v1+v2)(定義より)
＝f(v1)+f(v2)+g(v1)+g(v2)(f,g:線形より)
＝(f+g)(v1)+(f+g)(v2)(定義より)

(f+g)(k*v)
＝f(k*v)+g(k*v)(定義より)
＝k*f(v)+k*g(v)(f,g:線形より)
＝k*(f(v)+g(v))
＝k*(f+g)(v)(定義より)

(続く)