接触过微积分的同学们都应该知道微积分基本定理——牛顿-莱布尼兹公式:
这个定理表述的是,一个函数在一段区间内的积分等于另一个函数在这个区间两端函数值的差。这个定理拓展到二维空间就是格林公式:
即一个二元函数在由封闭曲线C围成的区域上的面积分等于一个向量场在该曲面边界上的线积分。格林公式更为一般的形式是
该式一般被叫做斯托克斯定理,描述的是三维空间中面积分与线积分之间的关系。而三维空间中与格林公式相对应的是高斯定理:
其所表述的是,一个三元函数在一个密闭区域内的体积分等于一个向量场在这个区域边界上的面积分。
以上这几种定理本质上都是微积分基本定理在不同维度空间中的变体,即三维的积分可转化为二维的积分,而二维的积分可转化为一维的积分,一维的积分最后转化为零维的加减。但如何将这几种定理从形式上进行统一,从而推广到更高维度的空间中呢?
我们希望的形式应该是
即如果有以下等式成立:
我们就能从形式上统一不同维度的微积分基本定理,而这其中的关键在于定义微分运算d。我们所熟知的微分运算就只有全微分,对于一个三元函数f(x,y,z),其全微分为: