行列式为零与退化

一、det = 0：空间被”压扁”

当 $\det(M) = 0$ 时，变换把二维平面压缩成一条线甚至一个点：

• 面积从 1 变成 0
• 整个二维空间坍缩到一维（或零维）

这样的变换叫奇异矩阵（singular matrix）或不可逆矩阵。

二、交互演示：det = 0 的样子

点击”奇异 (det=0)“预设（矩阵 $[[1,2],[2,4]]$）：

• 观察网格被压成一条直线
• 两个基向量 $\hat{\imath}, \hat{\jmath}$ 变成共线（都落在这条线上）
• 平行四边形面积 = 0

为什么 [[1,2],[2,4]] 的 det = 0？

$$\det = 1 \times 4 - 2 \times 2 = 4 - 4 = 0$$

因为第 2 列 $(2,4)^T$ 恰好是第 1 列 $(1,2)^T$ 的 2 倍——两列线性相关，张不成面积。

三、det = 0 意味着什么

1. 不可逆（没有逆变换）

线性变换是可逆的，当且仅当存在一个变换能把它”变回去”。但如果变换把二维压成一条线，多个不同的输入向量会映射到同一个输出——信息丢失，无法恢复，所以没有逆变换。

2. 不是一一对应

可逆变换是双射（一对一且满射）：每个输入对应唯一输出，每个输出也有唯一输入。det ≠ 0 保证这一点；det = 0 则破坏它。

3. 列向量线性相关

det = 0 ⟺ 矩阵的列向量线性相关 ⟺ 列张不成整个空间。

四、det ≠ 0 的几何直觉

五、与线性方程组的关系（预告）

det = 0 还意味着：对应的齐次方程 $M\mathbf{x} = \mathbf{0}$ 有非零解。这是因为压扁后，整个被压掉的方向上的所有向量都映射到原点。

$$\det(M) = 0 \iff \text{存在非零向量 } \mathbf{x} \text{ 使 } M\mathbf{x} = \mathbf{0}$$

这一条在下一模块（列空间与零空间）会深入展开。

六、如何快速判断 det 是否为 0

总结

本文出现的符号

中英对照