展开 证明是否为向量空间