定义

Full Row Rank 满行秩指一个 矩阵 的秩达到行数:

这意味着每一行都有主元,行向量线性无关,。若主元列排在前面,行最简形的典型结构是

这里没有零行,因此在 中不会出现 的矛盾行。

等价刻画

满行秩可以从以下条件识别:

  • 对每个右端项 ,方程 都可解。
  • 左零空间只有零向量,即 只允许 。

这些条件的核心是“没有行依赖关系需要右端项配合”。因此满行秩给的是总可解性。

对解集的影响

满行秩并不总是给唯一解。因为 ,自由变量个数是

于是:

  • 若 ,没有自由变量,每个 有唯一解。
  • 若 ,有 个自由变量,每个 都有无穷多解。

所以满行秩系统总可解;当它短而宽时,通常是欠定系统,解集是一条直线、一个平面或更高维的仿射子空间。

完整解例子

考虑两个方程三个未知量:

它的增广矩阵化简为

没有零行,所以任何右端项都会相容。在这个具体右端项下,取自由变量 ,得到一个特解

再解齐次方程 ,令 ,得到零空间方向

因此通解为

几何上,这是两个不平行平面在三维空间中相交成一条直线。特解是线上一个点,齐次方向沿着这条线移动。

与一致性条件的边界

一般系统的相容性要检查

后零行对应的右端项是否为零。满行秩时 ,没有零行,因此没有额外的一致性条件。这正是 的消元版本:任意 都已经在列空间内。

不过,满行秩不排除自由变量。若 , 中的 对应自由列;自由变量产生非零零空间方向,使一个特解扩展成无穷多解。

在四种秩情形中的位置

满行秩覆盖两种情形:

秩情形解的结论原因
每个 恰有一个解无零行条件,无自由变量
每个 都有无穷多解无零行条件,有自由变量

若 ,就会出现零行,某些右端项可能无法满足相容条件;若同时 ,相容时还会因为自由变量而有无穷多解。

相邻概念关系

满行秩连接的是存在性问题。它和列空间的关系最直接:列空间填满 ,所以任何右端项都能被列向量组合出来。它与满列秩互补:满列秩保证没有两个不同的系数组合产生同一个 ,满行秩保证每个 至少能被某个系数组合产生。方阵中二者同时成立时,矩阵可逆。