Théorème d'inversion locale : Différence entre versions
De AgregmathKL
(ajout d'un ficher et mise à jour des recasages) |
|||
Ligne 3 : | Ligne 3 : | ||
Recasage : | Recasage : | ||
− | *[[206 -- Théorèmes de point fixe. Exemples et applications.]] | + | *[[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.]] | *[[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.]] | *[[215 -- Applications différentiables définies sur un ouvert de Rn. Exemples et applications.]] | ||
− | *[[217 -- Sous-variétés de Rn. Exemples.]] | + | *[[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 : | |
− | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Inversion_locale.tex | Théorème d'inversion locale]] | + | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TIL.pdf | Théorème d'inversion locale (2020-2021)]] |
+ | |||
+ | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Inversion_locale.pdf | Théorème d'inversion locale (2012-2013)]] | ||
+ | |||
+ | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Inversion_locale.tex | Théorème d'inversion locale]] | ||
Version du 19 octobre 2020 à 16:02
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 :