Ｖが体Ｋベクトル空間である事を示せって言われたら
∀ａ、∀ｂ∈Ｖ
∀λ、∀μ∈Ｋに対して
λａ＋μｂ∈Ｖ
を示せばいいんですか？それとも更にＶの加法の交換則、結合則、単位元、逆元と
Ｋに対して乗法の交換則、結合則、単位元、逆元がある事を示せばいいのですか？