9.5 FORMULE DE BACKER- CAMPBELLE- HAUSDORF ..... 91
9.5.1 Séries entières formelles .................. 91
9.5.2 Transporter un champ de vecteurs de l’algèbre de lie au
groupe ........................... 91
9.5.3 Enoncé du résultat ..................... 92
9.5.4 Trois règles pour calculer avec C?............. 92
9.5.5 Exemple de calcule ..................... 92
9.5.6 Les outiles ......................... 93
9.5.7 Comparaison des champs de vecteurs ........... 93
9.5.8 Démonstration de formule et des règles de calcul ..... 94
9.5.9 Finitude de l’algorithme .................. 94
9.6 bibliography ............................. 96
10 Métriques riemanniennes 97
11 Produit scalaire 98
11.1 Introduction ............................. 98
11.1.1 Définitions et propriétés algébriques premières ...... 99
11.1.2 Définitions équivalentes et propriétés ...........101
11.2 Métriques riemanniennes et leurs variantes .............101
11.2.1 Métriques pseudo-riemanniennes .............101
11.2.2 Métriques lorentziennes ..................103
11.2.3 Métriques sous-riemannienne ...............103
11.2.4 Métriques Finsleriennes ..................104
11.3 Partition de l’unité .........................104
11.3.1 Rappels ...........................104
11.3.2 La justification demandée .................105
11.4 Complétude .............................106
11.4.1 Complétude des variétés pseudo-riemanniennes homogènes 106
11.5 Théorème de Hopf-Rinow .....................107
12 Connexions et courbures 110
12.1 Introduction .............................111
12.1.1 Variétés Différentielles ...................111
12.1.2 Groupe de Lie .......................113
12.2 GEOMETRIE RIEMANNIENE ..................114
12.2.1 Proposition .........................114
12.2.2 définition ..........................114
12.2.3 Remarque ..........................114
12.2.4 Connexion lineaire .....................115
12.2.5 Les tenseurs .........................115
4