Soit une application . On suppose qu’il existe tel que pour tout ,
1
En considérant la fonction , montrez que En déduire que est une application fermée.
2
Démontrer que, pour tout est un isomorphisme de . En déduire que est une application ouverte.
3
Conclure que est un difféomorphisme de classe de sur lui même.