行列式的几何意义

一、从一个问题开始

一个线性变换会把整个空间拉伸、压缩、旋转、翻转。问题：这个变换把面积放大了多少倍？

具体来说，取单位正方形（面积 = 1），变换后它变成一个平行四边形（面积 ≠ 1）。这个面积变化的比例，就是行列式。

$$\det(M) = \frac{\text{变换后的面积}}{\text{原来的面积}}$$

二、交互演示：单位正方形的像

操作与观察：

• “恒等 (det=1)“：面积不变
• “缩放×2 (det=4)“：每条边 2 倍 → 面积 4 倍
• “拉伸 (det=2)“：x 拉 2 倍 → 面积 2 倍
• “剪切 (det=1)“：平行四边形面积仍为 1！剪切不改变面积
• “翻转 (det=-1)“：面积仍 1，但方向翻转（det 为负）
• “奇异 (det=0)“：压成一条线，面积归零

三、2×2 行列式的公式

$$\det\begin{pmatrix} a & b \\ c & d \end{pmatrix} = ad - bc$$

为什么是 ad - bc？

单位正方形的两个基向量 $\hat{\imath} = (1,0)$、$\hat{\jmath} = (0,1)$ 变换后变成：

$$T(\hat{\imath}) = \begin{pmatrix} a \\ c \end{pmatrix}, \quad T(\hat{\jmath}) = \begin{pmatrix} b \\ d \end{pmatrix}$$

这两个向量张成的平行四边形的面积正好是 $ad - bc$。行列式的公式不是凭空定义的，它就是平行四边形的有向面积。

验证：
T(î) = (a, c)，T(ĵ) = (b, d)
平行四边形面积 = |a·d − c·b| = |ad − bc|

四、行列式的符号：定向

为什么 det 可以是负数？因为行列式是有向面积：

如何判断是否翻转：想象二维平面上的”空间定向”（如右手系）。变换后如果右手系变成左手系（镜像），det 为负。

例：翻转矩阵 [[0,1],[1,0]]（交换 x、y 轴）
det = 0×0 − 1×1 = -1  → 面积不变但空间翻转

五、三维行列式：体积

三维的情况完全类似：det = 体积缩放倍数。

$$\det\begin{pmatrix} a & b & c \\ d & e & f \\ g & h & i \end{pmatrix} = a(ei - fh) - b(di - fg) + c(dh - eg)$$

三个基向量 $\hat{\imath}, \hat{\jmath}, \hat{k}$ 变换后张成的平行六面体的体积就是行列式的绝对值。

det < 0 在三维：空间定向翻转（右手系变左手系）。

六、行列式的两个重要性质

1. 乘法性质：$\det(M_1 M_2) = \det(M_1)\det(M_2)$

   • 复合变换的面积缩放 = 两次缩放相乘
   • 几何上非常直观：先缩放 $\det M_1$ 倍，再缩放 $\det M_2$ 倍

2. 转置不变：$\det(M^T) = \det(M)$

总结

本文出现的符号

中英对照