Más formalmente un cambio de coordenadas puede representarse por un difeomorfismo o aplicación biyectiva y diferenciable (con inversa también diferenciable) entre dos conjuntos de formula_1, aquí llamados formula_11 y formula_12: