diffeomorphisme local
bonjour,
Je me pose quelques questions sur cette notion qd on est en dimension finie.
Dans un cours, il est indiqué:
"Soit E et F 2 espaces de Banach en dimension finie.
Df(a) appartient à Isom[E,F) si/si le Jocoben de f en a est non nul".
Dans le même ordre d'idée, "si jacobien de f en a est non nul, alors f est un difféomorphisme local en a?"
Je suis un peu surpris ...Pouvez-vous me renseigner, svp?
Merci pour vos futures réponses
A+
Je me pose quelques questions sur cette notion qd on est en dimension finie.
Dans un cours, il est indiqué:
"Soit E et F 2 espaces de Banach en dimension finie.
Df(a) appartient à Isom[E,F) si/si le Jocoben de f en a est non nul".
Dans le même ordre d'idée, "si jacobien de f en a est non nul, alors f est un difféomorphisme local en a?"
Je suis un peu surpris ...Pouvez-vous me renseigner, svp?
Merci pour vos futures réponses
A+
Réponses
-
Plus précisément, tu as le Théorème d'Inversion locale qui te dit que si ta différentielle DaF est non-nulle en un point a d'un ouvert U de R^n, alors tu peux trouver un ouvert V contenant a inclus dans U tel que f soit un difféomorphisme local de V sur f(V).
Pour ce qui est du jacobien, c'est le déterminant de la matrice jacobienne de f en a, s'il est non-nul, cela implique que ta différentielle est non-nulle en a et donc ton difféomorphisme local.
J'espère que cela t'aura avancé !
Cordialement,
Laurent -
Euh non, ce n'est pas parce que la différentielle est non nulle que tu peux construire ton difféomorphisme. Il faut que la différentielle soit un isomorphisme, ce qui n'est pas la meme chose. En dimension finie c'est équivalent a dire que le det de la matrice jacobienne est $\neq$ 0.
-
Ah oui, effectivement, MEA CULPA !!!!! Jacobien non-nul implique inversibilité de la différentielle !! Où avais-je la tête ?
-
Bonjour,
Merci pour vos réponses
A+
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.7K Toutes les catégories
- 46 Collège/Lycée
- 22.1K Algèbre
- 37.4K Analyse
- 6.3K Arithmétique
- 57 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 19 CultureMath
- 50 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 80 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 75 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 334 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 790 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres