Dérivée de Lie

La dérivée de Lie est une opération de différentiation naturelle sur les champs de tenseurs, en particulier les formes différentielles, généralisant la dérivation directionnelle d'une fonction sur un ouvert de R n {\displaystyle \mathbb {R} ^{n}} ou plus génér…