Difféomorphisme

Un article de Wikipédia, l'encyclopédie libre.

On dit que f est un difféomorphisme de O dans F si

  1. f est injective sur O ( bijective de O dans f(O) )
  2. f est différentiable sur O, sa réciproque est différentiable sur f(O)


Un \mathcal C^k-difféomorphisme est une fonction \mathcal C^k, bijective, et dont la réciproque est également \mathcal C^k. Montrer qu'une application est un difféomorphisme n'est pas toujours aisé. Le théorème d'inversion locale apporte certains éléments, mais dans le cas général, ils sont insuffisants pour conclure.


Cas des fonctions de variable réel : Une fonction f d'un intervalle I sur un intervalle J est un Ck-difféomorphisme si et seulement si f est de classe Ck sur I et la dérivée de f ne s'annule pas sur I.

[modifier] Articles connexes

[modifier] Zoologie

Créer un livre