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