La derivada en un cierto punto entonces se convierte en una transformación lineal entre los correspondientes espacios tangentes, y la derivada de la función se convierte en un mapeo entre los grupos tangentes.