7. Connexions
• Les connexions linéaires
Quel que soit le point M de En, l'espace T(En)M est identifié de manière naturelle à T(En)0 = Rn ; il en résulte que, si l'on a choisi une base B0 de Rn, tous les espaces tangents à En sont munis d'une base naturelle BM. On peut se demander si, pour toute variété V, on peut ainsi choisir, pour tout point M de V, une base BM de T(V)M, qui « varie continûment avec M ». Un tel choix est possible localement : il suffit de se donner une carte locale ; mais il ne l'est pas toujours sur toute la variété. En utilisant les notations de l'article topologie - Topologie algébrique, au chapitre 4, on voit que ce choix est possible si et seulement si le fibré tangent T(V) est trivial, ce qui n'est pas le cas pour S2, pour P2(R) ni pour P3(R). À défaut d'une telle famille de bases, on va chercher un processus qui permette de faire varier une base continûment le long de n'importe quelle courbe différentiable tracée sur la variété. Un tel processus est donné par une connexion linéaire.
Une connexion linéaire est la donnée, pour tout couple (X, Y) de champs de vecteurs de classe C∞, d'un champ de vecteurs ∇X Y de classe C∞ de façon que les deux propriétés suivantes soient vérifiées :
X, X′, Y et Y′ étant des champs de classe C∞ et f une fonction de classe C∞ quelconques.
La connexion linéaire ∇ étant donnée sur la variété V, considérons une courbe régulière :
… pour nos abonnés, l'article se prolonge sur 14 pages…
