connexion de Koszul

En géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Jean-Louis Koszul en 1950[réf. nécessaire] et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associées les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne. L'ensemble des connexions de Koszul forme un espace affine réel dont l'espace directeur est l'espace des 1-formes différentielles de la base B du fibré E à valeurs dans End(E), le fibré vectoriel des endomorphismes de E. Une connexion sur E induit des connexions sur les fibrés construits à partir de E par des opérations algébriques élémentaires (produit extérieur, produit tensoriel, ...). L'utilisation des connexions permet en particulier d'effectuer un calcul différentiel extérieur raisonnable sur les sections de E. Elles sont fortement utilisées en analyse.