実ベクトル空間の部分ベクトル空間の次元

実ベクトル空間の部分ベクトル空間の次元。
大枠の外観リフォーム完了。