根据矢量恒等式，任何一个矢量函数的旋度的必等于零，可以表示成某一矢量函数的旋度的矢量场称为场，必然为有旋场