满行秩

定义

Full Row Rank) 满行秩指一个 $m\times n$ 矩阵 $A$ 的秩达到行数：

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

这里没有零行，因此在 $Rx=d$ 中不会出现 $0=c$ 的矛盾行。

等价刻画

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

• 每一行都有主元。
• $R$ 没有零行。
• 列空间等于整个 ${\mathbb{R}}^m$：

• 对每个右端项 $b\in {\mathbb{R}}^m$，方程 $Ax=b$ 都可解。
• 左零空间只有零向量，即 $A^{T}y=0$ 只允许 $y=0$。

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

对解集的影响

满行秩并不总是给唯一解。因为 $r=m$，自由变量个数是

于是：

• 若 $m=n$，没有自由变量，每个 $b$ 有唯一解。
• 若 $m<n$，有 $n-m$ 个自由变量，每个 $b$ 都有无穷多解。

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

完整解例子

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

它的增广矩阵化简为

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

再解齐次方程 $Rx=0$，令 $z=1$，得到零空间方向

因此通解为

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

与一致性条件的边界

一般系统的相容性要检查

后零行对应的右端项是否为零。满行秩时 $m-r=0$，没有零行，因此没有额外的一致性条件。这正是 $C(A)={\mathbb{R}}^m$ 的消元版本：任意 $b$ 都已经在列空间内。

不过，满行秩不排除自由变量。若 $m<n$，$R=[IF]$ 中的 $F$ 对应自由列；自由变量产生非零零空间方向，使一个特解扩展成无穷多解。

在四种秩情形中的位置

满行秩覆盖两种情形：

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

相邻概念关系

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