title: Connexion (mathématiques)
text: # Connexion (mathématiques)
  
  En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. Il existe plusieurs présentations qui dépendent de l'utilisation faite. Cette notion a été développée au début des années 1920 par Élie Cartan et Hermann Weyl (avec comme cas particulier celle de connexion affine), puis reformulée en 1951 par Charles Ehresmann et Jean-Louis Koszul.
  
  ## Connexion de Koszul
  
  La connexion de Koszul est un opérateur sur des espaces de sections. Elle a été introduite en 1951 par Koszul pour les fibrés vectoriels, et utilisée par Katsumi Nomizu en 1954.
  
  Cet opérateur fait correspondre à toute section globale s d'un fibré vectoriel E de base B, et à tout champ de vecteurs X sur B, une section globale notée $\scriptstyle \nabla _{X}s$ vérifiant :
  
  * L'application $\scriptstyle X\mapsto \nabla _{X}s$ est $\scriptstyle C^{\infty }(M)$-linéaire ; autrement dit, pour toute fonction régulière $f$, on a :
  
      $\nabla _{f\cdot X}s=f\cdot \nabla _{X}s$.
  * la relation de Leibniz :
  
      $\nabla _{X}(f\cdot s)=df(X)\cdot s+f\cdot \nabla _{X}s$.
  
  La relation de Leibniz démontre que la valeur de $\scriptstyle \nabla _{X}s$ en un point b de B ne dépend que des variations de $s$ au voisinage de b. La $\scriptstyle C^{\infty }(M)$-linéarité implique que cette valeur ne dépend que de $X(p)$. Intuitivement, la notion de connexion a pour but de généraliser aux variétés différentielles la notion de dérivée suivant un vecteur, la quantité $\nabla _{X}s$ pouvant être interprétée comme la dérivée de s dans la direction X.
  
  ## Connexion d'Ehresmann
  
  Les connexions d'Ehresmann sont des généralisations aux fibrés des connexions de Koszul. De façon plus précise, une connexion d'Ehresmann sur E est un sous-fibré régulier H de TE, le fibré tangent de E.
  
  ## Connexion de Levi-Civita
  
  Une métrique riemannienne g de classe $C^{k}$ sur une variété différentielle M étant donnée, il existe une unique connexion de Koszul ∇ sur $T_{x}M$, appelée connexion de Levi-Civita vérifiant les deux conditions :
  
  * ∇ est sans torsion : pour tous champs de vecteurs $X$ et $Y$,$\nabla _{X}Y-\nabla _{Y}X=[X,Y]$ ;
  * $g$ est parallèle : pour tous champs de vecteurs $X$, $Y$ et $Z$, on a :
  
  $Z\cdot g(X,Y)=g(\nabla _{Z}X,Y)+g(X,\nabla _{Z}Y)$
  
  