行列式的几何意义

一、从一个问题开始

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

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

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

操作与观察：

\det\begin{pmatrix} a & b \\ c & d \end{pmatrix} = 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 = 体积缩放倍数。

\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 在三维：空间定向翻转（右手系变左手系）。

乘法性质： $\det(M_1 M_2) = \det(M_1)\det(M_2)$
- 复合变换的面积缩放 = 两次缩放相乘
- 几何上非常直观：先缩放 $\det M_1$ 倍，再缩放 $\det M_2$ 倍
转置不变： $\det(M^T) = \det(M)$

核心结论：

行列式 = 线性变换对面积（体积）的缩放倍数。绝对值表示缩放多少，符号表示是否翻转，零表示压缩到低维。公式 $ad - bc$ 就是平行四边形的有向面积。

下一节：行列式为零与退化——det = 0 为什么意味着”不可逆”。