基底の定義

ベクトル空間一般における基底の定義。メンテ完了。