Difféomorphisme

Bonjour,
J'ai une question à vous poser.
Dans mon cours sur les fonctions holomorphes j'ai une démonstration qui repose sur le fait que si une fonction est un difféomorphisme local injectif alors c'est un difféomorphisme sur tout son ensemble de définition.
Je ne comprendd pas d'ou vient ce résultat.
En plus je ne vois pas ce que l injectivité apporte au difféomorphisme, puisqu'un difféomorphisme est bijectif par définition...
Voila la définition que j'ai d'un difféomorphisme (holomorphe):
Un difféomorphisme est une application holomorphe telle que sa bijection réciproque est également holomorphe.
(holomorphe: différentiable dans les complexes)
merci

pfiou, c'est un peu loin pour moi ça... Ca me dit bien quelque chose, mais je ne pense pas avoir le temps de chercher. Je regarderai ce soir si je tombe dessus, mais je ne promet rien.

ok merci dans tous les cas, c'est pas quelque chose de tres important mais c'est toujours mieux d'éclaircir le maximum de choses.

C'est bon j'ai compris! En fait c'est qu'une fonction injective qui est un difféomorphisme local est en fait un difféomorphisme global.