一般の数ベクトル空間の次元

一般の数ベクトル空間の次元についてのノートをリフォーム。