部分ベクトル空間の次元

部分ベクトル空間の次元。大枠のみリニューアル。