Podríamos cuestionarnos cómo sería posible determinar si una función formula_2 definida en una variedad topológica es una función diferenciable.