线性代数中的dim怎么求