Soit un espace vectoriel de dimension finie, et un difféomorphisme de classe . On suppose que et . On pose et pour .
1
Montrer que est un difféomorphisme local en tel que .
2
Soit l’ensemble des points fixes de . Montrer que est une sous-variété de .
3
Soit , . Montrer que est un difféomorphisme de . En déduire que n’est plus nécessairement vrai si on supprime l’hypothèse .