Dérivée Covariante

Une connexion linéaire qui assigne à chaque champ de vecteurs un opérateur de dérivation directionnelle agissant sur les champs tensoriels, compatible avec le type tensoriel et satisfaisant la règle de Leibniz tout en compensant les changements de bases locales.