矩阵A是m×n矩阵，齐次线性方程组AX=0只有零解的充要条件是A的列向量线性相关。