形式陈述

矩阵的三种初等行变换是交换两行、把一行乘以非零标量、把一行的标量倍加到另一行。每步等价于左乘一个可逆初等矩阵；把同一行变换同时作用于系数矩阵与右端项，也就是作用于增广矩阵 $[A\mid b]$$[A\mid b]$，不会改变方程组 $Ax=b$$Ax=b$ 的解集。反复变换可得到行阶梯形；继续使主元为 $1$$1$ 且主元列其他位置为 $0$$0$，得到简化行阶梯形（RREF）。每个矩阵的 RREF 唯一。主元数等于秩，非主元变量对应自由变量。两个矩阵行等价当且仅当它们有相同 RREF，也等价于行空间相同。

直觉

行变换是在不改变方程约束集合的前提下重写方程：把冗余和依赖逐步显露，最终让主变量与自由变量一目了然。

例子与边界

增广矩阵中的行 $[0\ \cdots\ 0\mid c]$$[0\cdots 0\mid c]$ 且 $c\ne0$$c\ne 0$ 表示矛盾，系统无解。矩阵 $\begin{pmatrix}1&2\\2&4\end{pmatrix}$$\left(\begin{array}{cc}1& 2\\ 2& 4\end{array}\right)$ 消元后第二行为零，秩为 $1$$1$。行交换和倍加保持行列式到一个可追踪因子，但不会逐步保持行列式数值；它们也不保持特征值。行等价不是相似：相似变换必须同时反映定义域和陪域基变化，形式为 $P^{-1}AP$$P^{-1}AP$。列变换一般改变原未知变量坐标，若用于解方程必须同步记录变量替换。浮点高斯消元需选主元控制误差，代数上的非零主元在数值上可能极小。

推论与应用

行消元计算秩、逆矩阵、核基和线性系统解，是 Gaussian elimination、LU 分解与线性代数软件的基础。

参考资料

• Gilbert Strang, Introduction to Linear Algebra, 6th ed., Wellesley-Cambridge Press, 2023，Chs. 2–3, elimination, echelon forms, and complete solutions of Ax=b。
• Michael Artin, Algebra, 2nd ed., Pearson, 2011，Ch. 1, row operations and reduced echelon matrices。