En geometría diferencial, el espacio tangente se define como una generalización de derivadas direccionales, que a su vez se definen como funcionales siguiendo la regla del producto de Leibniz.
Entiendo todas las pruebas, pero ¿cuál es la intuición detrás de la elección de la regla del producto para capturar la noción de derivados, en lugar de cualquier otra propiedad?