更新时间：2022-08-25 17:23
正合形式是可表示为另一微分形式的外微分的微分形式。
设M是微分流形，α是M上的一个p形式。若存在(p-1)形式β，使得α=dβ，则称α为正合p形式，简称正合形式。
由于外微分d有性质d2=0，故每个正合形式必定是闭形式。
一个k阶的微分形式的外微分是一个k+1阶的微分形式。
对于一个k-形式ω =fIdxI在R上，其定义如下：
对于一般的k-形式 ΣIfIdxI（其中多重指标I取遍所有{1, ...,n}的基数为k的有序子集），只作了线性推广。注意如果上面有i=I则。
闭形式是一类外微分形式。
外微分为零的外微分形式，即，满足dω=0的外微分形式ω称为闭形式。
因为d2=0，所以任何微分形式θ的外微分dθ是闭形式。