un difféomorphisme local est un difféomorphisme global si et seulement sil est bijectif dans le cas des fonctions numériques entre intervalles le théorème de la bijection assure que tout ck-difféomorphisme local dun intervalle réel sur un autre est un ck-difféomorphisme global ce résultat élémentaire se généralise aux dimensions supérieures et aux variétés sous la forme suivante 