展开 线性空间的维数和基是唯一的吗