逆矩阵

                     

贡献者： addis; Giacomo; PhotonYan

1. 逆矩阵

　　¹如果两个方阵的乘积是单位矩阵，

那么 $\mathbf{B}$ 就叫做 $\mathbf{A}$ 的逆矩阵，或者记为 ${\mathbf{A}}^{-1}$²。这里的一个隐含要求是 $\mathbf{x}\mapsto \mathbf{A}\mathbf{x}$ 必须是一一映射，$\mathbf{y}\mapsto {\mathbf{A}}^{-1}\mathbf{y}$ 是它的逆映射，如果是多对一的映射，将不存在逆映射。一一映射要求 $\mathbf{A}$ 的每一列都线性无关，所以 $\mathbf{A}$ 的行数必须大于等于列数。另外显然一个矩阵最多只能有一个逆矩阵。

　　 我们讨论逆矩阵时一般假设 $\mathbf{A}$ 和 ${\mathbf{A}}^{-1}$ 都是方阵³，所以 $\mathbf{A}$ 是一个 $N$ 维方阵，代表两个 $N$ 维矢量空间的一一映射，即每个空间中任何一个矢量在另一个空间中都能找到唯一对应的矢量。同理，${\mathbf{A}}^{-1}$ 的性质也相同。

　　 从以上的分析中易证，如果 $\mathbf{B}$ 是 $\mathbf{A}$ 的逆矩阵，那么 $\mathbf{A}$ 必定也是 $\mathbf{B}$ 的逆矩阵，我们说 $\mathbf{A}$ 和 $\mathbf{B}$ 互逆，即

2. 求逆矩阵

　　 令 $\mathbf{x}$ 和 $\mathbf{y}$ 为 $N$ 维列矢量，如果有

那么我们在等式两边左乘 ${\mathbf{A}}^{-1}$ 得 要求逆矩阵，一种直接的方法就是先令 $\mathbf{y}=(1,0,\dots {)}^{\mathrm{T}}$，代入式 3 解线性方程组得 $\mathbf{x}$，将 $\mathbf{x},\mathbf{y}$ 代入式 4 可知 $x$ 就是 ${\mathbf{A}}^{-1}$ 的第一列，再令 $\mathbf{y}=(0,1,0,\dots {)}^{\mathrm{T}}$，解线性方程组可得 $\mathbf{A}$ 的第二列，以此类推。

　　 在一些实际问题中，我们需要大量求解式 3 形式的方程组，每个方程组都有同样的 $\mathbf{A}$ 和不同的 $y$，一个高效的做法是先求出 ${\mathbf{A}}^{-1}$，这样解每个方程组就只需要做一次矩阵乘法（式 4 ）即可。

　　 法 2：将 $\mathbf{A}$ 和 $\mathbf{I}$ 做同样的行变换，使 $\mathbf{A}$ 变换后称为单位矩阵。 证明：行变换相当于左乘一个矩阵 $\mathbf{B}$。$\mathbf{B}\mathbf{A}=\mathbf{I}$，$\mathbf{B}\mathbf{I}=\mathbf{B}$

　　 下面给予一个例子。

　　 我们将其与一个二阶单位矩阵并在一起： $$\left(\begin{array}{cccc}1& 2& 1& 0\\ 3& 4& 0& 1\end{array}\right).$$ 下面我们对上述矩阵进行变换，使原始矩阵变为单位矩阵： $$\left(\begin{array}{cccc}1& 2& 1& 0\\ 3& 4& 0& 1\end{array}\right)=\left(\begin{array}{cccc}1& 2& 1& 0\\ 0& -2& -3& 1\end{array}\right)$$ $$=\left(\begin{array}{cccc}1& 0& -2& 1\\ 0& -2& -3& 1\end{array}\right)=\left(\begin{array}{cccc}1& 0& -2& 1\\ 0& 1& 3/2& -1/2\end{array}\right).$$ 此时右侧便成为了原始矩阵的逆。这与我们运用其他方法的计算结果是一致的。

　　 法 3：伴随矩阵（adjugate matrix）除以行列式，参考同济线代，其证明待补充。伴随矩阵被定义为原始矩阵的代数余子式形成的矩阵的转置。$(m,n)$ 处的代数余子式指的是除去本行本列（即第 $m$ 行和第 $n$ 列）元素后新生成的矩阵的行列式乘以 $(-1{)}^{m+n}$。下面举一个例子。

　　 首先，$det\mathbf{A}=4-6=-2$。其伴随矩阵为 $\left(\begin{array}{cc}4& -2\\ -3& 1\end{array}\right)$。 接着将二者相乘，我们便得到了原始矩阵的逆。逆与上一题的结果一致。

---

1. ^ 参考 Wikipedia 相关页面。
2. ^ 从矢量空间的角度来看，矩阵 $\mathbf{A}$ 把第一个矢量空间映射到第二个空间，而 ${\mathbf{A}}^{-1}$ 就代表该映射的逆映射。
3. ^ 以后如无特殊说明，我们都使用这个规定。