逆矩阵与线性方程组

一、逆变换:把空间”变回去”

如果变换 MM 把平面拉伸、旋转,那么逆变换 M−1M^{-1} 就是把它变回原样:

M−1⋅M=I(恒等变换,什么都不做)M^{-1} \cdot M = I \quad \text{(恒等变换,什么都不做)} M⋅M−1=IM \cdot M^{-1} = I

几何直觉:MM 是”把空间变形”,M−1M^{-1} 是”把变形恢复”。先变再复原 = 没变。

v ──M──► Mv ──M⁻¹──► v

逆矩阵存在 ⟺ det ≠ 0

  • det ≠ 0:变换没有压扁空间,可以完美复原 → 可逆
  • det = 0:空间被压扁,信息丢失,无法复原 → 不可逆(奇异)

二、2×2 逆矩阵公式

M=(abcd),M−1=1ad−bc(d−b−ca)M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}, \quad M^{-1} = \frac{1}{ad - bc}\begin{pmatrix} d & -b \\ -c & a \end{pmatrix}

记忆法:

  1. 主对角线交换:a↔da \leftrightarrow d
  2. 副对角线取负:b,cb, c 变号
  3. 整体除以行列式 ad−bcad - bc
例:M = [[2, 0], [0, 4]](x 拉 2 倍,y 拉 4 倍)
det = 8
M⁻¹ = (1/8)[[4, 0], [0, 2]] = [[0.5, 0], [0, 0.25]]
验证:M·M⁻¹ = [[2×0.5, 0], [0, 4×0.25]] = [[1, 0], [0, 1]] = I ✓

几何上:x 方向拉 2 倍,逆变换就是 x 方向压回一半(×0.5);y 方向同理。

三、逆矩阵求解线性方程组

线性方程组可以写成矩阵形式:

{ax+by=ecx+dy=f⟺(abcd)⏟M(xy)⏟x=(ef)⏟b\begin{cases} ax + by = e \\ cx + dy = f \end{cases} \quad \Longleftrightarrow \quad \underbrace{\begin{pmatrix} a & b \\ c & d \end{pmatrix}}_{M} \underbrace{\begin{pmatrix} x \\ y \end{pmatrix}}_{\mathbf{x}} = \underbrace{\begin{pmatrix} e \\ f \end{pmatrix}}_{\mathbf{b}}

即 Mx=bM\mathbf{x} = \mathbf{b}。

几何视角:问题变成——“哪个向量 x\mathbf{x} 经过变换 MM 后落在 b\mathbf{b}?”

求解:两边左乘 M−1M^{-1}:

M−1Mx=M−1b  ⟹  x=M−1bM^{-1}M\mathbf{x} = M^{-1}\mathbf{b} \implies \mathbf{x} = M^{-1}\mathbf{b}
例:2x + 0y = 2     →  [[2,0],[0,4]]·(x,y) = (2, 8)
    0x + 4y = 8
M⁻¹ = [[0.5,0],[0,0.25]]
(x, y) = M⁻¹·(2, 8) = (0.5×2, 0.25×8) = (1, 2) ✓

几何意义:解方程 = “反向运行变换”。这正是 3Blue1Brown 强调的视角:线性方程组不是符号游戏,而是”找哪个向量变换后到达目标位置”。

四、从几何理解方程组的有解性

情况几何解的情况
det ≠ 0变换满维,b\mathbf{b} 必有唯一原像唯一解
det = 0 且 b\mathbf{b} 在列空间中b\mathbf{b} 落在压扁后的线上,多个向量映射到它无穷多解
det = 0 且 b\mathbf{b} 不在列空间中b\mathbf{b} 在压扁后的线外无解

”b\mathbf{b} 在列空间中”——这个概念正是下一节的主题。

五、逆矩阵的其他性质

性质公式
乘积的逆(M1M2)−1=M2−1M1−1(M_1 M_2)^{-1} = M_2^{-1} M_1^{-1}(注意顺序交换!)
转置的逆(MT)−1=(M−1)T(M^T)^{-1} = (M^{-1})^T
逆的逆(M−1)−1=M(M^{-1})^{-1} = M
行列式det⁡(M−1)=1/det⁡(M)\det(M^{-1}) = 1/\det(M)

几何理解 (M1M2)−1=M2−1M1−1(M_1 M_2)^{-1} = M_2^{-1} M_1^{-1}:要撤销”先 M2M_2 后 M1M_1“,得先撤销 M1M_1(用 M1−1M_1^{-1}),再撤销 M2M_2(用 M2−1M_2^{-1})——所以逆的顺序反过来了。

总结

本文出现的符号

符号类型读音/说明在本文中的含义
M−1M^{-1}数学符号M inverse逆矩阵,把变换 MM 变回原样的反向变换
II数学符号identity matrix单位矩阵(恒等变换),满足 M−1M=MM−1=IM^{-1}M = MM^{-1} = I
(abcd)\begin{pmatrix} a & b \\ c & d \end{pmatrix}数学符号2 by 2 matrix2×2 矩阵的一般形式
ad−bcad - bc数学符号a d minus b c2×2 行列式,逆矩阵公式中的分母
Mx=bM\mathbf{x} = \mathbf{b}数学符号M x equals b线性方程组的矩阵形式
x=M−1b\mathbf{x} = M^{-1}\mathbf{b}数学符号x equals M inverse b用逆矩阵求出的方程组解
(M1M2)−1(M_1 M_2)^{-1}数学符号inverse of M1 M2乘积的逆,等于 M2−1M1−1M_2^{-1}M_1^{-1}(顺序交换)

中英对照

中文术语英文术语音标说明
逆矩阵inverse matrix/ˌɪnvɜːs ˈmeɪtrɪks/满足 M−1M=MM−1=IM^{-1}M = MM^{-1} = I 的反向变换矩阵
单位矩阵identity matrix/aɪˈdentəti ˈmeɪtrɪks/主对角线为 1 的矩阵,对应恒等变换 II
可逆invertible/ɪnˈvɜːtəbl/det ≠ 0 时变换可完美复原,存在逆矩阵
奇异singular/ˈsɪŋɡjʊlə/det = 0 时变换压扁空间、不可逆的状态
线性方程组system of linear equations/ˈlɪniə ɪˈkweɪʒənz/写成 Mx=bM\mathbf{x} = \mathbf{b} 的多元一次方程组
原像preimage/ˈpriːɪmɪdʒ/变换前映射到目标 b\mathbf{b} 的那个向量 x\mathbf{x}
主对角线main diagonal/meɪn daɪˈæɡənl/逆矩阵公式中需要交换的 a,da, d 所在对角线
转置transpose/trænsˈpəʊz/行列互换,满足 (MT)−1=(M−1)T(M^T)^{-1} = (M^{-1})^T

发现内容有问题?

告诉我们哪里需要改进。