展开 如何证明构成向量空间