展开 向量组线性无关的性质