Jacobian 行列式为什么描述局部面积与体积伸缩？¶

先备知识¶

掌握导数映射、Jacobian 矩阵、行列式及其几何意义。

学习目标¶

能区分取向行列式与积分所需的非负面积体积伸缩。

牵引问题¶

坐标变换把小矩形扭成近似平行四边形，面积元为何乘一个行列式？

探索与猜想¶

可微映射在足够小尺度上近似其导数这个线性变换。因此先解决线性映射对面积 和体积的作用，再把结论局部化。

概念与理论¶

对二维线性映射 \(A\)，单位正方形的像由两列向量张成，其有向面积为 \(\det A\)，普通面积为 \(|\det A|\)。对三维平行六面体同理。因此

对矩形及其有限分割成立。

对 \(C^1\) 映射 \(T\)，

所以小块的局部伸缩因子趋近 \(|\det DT(u)|\)，即 Jacobian 行列式绝对值。若 \(\det DT<0\)，映射反转 取向，但几何面积不能为负；这就是积分使用行列式绝对值的原因。

例题与迁移¶

例 1：对角伸缩¶

\(T(u,v)=(2u,3v)\) 的行列式为 \(6\)，面积放大六倍。

例 2：剪切与反射¶

\(T(u,v)=(u+kv,v)\) 的行列式为 \(1\)，剪切保面积；反射 \((u,v)\mapsto(-u,v)\) 行列式为 \(-1\)，反取向但保面积。

即时检验与回望¶

即时检验 1¶

行列式为零表示什么？

即时检验 2¶

积分中为何不能直接乘负行列式？

常见误区与后续¶

• Jacobian 是矩阵，Jacobian 行列式是方阵行列式。
• 一点的非零行列式只给局部可逆，不保证全局一一对应。
• 下一单元还要补齐换元所需的全局条件。

习题与答案¶

习题 1¶

\(\operatorname{diag}(4,1/2)\) 的面积因子是多少？

习题 2¶

旋转矩阵的面积因子是多少？

习题 3¶

反射的取向与面积分别怎样变化？

习题 4¶

行列式的哪条性质对应连续两次变换？

习题 5¶

三维对角伸缩 \((2,3,4)\) 的体积因子？

习题 6¶

为何局部因子随点变化？

习题 7¶

\(\det DT(u)\ne0\) 有何局部含义？

习题 8¶

剪切为何不必保持长度？

习题 9¶

概括从导数到面积元的逻辑。