行列式为零与退化

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

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

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

        ┌───┐                ────────
        │   │    det=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. 不可逆（没有逆变换）

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

       v₁ ──► ●（同一个输出）
       v₂ ──► ●
       两个不同的输入，得到同一个结果
       ⟹ 无法反推，不可逆

2. 不是一一对应

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

3. 列向量线性相关

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

四、det ≠ 0 的几何直觉

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

小结

• det = 0：空间压缩到低维（线/点），不可逆
• det = 0 ⟺ 列向量线性相关 ⟺ 无逆矩阵（奇异）
• 不可逆的本质：多个输入映射到同一输出，信息丢失
• det ≠ 0 ⟺ 满维 ⟺ 可逆（双射）
• det = 0 ⟺ 齐次方程 $M\mathbf{x} = \mathbf{0}$ 有非零解

下一章：逆矩阵、列空间与零空间，彻底理解”可逆”与”压缩”的代数语言。

上一章节行列式的几何意义行列式 = 线性变换对面积（体积）的缩放倍数，理解 det = ad - bc 的由来与符号含义。

下一章节行列式的基本概念行列式是线性代数中的一个重要概念，它不仅是矩阵的一个数值特征，更在几何学、物理学等领域有重要应用。