ベクトル空間一般における線形結合

ベクトル空間一般における線型結合・一次結合の定義のメンテ完了。