4向量组的线性相关性