1.6 Invertible Matrices

可逆矩阵的引入和介绍就很有意思，如果$P$是一系列初等矩阵的乘积，那么$B=PA$和$A$是row-equivalent的，所以$A$和$B$也是row-equivalent的，故有一个一系列初等矩阵的乘积$Q$使得$A=QB$，如果$A=I_m$，那么就会有$B=P,I_m=QB=QP$，所以通过$P$得到了一个$Q$，因而有inverse matrix的概念，inverse可以有左有右，不必同时存在，但如果同时存在，必相等。Theorem 10说明：矩阵的逆矩阵也可逆且逆逆得自身，两个（可推广到有限个）逆矩阵乘积也可逆。Theorem 11则证明初等矩阵是可逆的，其逆矩阵就是单位矩阵在该初等矩阵对应初等行变换的逆变换下的矩阵，计算也很简单。
Theorem 12得出了重要的三个等价关系：可逆、与单位矩阵row-equivalent、是一系列初等矩阵的乘积，其两个重要推论，一是把$A$变成单位阵的行变换可以同时把$I$变成$A^{-1}$，二是两矩阵row-equivalent当且仅当一个矩阵等于某可逆阵左乘另一个矩阵（因为可逆阵就是一系列初等矩阵的乘积）。Theorem 13是另一组重要等价关系：$A$可逆、$AX=0$只有零解、$AX=Y$对每一个$Y$都有解。这两个定理说明了可逆阵的威力。推论一是如果是方阵，那么光有左逆或右逆就代表可逆。推论二是方阵的乘积可逆代表每个方阵均可逆，即Theorem 10在方阵约束下增强了。
这一节最后要说明的两个事，一个是如何用初等行变换或者初等矩阵乘积求逆，另一个是行的事情都可以复制到列上，只是初等矩阵会发生变化，且从左乘变成右乘。

Exercises

1. Let

$$A=\left[\begin{array}{cccc}1& 2& 1& 0\\ -1& 0& 3& 5\\ 1& -2& 1& 1\end{array}\right]$$

Find a row-reduced echelon matrix $R$ which is row-equivalent to $A$ and an invertible $3\times 3$ matrix $P$ such that $R=PA$.

solution: We perform row operations on $A^{\prime }=\left[\begin{array}{cc}A& Y\end{array}\right]$ with $Y=[y_1,y_2,y_3{]}^T$, thus
$$\begin{array}{rl}{A}^{\prime }& =\left[\begin{array}{ccccc}1& 2& 1& 0& y_1\\ -1& 0& 3& 5& y_2\\ 1& -2& 1& 1& y_3\end{array}\right]\to \left[\begin{array}{ccccc}1& 2& 1& 0& y_1\\ 0& 2& 4& 5& y_2+y_1\\ 0& -4& 0& 1& y_3-y_1\end{array}\right]\\ & \to \left[\begin{array}{ccccc}1& 2& 1& 0& y_1\\ 0& 2& 4& 5& y_2+y_1\\ 0& 0& 8& 11& 2y_2+y_3+y_1\end{array}\right]\to \left[\begin{array}{ccccc}1& 2& 1& 0& y_1\\ 0& 1& 2& \frac{5}{2}& \frac{1}{2}(y_2+y_1)\\ 0& 0& 1& \frac{11}{8}& \frac{1}{8}(2y_2+y_3+y_1)\end{array}\right]\\ & \to \left[\begin{array}{ccccc}1& 2& 0& -\frac{11}{8}& \frac{7}{8}{y}_1-\frac{1}{4}{y}_2-\frac{1}{8}{y}_3\\ 0& 1& 0& -\frac{1}{4}& \frac{1}{4}(y_1-y_3)\\ 0& 0& 1& \frac{11}{8}& \frac{1}{8}(2y_2+y_3+y_1)\end{array}\right]\to \left[\begin{array}{ccccc}1& 0& 0& -\frac{7}{8}& \frac{3}{8}{y}_1-\frac{1}{4}{y}_2+\frac{3}{8}{y}_3\\ 0& 1& 0& -\frac{1}{4}& \frac{1}{4}(y_1-y_3)\\ 0& 0& 1& \frac{11}{8}& \frac{1}{8}(2y_2+y_3+y_1)\end{array}\right]\end{array}$$
thus $R=[\begin{array}{cccc}1& 0& 0& -\frac{7}{8}\\ 0& 1& 0& -\\ 0& 0& 1& \end{array}$