第八节微分形式的外微分.docxVIP

第八节 微分形式的外微分 — 微分形式及其外积 我们知道, 一个可微函数 f (x , x 1 2 , , x n ) 的全微分为 df ? ?n ?f dx . ?x i i?1 i 它是 dx 1 , dx , 2 dx 的线性组合, 一个很自然的想法是将 dx n 1 , dx , 2 dx 看作一个线性空间 n 的基. 设? 是?n 上的区域, 记 x ? (x , x , x ) , C1 (?) ( i ? 1,2, , n )为? 上连续可微函数全 1 2 n 体. 将dx 1 , dx , 2 dx 看作一组基, 其线性组合 n a (x)dx 1 1 a (x)dx 2 2 ? a n (x)dx n , a (x) ?C1(?)(i ? 1,2, i , n) 称为一次微分形式,简称 1-形式. 1-形式的全体记为?1 (?) (或?1 ). 如果对?1 中的元素定义加法、数乘、零元和负元等, 就可以使?1 成为一个C1 (?) 上的线性空间. 对于任意?,? ? ?1 : ? ? a 1 (x)dx 1 a (x)dx ? 2 2 a (x)dx , n n ? ? b (x)dx ? b (x)dx ? b (x)dx , 1 1 2 定义? ?? 和?? ( ? ? C1 (?) )为 2 n n ? ?? ?