是成立的，只要formula_10是连通区域。也就是说，如果formula_18沿着formula_10内的所有闭合路径的环量都是零，那么formula_1就是保守向量场。
无旋向量场.向量场formula_1是无旋的，如果它的旋度是零，也就是说：由于这个原因，这种向量场有时称为无旋向量场。对于任何标量场formula_5，都有：因此保守向量场都是无旋向量场。只要formula_10是单连通区域，它的逆命题也是成立的：每一个无旋向量场也都是保守向量场。如果for