Dérivée covariante | EPFL Graph Search

En géométrie différentielle, la dérivée covariante est un outil destiné à définir la dérivée d'un champ de vecteurs sur une variété. Dans le cas où la dérivée covariante existe, il n'existe pas de différence entre la dérivée covariante et la connexion, à part la manière dont elles sont introduites. (Cela est faux quand la dérivée covariante n'existe pas en revanche ). Dans la théorie des variétés riemanniennes et pseudo-riemanniennes, le théorème fondamental de la géométrie riemannienne montre qu'il existe un choix de connexion ou de dérivée covariante privilégié, et le terme « dérivée covariante » est souvent utilisé pour la connexion de Levi-Civita. Dans cet article, on définit la dérivée covariante (aussi connue sous le nom de dérivée de tenseur) d'un vecteur au sein d'un champ vectoriel. La dérivée covariante d'un tenseur est une extension de ce concept. L'ensemble de cet article utilise la convention de sommation d'Einstein pour les tenseurs et les coordonnées covariantes et contravariantes. Le lecteur est supposé avoir des notions concernant les variétés et particulièrement les vecteurs tangents. Une dérivée covariante (aussi écrite ) d'un champ de vecteur u selon la direction v est une fonction définissant un vecteur (aussi écrit ou Dvu) qui dispose des propriétés d'une dérivée, décrites plus bas. Un vecteur est un objet géométrique indépendant du choix de la base. Lorsqu'on fixe un système de coordonnées, cette dérivée se transforme lors d'un changement de base « de la même manière » que le vecteur lui-même (selon une transformation covariante), d'où le nom de la dérivée. Dans le cas d'un espace euclidien disposant d'un système de coordonnées orthonormées, on peut définir la dérivée d'un champ de vecteur en tant que différence entre deux vecteurs en deux points proches. Dans un tel système il est possible de translater un des vecteurs à l'origine de l'autre, parallèlement à lui-même. On obtient l'exemple le plus simple de dérivée covariante, obtenue en prenant la dérivée des coordonnées.