Removed_微分形式及其应用﹎.pdfVIP

微分形式及其应用 1 引子 两个函数，如何检验它们是否互为函数呢？ 比如 f x2 y ， 4 2 2 ，它们之间就有关系 2 ，这很 g x 2x y y 60 g f 60 明显。但是对于复杂的函数就未必一眼看得出。 另一个老实的办法是，计算它们的雅克比行列式 f ,g f / x g / x 2x 4x2 4xy 0 ，因此它们相关，互为函数关系。 (x , y) f / y g / y 1 2x2 2 y 对于多元的就要麻烦些，要计算多个雅克比。比如 f (x , y, z), g (x, y, z) ，要想判定他们 是否互为函数，就要判定 f ,g f ,g f , g ， ， 都为 0 才对。 , , , x y y z z x 有没有更好的表达方式呢？有利用外微分（过一会再解释） 2 4 2 2 df dg d (x y) d (x 2x y y 60) 2 4 2 2 4 2 2 dx d( x 2x y y 60) dy d (x 2x y y 60) 2 2 2 4 2 dx d(2x y y ) dy d ( x 2x y ) 2 2 2 4 2 2 2xdx (2dx y 2x dy dy ) dy (dx 2dx y 2x dy) 2 3 2xdx (2x dy 2 ydy) dy (4x dx 4xydx) 3 3 4 x dx dy 4xydx dy 4x dy dx 4xydy dx 3 3 4 x dx dy 4xydx dy 4x dx dy 4xydx dy 0 好奇怪的运算规则：任何两个函数微分的外积，互换次序得负；任何相同表达式微分的外 积为 0。 da db db da ， da da 0 这让我们想起了面积的定义。对了！外积的意义就是面积。 我们重新理解一下（见图） 如果将 ( f , g ) 作为两个变量，则组成空间。 ( f ,g) 作为 ( x, y) 的函数，当 (x, y) 改变时， ( f ,g) 也随之改变。当函数 f , g 互不关联（不互为函数时） ，由于各自独立改变，当 (x, y ) 遍历一个非常小的方形区域 (dx dy) 时， ( f , g) 也形成一个小面积。但是当函数 f , g 互为关联（互为函数时） ，由于各自改变不独立，当 (x, y) 遍历一个非常小的方形区域 (dx dy) 时， ( f , g) 仅在一个小线段上（或者在一个点，总之在低维的空间上）运动。由 于 df dg 就代表面积元，因此为 0. y dx dy y dx dy