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