向量组线性无关的充分必要条件的问题