向量组相关性的性质