3.外微分形式与微积分基本定理.docVIP

PAGE7

PAGE1

1外微分的基本概念

1.1外微分的定义

设是定义在的某开集上的全体-函数所构成的环.再设中的坐标是，系数属于上的-函数环K，以为基底的模为，然后作上的模，其中，，.（）中的元素可以表示成，它们称为上的次外形式.特别地，中的元素的具体表达式是

，它们称为上的1次形式，又称为上的普拉夫形式.

现在我们在外形式模中引进一种微分运算，称为外微分.引进外微分以后，模的元素称为上的外微分形式，中的元素称为次外微分形式.

定义外微分是一映射，它的定义如下：设，

，

我们规定

=，

显然，从此定义可以直接看出：如果，则外微分就是普通微分；如果，因为.

我们再把以上外微分运算扩充到整个上.

定义:设，并且，，规定.

1.2外微分的性质

性质1设为-形式,为-形式,则

证明根据外微分的定义，只须考虑和是单项式的情形，设

，，则

性质2对任意,有(3)

证明由于的线性性,只要证明

这种情形即可.这时,

由于具有二阶连续偏导数,因此.所以

.

因此再由性质1可得

.

1.3各阶外微分式的外微分运算

设都是三维空间的函数，则分别称（4）~（7）式为零阶、一阶、二阶和三阶外微分式

（4）