展开 向量空间的维数与向量空间中向量的维数相等