実ベクトル空間の定義

実ベクトル空間の定義。メンテナンス完了。