Théorème d'inversion locale

Théorème classique de calcul différentiel.

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 :

• Théorème d'inversion locale (2020-2021) (d'après le polycopié de Karine Beauchard).

• Théorème d'inversion locale (2012-2013) (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 ${\mathbb R}^{n}$.)

• Théorème d'inversion locale