Como tal un difeomorfismo es una aplicación que posee aplicación inversa, por supuesto estas dos aplicaciones son diferenciables.