Más formalmente si formula_3 es una carta local, asociada a las coordenadas canónicas definidas anteriormente, es decir: