où i, j, k correspondent aux vecteurs de la base orthonormée considérée. Cette dernière
expression est en apparence un peu plus compliquée que la précédente, mais elle se
généralise facilement à d'autres systèmes de coordonnées (voir plus bas).
La définition ne dépend pas de la base dans laquelle on écrit F. Pour expliciter cette
indépendance on peut préférer une définition qui ne fait pas référence aux coordonnées de F.
Ainsi, une définition intrinsèque (parmi d'autres) du rotationnel est la suivante. À partir d'un
vecteur constant X0 et du champ F, on peut construire le champ dont la divergence
est une forme linéaire vis-à-vis de X0, et donc exprimable sous la forme d'un produit scalaire
K·X0, où K s'avère être l'opposé du rotationnel de F:
Une autre définition possible, plus générale mais plus difficile à formaliser, consiste à définir
le rotationnel d'un champ de vecteurs en un point comme la circulation locale du champ
autour de ce point[2]. Le sens précis de cette définition découle du théorème de Green qui,
pour une surface de frontière , implique
À l'instar de ce qu'il se passe pour le produit vectoriel de deux vecteurs, le rotationnel d'un
champ de vecteurs vrai en un point est un pseudovecteur.
Tenseur rotationnel
En réalité, le rotationnel ne peut se décrire rigoureusement que dans le cadre du formalisme
des tenseurs. Dans ce contexte, le rotationnel est appliqué sur une forme linéaire ƒ pour
former un tenseur d'ordre 2. Ses composantes s'écrivent
.
Cette expression ne fait intervenir que des dérivées ordinaires et non des dérivées
covariantes. La différence qui intervient est la même que l'on considère des dérivées
ordinaires ou des dérivées covariantes[3]. Cette expression peut être par construction vue
comme une matrice antisymétrique. En dimension 3, il existe une correspondance avec les
vecteurs (possédant trois composantes) et les matrices antisymétriques (possédant trois
composantes indépendantes). On peut donc assimiler cette matrice à un vecteur.
Techniquement, la correspondance est faite à l'aide du tenseur de Levi-Civita ε, qui permet de