Dadas dos variedades formula_1 y formula_2, una aplicación diferenciable formula_3 es un difeomorfismo si es una aplicación 1-1 y su inversa formula_4 además es diferenciable.