线代：1.3矩阵的逆

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

任务详解：

1、掌握矩阵逆的来源，可逆的充要条件，伴随矩阵算逆矩阵
2、掌握逆矩阵的性质

矩阵的逆（一定是方阵）

先导知识

第一部分：要计算矩阵的逆，先要有一些内容的铺垫
（i）$|A^T|=|A|$（行列式性质1）；
（ii）$|\lambda A|={\lambda }^n|A|$；
（ii）$|AB|=|A||B|$.
第二部分：
行列式|Al的各个元素的代数余子式$A_{ij}$转置后所构成的如下矩阵
$$A^{\ast }=\left[\begin{array}{c}{A}_{11}{A}_{21}\cdots A_{n1}\\ A_{12}{A}_{22}\cdots A_{n2}\\ ⋮⋮⋮\\ A_{1n}{A}_{2n}\cdots A_{nn}\end{array}\right]$$
称为矩阵A的伴随矩阵，简称伴随阵
$$A{A}^{\ast }=A^{\ast }A=|A|E\text{\hspace{1em}(1)}$$
伴随矩阵需要注意两点：
1.伴随矩阵中的每一项代数余子式$A_{ij}$都是实数
2.代数余子式$A_{ij}$的下标要注意，有转置的关系
下面对公式（1）做简单的证明，先记$X=A{A}^{\ast }$
$$\left[\begin{array}{c}{a}_{11}{a}_{12}\cdots a_{1n}\\ a_{21}{a}_{22}\cdots a_{2n}\\ ⋮⋮⋮\\ a_{n1}{a}_{n2}\cdots a_{nn}\end{array}\right]\left[\begin{array}{c}{A}_{11}{A}_{21}\cdots A_{n1}\\ A_{12}{A}_{22}\cdots A_{n2}\\ ⋮⋮⋮\\ A_{1n}{A}_{2n}\cdots A_{nn}\end{array}\right]$$
以上两个矩阵相乘结果也是矩阵，我们可以计算出结果中的$X_{11}$应该为以上矩阵第一行乘上第一列：
$$\left[\begin{array}{c}{a}_{11}{a}_{12}\cdots a_{1n}\end{array}\right]\left[\begin{array}{c}{A}_{11}\\ A_{12}\\ ⋮\\ A_{1n}\end{array}\right]$$
$$=a_{11}{A}_{11}+a_{12}{A}_{12}+\cdots +a_{1n}{A}_{1n}$$
根据行列式的展开的定理（上节中的定理3：行列式等于它的任一行（列）的各元素与其对应的代数余子式乘积之和）可知，上面式子结果为：
$$|A|$$
同理，计算$X_{22}$应该为以上矩阵第2行乘上第2列：
$$\left[\begin{array}{c}{a}_{21}{a}_{22}\cdots a_{2n}\end{array}\right]\left[\begin{array}{c}{A}_{21}\\ A_{22}\\ ⋮\\ A_{2n}\end{array}\right]$$
$$=a_{21}{A}_{21}+a_{22}{A}_{22}+\cdots +a_{2n}{A}_{2n}=|A|$$
以此类推，X对角线上都是$|A|$
再看其他位置，例如$X_{12}$
$$\left[\begin{array}{c}{a}_{11}{a}_{12}\cdots a_{1n}\end{array}\right]\left[\begin{array}{c}{A}_{21}\\ A_{22}\\ ⋮\\ A_{2n}\end{array}\right]$$
$$=a_{11}{A}_{21}+a_{12}{A}_{22}+\cdots +a_{1n}{A}_{2n}=0$$
这里用的上一节的推论：

以此类推，X的对角线位置以外的地方都是0
$$X=\left[\begin{array}{c}|A|0\cdots 0\\ 0|A|\cdots 0\\ ⋮⋮⋮\\ 00\cdots |A|\end{array}\right]$$
由于$|A|$是常数，所以可以把上面的$|A|$从矩阵中提取出来
$$|A|\left[\begin{array}{c}10\cdots 0\\ 01\cdots 0\\ ⋮⋮⋮\\ 00\cdots 1\end{array}\right]=|A|E$$
结论得证。

逆的定义

定义7对于n阶矩阵A，如果有一个n阶矩阵B，使
$$AB=BA=E$$
则说矩阵A是可逆的，并把矩阵B称为A的逆矩阵，简称逆阵。
如果矩阵A是可逆的，那么A的逆阵是惟一的。这是因为：设B，C都是A的逆阵，则有
$$B=BE=B(AC)=(BA)C=EC=C$$
所以A的逆阵是惟一的.
A的逆阵记作$A^{-1}$。即若AB=BA=E，则$B=A^{-1}$。

定理1

若矩阵A可逆，则$|A|\ne 0$.
证：A可逆，即有$A^{-1}$，使$A{A}^{-1}=E$.故$|A|\cdot |A^{-1}|=|E|=1$（这里是根据先导知识的公式3），所以$|A|\ne 0$。

定理2

若$|A|\ne 0$，则矩阵A可逆，且$A^{-1}=\frac{1}{|A|}{A}^{\ast }$，其中$A^{\ast }$为A的伴随矩阵。
证明过程：
$$A{A}^{\ast }=A^{\ast }A=|A|E\text{\hspace{1em}(1)}$$
由公式1变化，同时除以|A|（这个玩意是实数，不是矩阵，可以直接除），得：
$$A\frac{A^{\ast }}{|A|}=\frac{A^{\ast }}{|A|}A=E$$
根据上面逆的定义公式：$AB=BA=E$
$B=A^{-1}=\frac{1}{|A|}{A}^{\ast }$

推论：若AB=E（或BA=E），则$B=A^{-1}$。这里要注意，和逆的定义中不一样的是这里的两个条件是或的关系，定义中是并且的关系。
证明法一：AB=E→|A||B|=1→|A|≠0，由上面的定理2，A可逆，再根据定义可知A的逆唯一，$A^{-1}=B$
证明法二：AB=E→$A^{-1}AB=A^{-1}E$→$EB=A^{-1}E$→$B=A^{-1}$

逆矩阵的性质

（i）若A可逆，则$A^{-1}$亦可逆，且$(A^{-1}{)}^{-1}=A$.
（i）若A可逆，数$\lambda \ne 0$，则$\lambda A$可逆，且$(\lambda A{)}^{-1}=\frac{1}{\lambda }{A}^{-1}$
（ii）若A，B为同阶矩阵且均可逆，则AB亦可逆，且
（AB）-1=B1A1.$$(AB{)}^{-1}=B^{-1}{A}^{-1}$$
（iv）若A可逆，则$A^T$亦可逆，且$(A^T{)}^{-1}=(A^{-1}{)}^T$