Théorème de la fonction inverse

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
marius1986
Membre Naturel
Messages: 37
Enregistré le: 10 Aoû 2009, 12:33

Théorème de la fonction inverse

par marius1986 » 10 Aoû 2009, 20:12

Bien, bonjour a tous,
J'aimerai avoir des indications sur la démonstration du théorème de la fonction inverse (Dans un espace vectoriel de dimension finie n et muni d'un produit scalaire)
Merci d'avance



prody-G
Membre Relatif
Messages: 376
Enregistré le: 28 Mar 2006, 16:36

par prody-G » 10 Aoû 2009, 20:16

salut !

Tu entends quoi par théorème de la fonction inverse ? c'est quoi l'énoncé ?

Avatar de l’utilisateur
mathelot
Habitué(e)
Messages: 13688
Enregistré le: 08 Juin 2006, 09:55

par mathelot » 11 Aoû 2009, 06:36

Bonjour,

Il y a plusieurs théorèmes et idées dans ce domaine:

- les fonctions implicites
une relation est une fonction suffisamment régulière définit localement z=f(x,y) comme fonction de x et y.

- la réciproque
une fonction f localement injective et de classe (k fois continuement dérivable) admet localement une bijection réciproque.
Celle-çi récupère les propriétés de f. Il s'agit d'un théorème utilisant beaucoup
de topologie (espace localement compact, théorème de l'application contractante).

Il me semble que l'on démontre tout cela en considérant les fonctions
comme point fixe d'opérateurs contractant bien choisis.

L'idée est de montrer que l'apllication a les mêmes
propriétés que celles de f (continuité,dérivabilité..)

si et sont toutes les deux continues,
ce sont des homéomorphismes

si et sont toutes les deux continuement dérivables,ce sont des difféomorphismes

marius1986
Membre Naturel
Messages: 37
Enregistré le: 10 Aoû 2009, 12:33

par marius1986 » 11 Aoû 2009, 14:04

Voici l'énoncé du théorème de fonction inverse
Soient E et F deux espaces de Banach, U un ouvert de E, a un point de U et f une application de classe .
Pour qu'il existe un voisinage A de a tel que la restriction de f à A soit un -difféomorphisme il faut et il suffit que f'(a) soit inversible.

Merci encore pour vos indications

Arkhnor
Membre Relatif
Messages: 343
Enregistré le: 05 Déc 2008, 22:02

par Arkhnor » 11 Aoû 2009, 15:27

Salut.

Certains l'appellent théorème d'inversion locale, ou encore théorème de la bijection locale.

Tu peux trouver sa démonstration dans des livres comme Analyse réelle de S.Lang, ou Cours de Calcul Différentiel de H.Cartan.

Si tu cherches une preuve en dimension finie, tu peux surement trouver ton bonheur dans un livre de premier cycle.

La preuve utilise le théorème du point fixe pour les applications contractantes. (d'où l'importance que l'espace soit complet)

Voilà un lien où il est démontré : http://perso.univ-rennes1.fr/karim.bekka/CDHO/Week%20by%20week/CDHO5.pdf.
C'est cependant traité dans le cadre des espaces de Banach, il me semble que la preuve en dimension finie est légèrement plus simple.

:happy3:

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 57 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite