rmula_7上的内积。formula_4的定义域formula_8中含有从p到q的可微曲线γ，定向为从p至q。设formula_21是γ的参数化（其中formula_15），那么上面的式子说明第一个等式是根据曲线积分的定义，第三个等式用了微积分基本定理。
梯度定理的逆定理.梯度定理说明如果一个向量场formula_24是某个标量函数的梯度（即保守场），则formula_24是路径无关的（即formula_24沿分段可微的曲线的积分只和路径的端点有关）。这个定理有个强大的逆