线性代数的问题:Ax=0 解向量的维数=n-r(A),所谓的维数是不是