dim就是一个线性空间的维数。

简单的说由几个基本向量组成，就有几维，比如空间V中一个向量表示为na1+ma2,那就说明是2维的，DIM（V）=2表示为na1+ma2+ka3,就是三维的，DIM（V）=3。