逆矩阵与线性方程组
一、逆变换:把空间”变回去”
如果变换 M 把平面拉伸、旋转,那么逆变换 M−1 就是把它变回原样:
M−1⋅M=I(恒等变换,什么都不做)
M⋅M−1=I
几何直觉:M 是”把空间变形”,M−1 是”把变形恢复”。先变再复原 = 没变。
v ──M──► Mv ──M⁻¹──► v
逆矩阵存在 ⟺ det ≠ 0
- det ≠ 0:变换没有压扁空间,可以完美复原 → 可逆
- det = 0:空间被压扁,信息丢失,无法复原 → 不可逆(奇异)
二、2×2 逆矩阵公式
M=(acbd),M−1=ad−bc1(d−c−ba)
记忆法:
- 主对角线交换:a↔d
- 副对角线取负:b,c 变号
- 整体除以行列式 ad−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⟺M(acbd)x(xy)=b(ef)
即 Mx=b。
几何视角:问题变成——“哪个向量 x 经过变换 M 后落在 b?”
求解:两边左乘 M−1:
M−1Mx=M−1b⟹x=M−1b
例: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 必有唯一原像 | 唯一解 |
| det = 0 且 b 在列空间中 | b 落在压扁后的线上,多个向量映射到它 | 无穷多解 |
| det = 0 且 b 不在列空间中 | b 在压扁后的线外 | 无解 |
”b 在列空间中”——这个概念正是下一节的主题。
五、逆矩阵的其他性质
| 性质 | 公式 |
|---|
| 乘积的逆 | (M1M2)−1=M2−1M1−1(注意顺序交换!) |
| 转置的逆 | (MT)−1=(M−1)T |
| 逆的逆 | (M−1)−1=M |
| 行列式 | det(M−1)=1/det(M) |
几何理解 (M1M2)−1=M2−1M1−1:要撤销”先 M2 后 M1“,得先撤销 M1(用 M1−1),再撤销 M2(用 M2−1)——所以逆的顺序反过来了。
- 逆矩阵 M−1 = 反向变换,满足 M−1M=MM−1=I
- 逆存在 ⟺ det ≠ 0 ⟺ 变换没压扁空间
- 2×2 公式:交换主对角、副对角变号、除以行列式
- 解方程组 Mx=b ⟺ 反向变换找原像:x=M−1b
总结
本文出现的符号
| 符号 | 类型 | 读音/说明 | 在本文中的含义 |
|---|
| M−1 | 数学符号 | M inverse | 逆矩阵,把变换 M 变回原样的反向变换 |
| I | 数学符号 | identity matrix | 单位矩阵(恒等变换),满足 M−1M=MM−1=I |
| (acbd) | 数学符号 | 2 by 2 matrix | 2×2 矩阵的一般形式 |
| ad−bc | 数学符号 | a d minus b c | 2×2 行列式,逆矩阵公式中的分母 |
| Mx=b | 数学符号 | M x equals b | 线性方程组的矩阵形式 |
| x=M−1b | 数学符号 | x equals M inverse b | 用逆矩阵求出的方程组解 |
| (M1M2)−1 | 数学符号 | inverse of M1 M2 | 乘积的逆,等于 M2−1M1−1(顺序交换) |
中英对照
| 中文术语 | 英文术语 | 音标 | 说明 |
|---|
| 逆矩阵 | inverse matrix | /ˌɪnvɜːs ˈmeɪtrɪks/ | 满足 M−1M=MM−1=I 的反向变换矩阵 |
| 单位矩阵 | identity matrix | /aɪˈdentəti ˈmeɪtrɪks/ | 主对角线为 1 的矩阵,对应恒等变换 I |
| 可逆 | invertible | /ɪnˈvɜːtəbl/ | det ≠ 0 时变换可完美复原,存在逆矩阵 |
| 奇异 | singular | /ˈsɪŋɡjʊlə/ | det = 0 时变换压扁空间、不可逆的状态 |
| 线性方程组 | system of linear equations | /ˈlɪniə ɪˈkweɪʒənz/ | 写成 Mx=b 的多元一次方程组 |
| 原像 | preimage | /ˈpriːɪmɪdʒ/ | 变换前映射到目标 b 的那个向量 x |
| 主对角线 | main diagonal | /meɪn daɪˈæɡənl/ | 逆矩阵公式中需要交换的 a,d 所在对角线 |
| 转置 | transpose | /trænsˈpəʊz/ | 行列互换,满足 (MT)−1=(M−1)T |