有向体积与定向

平行六面体图像

把 A 的 n 个列当作从原点发出的棱向量。它们张成一个平行六面体（二维是平行四边形，三维是斜盒子）。作为有向体积的行列式断言：|det(A)| 等于该盒子的 n 维体积，而 det(A) 的符号记录其定向。

为何必然如此？有向体积服从我们的三条法则。把一条棱放大 a 倍，体积放大 a 倍（多重线性）。两条相等的棱把盒子压扁为零体积（交替）。单位立方体体积为 1（归一化）。由第 2 篇的唯一性定理，有向体积 = det。无需另行计算——法则已经证明了它。

2D: columns u=(3,0), v=(1,2).
  det([3 1; 0 2]) = 3*2 - 1*0 = 6
  Area of the parallelogram = base 3 * height 2 = 6.  OK.

Sign flip = orientation flip:
  det([1 0; 0 1]) = +1   (e1 then e2: counterclockwise)
  det([0 1; 1 0]) = -1   (swapped: clockwise)
  Same shape (unit square), opposite orientation.

二维中行列式等于有向面积；符号跟踪定向。

符号的含义

体积从不为负，那符号从何而来？它编码定向：你的有序棱列表是像标准基那样“右手”（det > 0），还是“左手”、即镜像（det < 0）。二维中，正号表示从第一列到第二列逆时针旋转；三维中，正号表示符合右手定则。

这就是为何列交换会令 det 取负：交换两条棱会把标架镜像，翻转手性。det < 0 的线性变换包含一次反射；det = 0 的把体积压成零，将空间压扁到更低维（因而不可逆）。

雅可比：局部体积重缩放

体积图像解释了你可能在微积分中见过的事实。在多重积分换元时，体积元 dx dy 按雅可比行列式缩放——即新坐标关于旧坐标的偏导矩阵的行列式。局部看，光滑映射近似线性；它的导数是一个矩阵，该矩阵的 det 就是局部体积拉伸因子。

积分中取绝对值是因为体积为正，但符号仍携带定向——它告诉你换元是保持还是翻转定向。所以你在第 1 篇抽象定义的行列式，字面上就是不同坐标系体积之间的换算率。