HomK(V, W) := {f ∈ WV f ist K-linear}
ein Untervektorraum des K-Vektorraumes WV ist.
Dazu genügt:
1. Die 0-Abbildung ist dabei. Dem ist so, denn die
ist K-linear weil 0(x+y) = 0 = 0+0 = 0(x) + 0(y) für
alle x,y aus V gilt. und für alle
v ∈ V, λ ∈ K 0(λv) = 0 = λ*0 = λ0(v).
2. wenn f und g aus HomK(V,W) sind, dann auch f+g
3. wenn x ∈ K und f aus HomK(V,W) dann auch x*f