5.2流形上的张量与微分形式5.2流形上的张量与微分形式上一节学过线性空间上的张量（尤其是反对称张量即线性形式）的理论，给出了它们的几个基本运算：张量之间的张量积，以及线性形式的模积、内乘和拉回．由于流形上每一点都天然地有一个线性空间：切空间，所以可以像向量场一样，把这些线性对象搬到流形上，定义流形上的向量场与微分形式。此时，不仅已有的这些（线性）张量与形式的运算可以逐点地照搬到流形上，而且还可以用微分结构定义一个全新的运算：外微分运算．外微分是流形上微分形式最重要的运算，它可被视为是光滑函数微分的推广，5.2.1光滑流形上的张量场与微分形式余切空间设M是一个光滑流形.对每个pEM都自然关联了一个向量空间TpM.在取定p附近的任意局部坐标卡（o.U.V）后，可以写下T,M的一组基的显式表达0(f op-1)αilp : C~(U)→ R, Qilp(f)=((p)),(1≤i≤n)ri注意不仅ilp构成了切空间T,M的一组基，而且；都是U上的光滑向量场，并且对任意的qEU,ailg形成切空间T.M的一组基下面研究TpM的对偶空间TM.在习题中已经见过空间T，M.它被称为M在P点处的余切空间，其中的元素被称为p处的余切向量利用局部坐标系，不难写下T，M的一组显式基，（事实上对任意的qEU它们也是T*M的基，并且光滑地依赖于q).事实上，在任意给定的局部坐标卡（o,U,V）中，首先注意到对每个1≤i≤n，riop:U→R是U上的光滑函数.这个函数的微分，简单地记为dr，是一个线性映射de'lq : TqM = TqU → Trtop(g)R = R.换句话说，每个darlg是T*M中的元素，更进一步，由定义可知，dr'lg(ailg) = 0ilg(r o0) = 8从而命题5.2.1.（余切空间的基）在任意局部坐标卡中（o,U.V),{drilg:1<i<n)是T*M的一组基，且这组基跟T.M 的基[alg:1<i<n)互为对偶基福事实上，对任意的fECo(U)，用相同的方法能得到一个线性映射dfg：T.M→R换句话说，得到一个余切向量dfqETM.由定义，dfp(ilp）=;lp(f).从而dfp=(ailpf)da'lp+..+(Onlpf)da"lp134
5.2 流形上的张量与微分形式 5.2 流形上的张量与微分形式 上一节学过线性空间上的张量（尤其是反对称张量即线性形式）的理论，给出了它 们的几个基本运算：张量之间的张量积，以及线性形式的楔积、内乘和拉回. 由于流形 上每一点都天然地有一个线性空间：切空间，所以可以像向量场一样，把这些线性对象 搬到流形上，定义流形上的向量场与微分形式。此时，不仅已有的这些 (线性) 张量与形 式的运算可以逐点地照搬到流形上，而且还可以用微分结构定义一个全新的运算：外微 分运算. 外微分是流形上微分形式最重要的运算，它可被视为是光滑函数微分的推广. 5.2.1 光滑流形上的张量场与微分形式 ¶ 余切空间 设 M 是一个光滑流形. 对每个 p ∈ M 都自然关联了一个向量空间 TpM. 在取定 p 附近的任意局部坐标卡 (ϕ, U, V ) 后, 可以写下 TpM 的一组基的显式表达: ∂i |p : C ∞(U) → R, ∂i |p(f) = ∂(f ◦ ϕ −1 ) ∂xi (ϕ(p)), (1 ≤ i ≤ n). 注意不仅 ∂i |p 构成了切空间 TpM 的一组基, 而且 ∂i 都是 U 上的光滑向量场 ✿✿✿✿ , 并且对任 意的 q ∈ U, ∂i |q 形成切空间 TqM 的一组基. 下面研究 TpM 的对偶空间 T ∗ p M. 在习题中已经见过空间 T ∗ p M. 它被称为 M 在 p 点处的余切空间, 其中的元素被称为 p 处的 余切向量. 利用局部坐标系，不难写下 T ∗ p M 的一组显式基, (事实上对任意的 q ∈ U 它们也是 T ∗ q M 的基, 并且光滑地依赖于 q). 事 实上，在任意给定的局部坐标卡 (ϕ, U, V ) 中，首先注意到对每个 1 ≤ i ≤ n, x i ◦ ϕ : U → R 是 U 上的光滑函数. 这个函数的微分, 简单地记为 dxi , 是一个线性映射 dxi |q : TqM = TqU → Txi◦φ(q)R = R. 换句话说, 每个 dxi |q 是 T ∗ q M 中的元素. 更进一步, 由定义可知, dxi |q(∂j |q) = ∂j |q(x i ◦ ϕ) = δ i j . 从而 命题 5.2.1. (余切空间的基) ♠ 在任意局部坐标卡中 (ϕ, U, V ), {dxi |q : 1 ≤ i ≤ n} 是 T ∗ q M 的一组基，且这组基 跟 TqM 的基 {∂i |q : 1 ≤ i ≤ n} 互为对偶基. 事实上, 对任意的 f ∈ C∞(U), 用相同的方法能得到一个线性映射 dfq : TqM → R. 换句话说, 得到一个余切向量 dfq ∈ T ∗ q M. 由定义, dfp(∂i |p) = ∂i |p(f). 从而 dfp = (∂1|pf)dx1 |p + · · · + (∂n|pf)dxn |p. 134
5.2流形上的张量与微分形式工光滑流形上的张量场与微分形式类似于流形上的向量场，可以定义定义5.2.2.（流形上的张量场）若对流形M上每一点都指定了一个（l,k)-张量T，ETM，则称T为M上的一个（1,K)-张量场。若该指定还满足如下的光滑性条件，对于M上的任意坐标卡（,U,V)，若记T-ETiailp@..ulpdeb...@dap.则系数函数T都是U上的光滑函数，则称X为M上的一个光滑张量场品注意当（1,）=（1,0）时，光滑张量场就是熟悉的光滑向量场．全体光滑（1.k）-张量被记为P(kTM).当dimM≥1时这依然是一个无穷维向量空间.另外，(,0)-张量也被称为U阶反变张量，而（O,k)-张量也被称为k阶协变张量类似地，可以在光滑流形M上定义光滑k-形式：定义5.2.3.（流形上的微分形式）若对流形M上每一点都指定了一个k-形式WpEATM，则称w为M上的一个k-形式，若该指定还满足如下的光滑性条件，对于M上的任意坐标卡（,U,V)，若记w-wida-Ewinindri...Ada,T其中求和是对递增的k-元组I=[1<i1<<i≤n]求和，则系数函数wi,…都是U上的光滑函数，则称X为M上的一个光滑k-形式由定义，张量场T在每一个点处对每一个分量是逐点线性的，但不同点处的线性因子不必相同，换而言之，T是M上的一个张量场当且仅当它对每一个分量是“函数线性的”也就是说，张量场不仅仅是一个多重线性映射，而是一个多重“函数线性”映射，即对于M上的任意1-形式w，,w,向量场X1,**，X以及函数fi,*,ft,g'，，g'，均有T(fiwl,..,fw"g'xi...,ghx.)=fi....fig...gT(wi,...,wt,Xi,..,X.)对于光滑张量场，则只需对上述1-形式、向量场、函数加上光滑性要求即可，例5.2.4.M上的一个对称正定光滑(0,2)-张量场g被称为M上的Riemann度量局部来看每个Riemannian度量有形式g =gig(a)dr day,其中（9ii()）是一个光滑地依赖于的正定对称矩阵135
5.2 流形上的张量与微分形式 ¶ 光滑流形上的张量场与微分形式 类似于流形上的向量场，可以定义 定义 5.2.2. （流形上的张量场） ♣ 若对流形 M 上每一点都指定了一个 (l, k)-张量 Tp ∈ ⊗l,kTpM，则称 T 为 M 上 的一个 (l, k)-张量场. 若该指定还满足如下的光滑性条件， 对于 M 上的任意坐标卡 (ϕ, U, V )，若记 T = XT i1···il j1···jk ∂i1 |p ⊗ · · · ⊗ ∂il |p ⊗ dxj1 |p ⊗ · · · ⊗ dxjk |p, 则系数函数 T i1···il j1···jk 都是 U 上的光滑函数， 则称 X 为 M 上的一个光滑张量场. 注意当 (l, k) = (1, 0) 时, 光滑张量场就是熟悉的光滑向量场. 全体光滑 (l, k)-张量 被记为 Γ∞(⊗l,kTM). 当 dim M ≥ 1 时这依然是一个无穷维向量空间. 另外，(l, 0)-张量 也被称为✿✿✿✿✿✿✿✿✿✿✿✿ l 阶反变张量，而 (0, k)-张量也被称为✿✿✿✿✿✿✿✿✿✿✿✿✿ k 阶协变张量. 类似地，可以在光滑流形 M 上定义光滑 k-形式: 定义 5.2.3. （流形上的微分形式） ♣ 若对流形 M 上每一点都指定了一个 k-形式 ωp ∈ Λ kT ∗ p M，则称 ω 为 M 上的一 个 k-形式. 若该指定还满足如下的光滑性条件， 对于 M 上的任意坐标卡 (ϕ, U, V )，若记 ω = X I ωIdxI = X I ωi1,··· ,ik dxi1 ∧ · · · ∧ dxik , 其中求和是对递增的 k-元组 I ={1≤i1 <· · ·< ik ≤n} 求和, 则系数函 数 ωi1,··· ,ik 都是 U 上的光滑函数， 则称 X 为 M 上的一个光滑 k-形式. 由定义, 张量场 T 在每一个点处对每一个分量是逐点线性的，但不同点处的线性因 子不必相同. 换而言之， T 是 M 上的一个张量场当且仅当它对每一个分量是“函数线性的”. 也就是说，张量场不仅仅是一个多重线性映射, 而是一个多重“函数线性”映射，即对于 M 上的任意 1-形式 ω 1 , · · · , ωl , 向量场 X1, · · · , Xk 以及函数 f1, · · · , fl , g1 , · · · , gl，均有 T(f1ω 1 , · · · , flω l , g1X1, , · · · , gkXk) = f1 · · · flg 1 · · · g kT(ω1, · · · , ωl , X1, · · · , Xk). 对于光滑张量场，则只需对上述 1-形式、向量场、函数加上光滑性要求即可. 例 5.2.4. M 上的一个对称正定光滑 (0, 2)-张量场 g 被称为 M 上的 Riemann 度量. 局部来看每个 Riemannian 度量有形式 g = Xgij (x)dxi ⊗ dxj , 其中 (gij (x)) 是一个光滑地依赖于 x 的正定对称矩阵. 135
5.2流形上的张量与微分形式光滑流形上微分形式的运算微分形式是本书后半部分的主题.全体光滑k-形式的集合将被记为2*（M)（代替允长地表达式(4*T*M)注意M上任意的光滑函数可以被视作一个光滑0-形式，故2(M) = C(M).由于当k>n=dimM时TM上不存在k-形式，所以2(M) = 0, Vk > n.注意如果wE2(M)，并且Xi,..XEF(TM)，那么w(Xi,...,X)EC(M)当然前面对线性k-形式的逐点运算仍然对流形上的微分形式有意义，从而流形上的微分形式有如下运算：。楔积^:2*(M)×2(M)→2k+(M)，例如，在局部坐标系中，有(drl+2dr2)^(dr^dr2-dr2dr3+3dl^d3)=-7da1 da2dr3。对任意的XET(TM),内乘x:2k(M)→2k-1(M)，例如，在局部坐标系中，有x(dar' A...A dr**) =E(-1)r-1dar'(X)dar A...^drir ....Adrk.。对任意的光滑映射：N→M，拉回*：α(M）→2(N).其定义方式是“通过线性映射dpp：TpN→Te(p)M逐点定义”.所以如果wE2（M)，那么(*w)p(Xi, **: ,X) = wp(p)(dpp(Xi), ***, dpp(X)如果k=0,那么*正好就是函数上的拉回*：C（M）→Co（N）注意^是分次代数2*（M）=④m-（M）上的“乘法”，而内乘则是该分次代数上的一个-1阶反导子.这些运算都是Cα°(M）线性的（其中^是C(M)双线性的).下面列出这些运算的一些基本性质，命题5.2.5.（流形上微分形式的楔积、内乘与拉回）假设WE(M,E(M),XET(TM)与EC(N,M)与ECo(M,M). 那么(1) wΛn= (-1)Mn Λw.(2) β*(w Λn) = p*w Aβ*n.(3) tx(w An) = (uxw) An+(-1)*w Atxn(4) ix oix = 0.(5) ( o p)* = * o p*因为这些性质全部都能从定义与相应的线性微分形式的结果中得到，所以证明从略136
5.2 流形上的张量与微分形式 ¶ 光滑流形上微分形式的运算 微分形式是本书后半部分的主题. 全体光滑 k-形式的集合将被记为 Ω k (M)(代替冗长 地表达式 Γ ∞(ΛkT ∗M)). 注意 M 上任意的光滑函数可以被视作一个光滑 0-形式，故 Ω 0 (M) = C ∞(M). 由于当 k > n = dim M 时 TpM 上不存在 k-形式, 所以 Ω k (M) = 0, ∀k > n. 注意如果 ω ∈ Ω k (M), 并且 X1, · · · , Xk ∈ Γ∞(TM), 那么 ω(X1, · · · , Xk) ∈ C∞(M). 当然前面对线性 k-形式的逐点运算仍然对流形上的微分形式有意义，从而流形上的 微分形式有如下运算: 楔积 ∧ : Ωk (M) × Ω l (M) → Ω k+l (M). 例如, 在局部坐标系中，有 (dx1 + 2dx2 ) ∧ (dx1 ∧ dx2 − dx2 ∧ dx3 + 3dx1 ∧ dx3 ) = −7dx1 ∧ dx2 ∧ dx3 . 对任意的 X ∈ Γ∞(TM), 内乘 ιX : Ωk (M) → Ω k−1 (M). 例如, 在局部坐标系中，有 ιX(dxi1 ∧ · · · ∧ dxik ) = X r (−1)r−1 dxir (X)dxi1 ∧ · · · ∧ dx‘ir ∧ · · · ∧ dxik . 对任意的光滑映射 ϕ : N → M, 拉回 ϕ ∗ : Ωk (M) → Ω k (N). 其定义方式是“通过 线性映射 dϕp : TpN → Tφ(p)M 逐点定义”. 所以如果 ω ∈ Ω k (M), 那么 (ϕ ∗ω)p(X1, · · · , Xk) = ωφ(p) (dϕp(X1), · · · , dϕp(Xk)). 如果 k = 0, 那么 ϕ ∗ 正好就是函数上的拉回 ϕ ∗ : C∞(M) → C∞(N). 注意 ∧ 是分次代数 Ω ∗ (M) = ⊕m k=0Ω k (M) 上的“乘法”，而内乘则是该分次代数上的一 个 −1 阶反导子. 这些运算都是 C∞(M) 线性的 (其中 ∧ 是 C ∞(M) 双线性的). 下面列出这 些运算的一些基本性质. 命题 5.2.5. （流形上微分形式的楔积、内乘与拉回） ♠ 假设 ω ∈ Ω k (M), η ∈ Ω l (M), X ∈ Γ∞(TM) 与 ϕ ∈ C∞(N, M) 与 ψ ∈ C∞(M, Mf). 那么 (1) ω ∧ η = (−1)klη ∧ ω. (2) ϕ ∗ (ω ∧ η) = ϕ ∗ω ∧ ϕ ∗η. (3) ιX(ω ∧ η) = (ιXω) ∧ η + (−1)kω ∧ ιXη. (4) ιX ◦ ιX = 0. (5) (ψ ◦ ϕ) ∗ = ψ ∗ ◦ ϕ ∗ . 因为这些性质全部都能从定义与相应的线性微分形式的结果中得到，所以证明从略. 136
5.2流形上的张量与微分形式5.2.2外微分外微分：一个局部定义下面定义微分形式的外微分，不同于上面定义的楔积、内乘与拉回运算，外微分不再是一个逐点运算，而是一个局部运算（也就是它依赖于“附近的值”）先从熟悉的E2(M)=C(M)开始，此时dfE2(M)，从而有线性映射d: 2(M) →n'(M),f -df.局部来看，在每个坐标卡上df =(o;f)drt.i下面假定w是M上的一个k-形式，从而在局部坐标系中有w-Ewi...daA...dar.1为了将dw定义为一个（k+1)-形式，很自然地方式是令dw-dwin.AdaiA.Ada1(5.2.1)Eo(wi..)daA dar' A..A dark.=I,i例如，当M=R3时，。对于fEa(M)，有df=frda+fydy+fzdz.。对于α=fdr+gdy+hdz,有da=(hy-gz)dy^dz+(fz-h)dzΛda+(gr-fy)dr^dy。对于w=fdy^dz+gdz^da+hddy，有dw=（f+9y+hz)da^dydz而这三个对应关系fw (fr,fy,f2),(f.9,h)v(h-gz,fz-hr,9r-fu)(f,g,h) + fr + 9y+ hz恰好就是向量分析中的梯度、旋度和散度中所出现的分量！于是，这样定义的“外微分”运算就统一了向量分析中的梯度、旋度和散度外微分：一个与坐标无关的定义不过，在继续探索dw的性质之前，还需要解决一个问题：为什么（5.2.1）在流形上是良定的？换句话说，由（5.2.1）所定义的（k+1)-形式dw是否依赖于坐标卡的选取？通常有两种方式证明一个用局部坐标方式定义在在流形上的概念的良定性，一种方法是验证“即便选取另一个坐标卡，所定义的量依然不变”，另一种方法是给出一个等价但却与坐标无关的定义（通常被称为不变定义)在这里我们将采取第二种方法，因为dw的与坐标无关的表达式也是非常重要的为了寻找dw的不变公式，先从比较小的k开始试验，137
5.2 流形上的张量与微分形式 5.2.2 外微分 ¶ 外微分：一个局部定义 下面定义微分形式的外微分. 不同于上面定义的楔积、内乘与拉回运算, 外微分不再 是一个逐点运算, 而是一个局部运算 (也就是它依赖于“附近的值”) 先从熟悉的 f ∈ Ω 0 (M) = C∞(M) 开始，此时 df ∈ Ω 1 (M)，从而有线性映射 d : Ω0 (M) → Ω 1 (M), f 7→ df. 局部来看，在每个坐标卡上 df = X i (∂if)dxi . 下面假定 ω 是 M 上的一个 k-形式, 从而在局部坐标系中有 ω = X I ωi1,··· ,ik dxi1 ∧ · · · ∧ dxik . 为了将 dω 定义为一个 (k + 1)-形式，很自然地方式是令 dω = X I dωi1,··· ,ik ∧ dxi1 ∧ · · · ∧ dxik = X I,i ∂i(ωi1,··· ,ik )dxi ∧ dxi1 ∧ · · · ∧ dxik . (5.2.1) 例如，当 M = R 3 时， 对于 f ∈ Ω 0 (M)，有 df = fxdx + fydy + fzdz. 对于 α = f dx+gdy+hdz，有 dα = (hy−gz)dy∧dz+(fz−hx)dz∧dx+(gx−fy)dx∧dy. 对于 ω = f dy ∧ dz + gdz ∧ dx + hdx ∧ dy，有 dω = (fx + gy + hz)dx ∧ dy ∧ dz. 而这三个对应关系 f ⇝ (fx, fy, fz), (f, g, h) ⇝ (hy − gz, fz − hx, gx − fy), (f, g, h) ⇝ fx + gy + hz 恰好就是向量分析中的梯度、旋度和散度中所出现的分量！于是，这样定义的“外微分” 运算就统一了向量分析中的梯度、旋度和散度. ¶ 外微分: 一个与坐标无关的定义 不过，在继续探索 dω 的性质之前，还需要解决一个问题：为什么 (5.2.1) 在流形上 是良定的? 换句话说, 由 (5.2.1) 所定义的 (k + 1)-形式 dω 是否依赖于坐标卡的选取？ 通常有两种方式证明一个用局部坐标方式定义在在流形上的概念的良定性. 一种方 法是验证“即便选取另一个坐标卡，所定义的量依然不变”, 另一种方法是给出一个等价 但却与坐标无关的定义 (通常被称为不变定义 ✿✿✿✿✿✿✿ ). 在这里我们将采取第二种方法, 因为 dω 的 与坐标无关的表达式也是非常重要的. 为了寻找 dω 的不变公式，先从比较小的 k 开始试验. 137
5.2流形上的张量与微分形式。当k=0,也就是w=fEC(M)时，可以将f当作一个C(M)-线性映射df : r(TM) →C(M)使得df(X) = Xf.。当k=1，也就是wE2(M)时，想要将dw写成一个Co°(M)-双线性映射dw : F(TM) × F(TM) → C(M).为此，先考虑局部表达式w=widr,X=Xka与Y=,ya.那么dw(X,Y) = (Ojwi)dai ^dr'(xhar,yla)ij,k,l=E (ajw)xiyi- (ojw;)x'y)i.j-(xia,(w,ri)-wixia,(yi) -yia,(wixi)+wyia,(xi))i.j= X(w(Y)) - Y(w(X)) -w([X,Y))故dw(X,Y) = X(w(Y)) - Y(w(X)) -w([X,YI)。当k=2.也就是wE2?(M）时，通过繁琐的计算可以得到：作为一个Coo(M)-三重线性映射dw：T(TM)×T(TM)×F(TM)→C(M)，函数dw(X,YZ)可以表示为X(w(Y,z)-Y(w(X,Z))+Z(w(X,Y))-w([X,Y],Z)+w([X,Z],Y)-w([Y,Z),X)观察一下，自然地可以给出dw的不变公式：作为C(M)-多重线性映射dw : F(TM) ×.. × T(TM) -→ C(M),dw应当由下面的公式给出：dw(X1,., X+1) :-(--1)-1X(w(X1,.,Xj,..., X+1)(5.2.2)+ (-1)i+iw([Xi,X], Xi,...,Xi...,X,...,Xt+1)i<j外微分：两种定义的合理性下面证明定理5.2.6.（d定义的一致性）由（5.2.2）所定义的dw是M上的k+1形式，且局部由（5.2.1）给出，?证明概要记公式（5.2.2)后边的（k+1)-形式为dw：需要证明(1）dw是反对称的，也就是对任意的r<s，一个简单但繁琐的计算给出dw(Xi,...,Xr,..,Xs,.,Xk+1)=-dw(Xi,,Xs,*.,Xr,...,Xk+1).138
5.2 流形上的张量与微分形式 当 k = 0, 也就是 ω = f ∈ C∞(M) 时, 可以将 df 当作一个 C∞(M)-线性映射 df : Γ∞(TM) → C ∞(M) 使得 df(X) = Xf. 当 k = 1, 也就是 ω ∈ Ω 1 (M) 时, 想要将 dω 写成一个 C∞(M)-双线性映射 dω : Γ∞(TM) × Γ ∞(TM) → C ∞(M). 为此，先考虑局部表达式 ω = P i ωidxi , X = P k Xk∂k 与 Y = P l Y l∂l . 那么 dω(X, Y ) = X i,j,k,l (∂jωi)dxj ∧ dxi (Xk ∂k, Y l ∂l) = X i,j (∂jωi)XjY i − (∂jωi)XiY j = X i,j Xj ∂j (ωiY i ) − ωiXj ∂j (Y i ) − Y j ∂j (ωiXi ) + ωiY j ∂j (Xi ) = X(ω(Y )) − Y (ω(X)) − ω([X, Y ]). 故 dω(X, Y ) = X(ω(Y )) − Y (ω(X)) − ω([X, Y ]). 当 k = 2, 也就是 ω ∈ Ω 2 (M) 时, 通过繁琐的计算可以得到: 作为一个 C∞(M)-三 重线性映射 dω : Γ∞(TM) × Γ∞(TM) × Γ∞(TM) → C∞(M)，函数 dω(X, Y, Z) 可以表示为 X(ω(Y,Z))−Y (ω(X,Z))+Z(ω(X,Y ))−ω([X,Y ],Z)+ω([X,Z],Y )−ω([Y,Z],X). 观察一下，自然地可以给出 dω 的 ✿✿✿✿✿✿✿✿✿ 不变公式: 作为 C∞(M)-多重线性映射 dω : Γ∞(TM) × · · · × Γ ∞(TM) → C ∞(M), dω 应当由下面的公式给出： dω(X1, · · · , Xk+1) :=X i (−1)i−1Xi(ω(X1, · · · , Xci , · · · , Xk+1)) + X i<j (−1)i+jω([Xi , Xj ], X1, · · · , Xci , · · · , X”j , · · · , Xk+1). (5.2.2) ¶ 外微分: 两种定义的合理性 下面证明 定理 5.2.6. （dω 定义的一致性） ♥ 由 (5.2.2) 所定义的 dω 是 M 上的 k + 1 形式，且局部由 (5.2.1) 给出. 证明概要 记公式(5.2.2)后边的 (k + 1)-形式为 dωf . 需要证明 (1) dωf 是反对称的, 也就是对任意的 r < s, 一个简单但繁琐的计算给出 dωf(X1, · · · , Xr, · · · , Xs, · · · , Xk+1) = −dωf(X1, · · · , Xs, · · · , Xr, · · · , Xk+1). 138