Si tenemos un espacio localmente euclídeo "M" de dimensión "m", podemos construir un sistema de coordenadas curvilíneo local en torno a un punto "p" siempre a partir de cualquier difeomorfismo que cumpla: