Table des mati`eres
Introduction. 3
Rappels et compl´ements. 7
0.1 Espace vectoriel norm´e. Espace de Banach. . . . . . . . . . . . 7
0.2 Continuit´e et alg´ebre multilin´eaire. . . . . . . . . . . . . . . . 8
0.3 Le groupe Iso(E,F) et l’application u7→ u−1.......... 11
1 Applications diff´erentiables. 13
1.1 Diff´erentielle en un point et sur un ouvert U........... 13
1.2 D´eriv´ee directionnelle. . . . . . . . . . . . . . . . . . . . . . . 15
1.3 D´eriv´ee d’une fonction compos´ee. . . . . . . . . . . . . . . . . 16
1.4 Op´erations sur les d´eriv´ees. . . . . . . . . . . . . . . . . . . . 17
1.5 Fonctions `a valeurs dans un produit d’espaces . . . . . . . . . 18
1.6 Fonctions d´efinies sur un ouvert d’un produit d’espaces . . . . 20
1.7 Combinaison des cas pr´ec´edents . . . . . . . . . . . . . . . . . 22
2 Th´eor`eme des accroissements finis et applications. 24
2.1 Fonctions `a variables r´eelles. . . . . . . . . . . . . . . . . . . . 24
2.2 Fonctions `a variable dans un espace de Banach . . . . . . . . . 26
2.3 Applications............................ 26
2.4 Fonctions strictement diff´erentiables . . . . . . . . . . . . . . . 29
3 Diff´eomorphismes de classe C131
3.1 D´efinition et propri´et´e. . . . . . . . . . . . . . . . . . . . . . . 31
3.2 Th´eor`eme d’inversion locale . . . . . . . . . . . . . . . . . . . 32
3.3 Th´eor`eme des fonctions implicites . . . . . . . . . . . . . . . . 34
1