>>772の続きです
次にHom(V,W)がベクトル空間の定義をみたしていることを示す
(1)x+y=y+x
∵)(x+y)(v)＝x(v)+y(v)(定義より)＝y(v)+x(v)(Ｗ:ベクトル空間より)＝(y+x)(v)
(2)(x+y)+z=x+(y+z)
∵)((x+y)+z)(v)
＝(x+y)(v)+z(v)(定義より)
＝x(v)+y(v)+z(v)(定義より)
＝x(v)+(y(v)+z(v))
x(v)+(y+z)(v)(定義より)
(x+(y+z))(v)(定義より)
(3)x+0=0+x=xがHom(V,W)のすべての元xに対して成り立つようなHom(V,W)の元0が存在する
∵)0:Ｖ→Ｗを∀v∈Ｖ,0(v)=0wで定義すると0∈Hom(V,W)
この0に対して、
(x+0)(v)
=x(v)+0(v)
=x(v)+0w
=x(v)

(0+x)(v)
=0(v)+x(v)
=0w+x(v)
=x(v)

∴x+0=0+x=x

(4)Hom(V,W)の各元xに対してx+x'=x'+x=0が成り立つようなHom(V,W)の元x'が存在する
∵)Hom(V,W)の各元xに対してx'をx'(v)=-x(v)で定義するとx'∈Hom(V,W)でx+x'=x'+x=0

(まだ続きます)