一般の数ベクトル空間定義

一般の数ベクトル空間定義をリニューアル。