理.设是分片光滑的有向曲面，的边界为有向闭曲线，即formula_1，且的正向与的侧符合右手规则：函数"P"("x","y","z")、"Q"("x","y","z")、"R"("x","y","z")都是定义在“曲面连同其边界”上且都具有一阶连续偏导数的函数，则有：引进符号行列式，这个公式也可以写成以下形式：这个公式叫做  上的斯托克斯公式或开尔文－斯托克斯定理、旋度定理。这和函数的旋度有关，用梯度算符可写成：它将ℝ³ 空间上“向量场的旋度的曲面积分”跟“向量场在曲面边界上的线积分”之间建立