Encontré el siguiente problema desafiante en mi autoestudio:
Deje que$f: \mathbb{R} \rightarrow \mathbb{R}$ sea continuo. Entonces, el conjunto de puntos donde$f$ es diferenciable es un conjunto medible.
Tengo problemas para pensar por dónde empezar para probar este resultado y quería ver si alguien que me visita tenía alguna sugerencia sobre cómo proceder.