如果矩阵列向量是线性无关的，是否可以推导出行程向量也是线性无关的？

齐次方程的关键是看它的列秩是否为n

因为行秩等于列秩，所以行数(方程数)是多余的。

存在“冗余”行，这意味着行向量组是线性相关的。

另一方面，不是“多余”的行是不相关的。