>>746
すまんが、「ベクトル空間の構造を入れる」の意味がよく分からん
普通に線形写像の加法とスカラー倍の定義からHom(V,W)は
ベクトル空間になるんじゃない？これじゃだめ？