展开 向量空间的子集可以构成子空间