数ベクトル空間の基底定義

一般の数ベクトル空間の基底定義をメンテ。