Quizá la situación más natural es que las funciones sean diferenciables en las variedades.