« Calcul différentiel/Recherches d'extrema » : différence entre les versions
Contenu supprimé Contenu ajouté
m Annulation des modifications 769801 de 109.208.27.143 (discussion) Balise : Annulation |
m Annulation des modifications 752221 de Crochet.david.bot (discussion) Balise : Annulation |
||
Ligne 180 :
Soient <math>F</math> le noyau de <math>\mathrm dg_a</math> et <math>G</math> un supplémentaire (de dimension <math>m</math> puisque <math>\mathrm dg_a</math> est surjective). Alors, <math>F</math> et <math>G</math> sont [[w:Sous-espace supplémentaire#Supplémentaire topologique|supplémentaires topologiques]], c'est-à-dire que la bijection linéaire <math>F\times G\to E,\;\left(x,y\right)\mapsto x+y</math> est [[Espaces vectoriels normés/Limites et continuité#Continuité des applications linéaires|continue ainsi que sa réciproque]]. On peut donc sans perte de généralité supposer que <math>E=F\times G</math>. D'après le théorème des fonctions implicites, il existe alors dans <math>E=F\times G</math> un ouvert <math>V\times W\ni a=\left(b,c\right)</math>, et une application <math>h:V\to W</math> de classe C{{exp|1}}, tels que
:<math>\forall\left(x,y\right)\in V\times W\quad g\left(x,y\right)=0\Leftrightarrow y=h\left(x\right)</math>.
L'application <math>k:V\to\R,\,x\mapsto f\left(x,h\left(x\right)\right)</math> admet un extremum local en <math>b</math> donc <math>\mathrm dk_b=0</math>, c
}}
|