线代：1.4矩阵的初等变换

本课程来自 深度之眼，部分截图来自课程视频。
【第一章 线性代数】1.4矩阵的初等变换
在线LaTeX公式编辑器

任务详解：

主要介绍了矩阵的初等变换，逆矩阵的另外一种求法，矩阵的秩，线性方程组的解等知识点。
掌握目标：
1、了解由高斯消元法引入矩阵的初等变换
2、掌握矩阵的三种初等变换，了解行最简型矩阵，了解矩阵的标准型
3、掌握三种初等矩阵，掌握求逆的另一种方法
4、掌握可逆的又一个充要条件

1.矩阵的初等变换

引例：求解线性方程组

$$\{\begin{array}{l}2x_1-x_2-x_3+x_4=2,①\\ \\ x_1+x_2-2x_3+x_4=4,②\\ \\ 4x_1-6x_2+2x_3-2x_4=4,③\\ \\ 3x_1+6x_2-9x_3+7x_4=9.④\end{array}\text{\hspace{1em}(1)}$$
式（1）中①和②互换，③÷2得
$$\{\begin{array}{l}{x}_1+x_2-2x_3+x_4=4,①\\ \\ 2x_1-x_2-x_4+x_4=2,②\\ \\ 2x_1-3x_2+x_3-x_4=2,③\\ \\ 3x_1+6x_2-9x_3+7x_4=9,④\end{array}\text{\hspace{1em}(B1)}$$
式（B1）中②-③，③-2①，4-3①得：
$$\{\begin{array}{l}{x}_1+x_2-2x_3+x_4=4,①\\ \\ 2x_2-2x_3+2x_4=0,②\\ \\ -5x_2+5x_3-3x_4=-6,③\\ \\ 3x_2-3x_3+4x_4=-3,④\end{array}\text{\hspace{1em}(B2)}$$
式（B2）中②÷2，③+5②，④-3②得：
$$\{\begin{array}{l}{x}_1+x_2-2x_3+x_4=4,①\\ \\ x_2-x_3+x_4=0②\\ \\ 2x_4=-6③\\ x_4=-3④\end{array}\text{\hspace{1em}(B3)}$$
式（B3）中③和④互换，④-2③得：
$$\{\begin{array}{l}{x}_1+x_2-2x_3+x_4=4,①\\ \\ x_2-x_3+x_4=0②\\ \\ x_4=-3③\\ 0=0④\end{array}\text{\hspace{1em}(B4)}$$
以上例子实际上是把线性方程组的系数，连带常数项（等号右边的数字）看做是一个矩阵（行话叫：增广矩阵），然后对这个增广矩阵做了一系列的变化，最后可以判断方程组的解的形态。

定义1

下面三种变换称为矩阵的初等行变换：
（i）对调两行（对调i，j两行，记作$r_i\leftrightarrow r_j$；
（ii）以数k≠0乘某一行中的所有元素（第i行乘k，记作$r_i\times k$）；
（iii）把某一行所有元素的k倍加到另一行对应的元素上去（第j行的k倍加到第i行上，记作$r_i+k{r}_j$）.
把定义中的“行”换成“列”，即得矩阵的初等列变换的定义（所用记号是把“r”换成“c”）.
矩阵的初等行变换与初等列变换，统称初等变换。
注意：这里的可逆是操作可逆，和逆矩阵不一样。
显然，三种初等变换都是可逆的，且其逆变换是同一类型的初等变换；变换$r_i\leftrightarrow r_j$的逆变换就是其本身；变换$r_i\times k$的逆变换为$r_i\times (\frac{1}{k})$（或记作$r_i÷k$；变换$r_i+k{r}_j$的逆变换为$r_i+(-k)r_j$，（或记作$r_i-k{r}_j$）。
如果矩阵A经有限次初等行变换变成矩阵B，就称矩阵A与B行等价，记作$A\stackrel{r}{\sim }B$；如果矩阵A经有限次初等列变换变成矩阵B，就称矩阵A与B列等价，记作$A\stackrel{c}{\sim }B$；如果矩阵A经有限次初等变换变成矩阵B，就称矩阵A与B等价，记作A～B.
矩阵之间的等价关系具有下列性质：
（i）反身性：A~A；
（ii）对称性：若A~ B，则B~A；
（iii）传递性：若A~ B，B~ C，则A~C.

把引例中的方程系数用矩阵表示，然后用矩阵初等变化来做：




行阶梯形矩阵B5还称为行最简形矩阵，其特点是：非零行的第一个非零元为1，且这些非零元所在的列的其他元素都为0。
用归纳法不难证明（这里不证）：对于住何矩阵$A_{m\times n}$，总可经过有限次初等行变换把它变为行阶梯形矩阵和行最简形矩阵。
利用初等行变换，把一个矩阵化为行阶梯形矩阵和行最简形矩阵，是一种很重要的运算。由引例可知，要解线性方程组只需把增广矩阵化为行最简形矩阵。
由行最简形矩阵B5，即可写出方程组的解（2），反之，由方程组的解（2）也可写出矩阵B5。由此可猜想到一个矩阵的行最简形矩阵是惟一确定的（行阶梯形矩阵中非零行的行数也是惟一确定的）.
对行最简形矩阵再施以初等列变换，可变成一种形状更简单的矩阵，称为标准形。例如：

矩阵F称为矩阵B的标准形，其特点是：F的左上角是一个单位矩阵，其余元素全为0.
对于m×n矩阵A，总可经过初等变换（行变换和列变换，只用其中一种是做不到标准形的）把它化为标准形：

此标准形由m，n，r三个数完全确定，其中r就是行阶梯形矩阵中非零行的行数.所有与A等价的矩阵组成一个集合，标准形F是这个集合中形状最简单的矩阵.

定理1

设A与B为m×n矩阵，那么：
（i）$A\stackrel{r}{\sim }B$的充分必要条件是存在m阶可逆矩阵P，使PA=B；
（ii）$A\stackrel{c}{\sim }B$的充分必要条件是存在n阶可逆矩阵Q，使AQ=B；
（ii）$A\sim B$的充分必要条件是存在m阶可逆矩阵P及n阶可逆矩阵Q，使PAQ=B.
三种初等矩阵（对应三种初等变换），矩阵的本质就在于此：矩阵就是用来做变换的。
初等变换中的交换两列，对应的矩阵就是下面的矩阵；

以数k≠0乘某一行中的所有元素，对应的初等矩阵是下面的矩阵；

把某一行所有元素的k倍加到另一行对应的元素上去，对应的初等矩阵是下面的初等矩阵。

性质1：（人话版：）初等行变换，左边乘对应初等矩阵，初等列变换，右边乘对应初等矩阵。
（原版）设A是一个m×n矩阵，对A施行一次初等行变换，相当于在A的左边乘以相应的m阶初等矩阵；对A施行一次初等列变换，相当于在A的右边乘以相应的n阶初等矩阵.
性质2方阵A可逆的充分必要条件是存在有限个初等矩阵$P_1，P_2\dots ，P_i，$使$A=P_1{P}_2\dots P_i$
推论：方阵A可逆的充分必要条件是：$A\stackrel{r}{\sim }E$或者$A\stackrel{c}{\sim }E$
证明：
先证明必要条件，就是$A\stackrel{r}{\sim }E$可以推出A可逆
因为：对于矩阵A，总可经过初等变换（行变换和列变换，只用其中一种是做不到标准形的）把它化为标准形
所以$A=P_1{P}_2...P_l$（这里E为1，可以省略），其中$P_1{P}_2...P_l$是初等矩阵，每一个初等矩阵都可逆
再根据$|AB|=|A||B|$，上式可以写为$|A|=|P_1||P_2|...|P_l|$，由于初等矩阵对应的行列式$|P_1||P_2|...|P_l|$都不为0，所以$|A|\ne 0$，A可逆；
再证明充分条件，
首先，A可以用初等矩阵变换得来，写为：$A=P_1{P}_2...P_{m}F{P}_{m+1}...P_l$，其中F为A的标准形，F左边是若干个初等行变换，右边是若干个初等列变换。F的长相应该是下面这个（不过应该是n*n的方阵，偷懒用上面的图）

由于A可逆，所以$|A|\ne 0$，因此$|P_1||P_2|...|P_m|F||P_{m+1}|...|P_l|\ne 0$，由于初等矩阵可逆，所以他们各自的行列式都不为0，所以可知：$|F|\ne 0$
根据行列式的计算可知|F|的计算是对角线上的元素相乘得来，要使得$|F|\ne 0$，则对角线上不能为0，$E_r$是都为1的，所以r=n，即$E_r$就是一个单位矩阵。

2.逆矩阵的另外一种求法

这么费劲证明上面的东西就是要做这个非常重要事情，因为原来的求逆矩阵的方法太太太麻烦了，这里用上面的定理和推论就可以用比较简单初等变换来求一个逆矩阵，直接看例子吧。
设$A=\left[\begin{array}{ccc}0& -2& 1\\ 3& 0& -2\\ -2& 3& 0\end{array}\right]$，证明A可逆，并求出$A^{-1}$
$$(A,E)=\left[\begin{array}{cccccc}0& -2& 1& 1& 0& 0\\ 3& 0& -2& 0& 1& 0\\ -2& 3& 0& 0& 0& 1\end{array}\right]$$


因$A\stackrel{r}{\sim }E$，故A可逆，且$A^{-1}=\left[\begin{array}{ccc}6& 3& 4\\ 4& 2& 3\\ 9& 4& 6\end{array}\right]$
这个的原理大概是这样的，先把A和E摆一起，(A,E)，然后对这个东西做初等行变换，就是要在左边乘上$P_{1}P2...P_l$，把$P_{1}P2...P_l$记为P，则就变成：P(A,E)，经过变化后，(A,E)变成了(E,Q)，也就是：
$$P(A,E)=(E,Q)$$
也就是：
$$PA=E,PE=Q$$
由PA=E得出$P=A^{-1}$
PE=Q中单位矩阵E可以忽略，P=Q，结合上面就是：$Q=A^{-1}$，也就是Q为A的逆矩阵。