斯托克斯定理
维基百科，自由的百科全书
斯托克斯定理(Stokes theorem)是微分几何中，关于微分形式的积分的一个命题，它一般化了几个向量微积分的定理。它以斯托克斯(George Gabriel Stokes，1819-1903)爵士命名。
令 M为一个可定向分段光滑n维流形，令ω为n−1阶 M上的 C1类紧支撑 微分形式.如果 ∂M表示M的边界，并以M的方向诱导的方向为边界的方向，则
这里d是外导数, 只用流形的结构定义。斯托克斯定理可以认为是微积分基本定理的推广；后者实际上是前者的简单推论。
该定理经常用于M是嵌入到某个定义了ω的更大的流形中的子流形的情形。
定理可以简单的推广到分段光滑的子流形的线性组合上。斯托克斯定理表明相差一个恰当形式的闭形式在相差一个边界的链上的积分相同。这就是同调群和de Rham上同调可以配对的基础。
经典的开尔文-斯托克斯定理:
它在欧氏3维空间上的向量场的旋度的曲面积分和向量场在曲面边界上的线积分之间建立了联系，这是一般性的斯托克斯定理(在n=2时)的特例，我们只需用欧氏3维空间上的度量把向量场看作等价的1形式。
该定理的第一个已知的书面形式由威廉·汤姆生 (开尔文勋爵)给出，出现在他给斯托克斯的信中。
类似的，高斯散度定理
也是一个特例，如果我们把向量场看成是等价的n-1形式，可以通过和体积形式的内积实现。
微积分基本定理和格林定理也是一般性斯托克斯定理的特例。
使用微分形式的一般化斯托克斯定理当然比其特例更强，虽然后者更直观而且经常被使用它的科学工作者或工程师认为更方便。
