Dos variedades diferenciales $latex M$ y $latex N$ son difeomorfas si existe un difeomorfismo entre ellas. Sin considerar ninguna estructura adicional, dos variedades difeomorfas son equivalentes. Sea $latex f:M longrightarrow N$ una aplicación entre variedades de clase $latex C^k$. Diremos que $latex f$ es un difeomorfismo de clase $latex C^k$ si es bijectiva, diferenciable y …