Théorème d'inversion locale
De AgregmathKL
Révision de 19 octobre 2020 à 16:02 par Léo Da (discuter | contributions) (ajout d'un ficher et mise à jour des recasages)
On démontre ici le théorème d'inversion locale. La preuve est tirée en partie du Rouvière, et en partie du poly d'Ismaël Bailleul sur les sous-variétés de .
Recasage :
- 206 -- Théorèmes de point fixe. Exemples et applications. (plus à l'agreg)
- 214 -- Théorème d'inversion locale, théorème des fonctions implicites. Exemples et applications.
- 215 -- Applications différentiables définies sur un ouvert de Rn. Exemples et applications.
- 217 -- Sous-variétés de Rn. Exemples. (plus à l'agreg)
- 226 -- Suites vectorielles et réelles définies par une relation de récurrence u n+1 = f(u n). Exemples. Applications à la résolution approchée d'équations. en tant qu'application du théorème de point fixe de Banach-Picard.
Fichiers :