n::::微分与微分形式.如果说微分是导数的一种推广，那么微分形式则是对于微分函数的再推广。微分函数对每个点formula_39给出一个近似描述函数性质的线性映射formula_101，而微分形式对区域formula_131内的每一点给出一个从该点的切空间映射到值域的斜对称形式：formula_132。在坐标记法下，可以写成：其中的formula_134是formula_135-射影算子，也就是说将一个向量formula_80射到它的第formula_135个分量formula_138的映射。而form