行阶梯矩阵（行最简形）唯一

【定义】行阶梯矩阵（行最简形）

【定理】行阶梯矩阵（行最简形）存在且唯一。

【证明】

1.关于存在性，书中已经给出了算法：

2.下面给出唯一性证明

利用反证法，假设矩阵$H$经过了两种不同系列的行变换，产生了两种不同的行阶梯矩阵$H_1,H_2$。
由于行阶梯矩阵的"全零列"（列元素全为0）的原矩阵对应列也必然"全零"，这是因为行变换方阵的可逆性。下面只考虑行阶梯矩阵中"非全零列"，原矩阵对应列也必然"非全零"。

2.1 $H_1,H_2$的所有行的主元位置相同

由于第一个"非全零列"的列序号是固定的，所以，该列必然会产生一个主元。根据行阶梯矩阵的定义（c），主元所在行必然是第一个含主元的行，又因为定义（a），两种不同的行阶梯矩阵中对应的该列必然都是形如$\left(\begin{array}{c}1\\ 0\\ ⋮\\ 0\end{array}\right)$。

由于行阶梯矩阵$H_1\ne H_2$，假设第二行的主元所在列不同，为了方便证明，不妨设

$$H_1=\left\{\begin{array}{ccccc}1& 0& \dots & \dots & \dots \\ 0& 1& \dots & \dots & \dots \\ 0& 0& \dots & \dots & \dots \end{array}\right\}{H}_2=\left\{\begin{array}{ccccc}1& {-k}_1& 0& \dots & \dots \\ 0& 0& 1& \dots & \dots \\ 0& 0& 0& \dots & \dots \end{array}\right\}$$

由于行阶梯矩阵反映了多元一次方程的解结构，所以，$H_1\overrightarrow{x}=\overrightarrow{0}$表示$x_1$可以用$x_3、x_4、x_5$来表示，$H_2\overrightarrow{x}=\overrightarrow{0}$表示$x_1$可以用$x_2、x_4、x_5$来表示，$x_3$可以用$x_4、x_5$来表示。又由于两个行阶梯矩阵$H_1,H_2$都反映了$H\overrightarrow{x}=\overrightarrow{0}$的方程的解，所以两个解的结构应该是完全一样的。利用$H_1\overrightarrow{x}=\overrightarrow{0}$的$x_1$和$H_2\overrightarrow{x}=\overrightarrow{0}$的$x_3$解，代换$H_2\overrightarrow{x}=\overrightarrow{0}$中的$x_1=k_1{x}_2+k_2{x}_4+k_5{x}_5$，则可得到$x_1$用$x_3、x_4$的表达式。也就是说

$$\begin{array}{r}{x}_1=\{\begin{array}{r}{k}_1{x}_2+k_2{x}_4+k_3{x}_5\\ k_4{x}_4+k_5{x}_4\end{array}\end{array}$$

注意，图中$H_2$的第一行第二列为非零元素，所以$x_1=k_1{x}_2+k_2{x}_4+k_3{x}_5$中$k_1$必然不为零，且$x_2、x_4、x_5$在$H_2\overrightarrow{x}=\overrightarrow{0}$中是独立的，也就是说$x_2$的取值完全不受$x_4、x_5$的影响。可以固定$x_4=0、x_5=0$然后单独调节$x_2$​。所以，上述表达式是矛盾的，从而第二行主元所在列相同。

利用数学归纳法，接下来的第三行、第四行……都可以这样证明。

2.2 $H_1,H_2$的所有行的元素相同

全零行显然相等，下面仅证明第一行相等，其他行的情况类似。

假设$H_1$的第一行跟$H_2$的第一行不同，由于所有主元位置一样，不妨设

$$x_1=\{\begin{array}{r}{k}_1{x}_3+k_2{x}_4+k_3{x}_5\\ l_1{x}_3+l_2{x}_4+l_3{x}_5\end{array}$$

其中$x_3、x_4、x_5$是独立的，可以固定$x_4=0、x_5=0$然后单独调节$x_3$，所以$k_1=l_1$，同理$k_2=l_2、k_3=l_3$​

另外如果矩阵$H$是行满秩的，所有初等行变换矩阵的乘积的结果矩阵必然唯一。