>>757
> >>746の前半はこれでいいんでしょうか?
まだ。
そうして定義された　f+g　と　c*f　が線形写像になっていることを示す。
また、この加法　f+g　でHom(V,W)が加群になっていることを示し
最終的にベクトル空間の定義をみたしていることを示して前半が終る。