With the above notation the curl of \(\vect f\) is formally the vector product of \(\nabla\) with \(\vect f\) as defined in Definition 1.20. Hence the notation \(\nabla\times\vect f\text{.}\) Moreover, the gradient of a scalar function, \(f\text{,}\) is formally the multiplication by scalars of the `vector’ \(\nabla\) and the scalar \(f\text{,}\) so we write \(\nabla f\) for the gradient. In the more applied literature most of the time the `nabla operator’ is used.
Let us make a remark about the relationship of the curl with the condition (8.5) for a plane vector field to be closed. If \((f_1,f_2)\) is a plane vector field we can always define a vector field \(\vect f(x_1,x_2,x_3):=(f_1(x_1,x_2),f_2(x_1,x_2),0)\) in \(\mathbb R^3\text{.}\) (The vectors \(\vect f(\vect x)\) do not depend on the third variable.) By definition of the curl we get
is often called the curl of a plane vector field. Using the Theorem of Stokes we will give a physical interpretation of the curl. For details see Observation 11.8 below.