De acuerdo con el teorema de la función inversa, una aplicación diferenciable "f" : "M" → "N" es un difeomorfismo local si y sólo si la aplicación tangente T"f" : T"M" → T"N" es un isomorfismo lineal para todo punto "p" de "M".