定义
Full Row Rank 满行秩指一个 矩阵 的秩达到行数:
这意味着每一行都有主元,行向量线性无关,。若主元列排在前面,行最简形的典型结构是
这里没有零行,因此在 中不会出现 的矛盾行。
等价刻画
满行秩可以从以下条件识别:
- 对每个右端项 ,方程 都可解。
- 左零空间只有零向量,即 只允许 。
这些条件的核心是“没有行依赖关系需要右端项配合”。因此满行秩给的是总可解性。
对解集的影响
满行秩并不总是给唯一解。因为 ,自由变量个数是
于是:
- 若 ,没有自由变量,每个 有唯一解。
- 若 ,有 个自由变量,每个 都有无穷多解。
所以满行秩系统总可解;当它短而宽时,通常是欠定系统,解集是一条直线、一个平面或更高维的仿射子空间。
完整解例子
考虑两个方程三个未知量:
它的增广矩阵化简为
没有零行,所以任何右端项都会相容。在这个具体右端项下,取自由变量 ,得到一个特解
再解齐次方程 ,令 ,得到零空间方向
因此通解为
几何上,这是两个不平行平面在三维空间中相交成一条直线。特解是线上一个点,齐次方向沿着这条线移动。
与一致性条件的边界
一般系统的相容性要检查
后零行对应的右端项是否为零。满行秩时 ,没有零行,因此没有额外的一致性条件。这正是 的消元版本:任意 都已经在列空间内。
不过,满行秩不排除自由变量。若 , 中的 对应自由列;自由变量产生非零零空间方向,使一个特解扩展成无穷多解。
在四种秩情形中的位置
满行秩覆盖两种情形:
| 秩情形 | 解的结论 | 原因 |
|---|---|---|
| 每个 恰有一个解 | 无零行条件,无自由变量 | |
| 每个 都有无穷多解 | 无零行条件,有自由变量 |
若 ,就会出现零行,某些右端项可能无法满足相容条件;若同时 ,相容时还会因为自由变量而有无穷多解。
相邻概念关系
满行秩连接的是存在性问题。它和列空间的关系最直接:列空间填满 ,所以任何右端项都能被列向量组合出来。它与满列秩互补:满列秩保证没有两个不同的系数组合产生同一个 ,满行秩保证每个 至少能被某个系数组合产生。方阵中二者同时成立时,矩阵可逆。