onde f=f(x,y,z) é um campo escalar suave e \mathbf{F}=(F_{1},F_{2},F_{3}) é um campo vetorial suave. Vamos usar a definição de rotor em componentes e a regra do produto.
Passo 2
Recordando a definição em notação de Levi-Civita, para um campo vetorial \mathbf{G}=(G_{1},G_{2},G_{3}) temos