如何判断集合是否构成向量空间