Me encontré con esta pregunta en el tablón de topología en AoPS, donde realmente no había recibido una respuesta. Parece interesante, pero no estoy seguro de cómo resolverla. Espero encontrar una respuesta aquí.
La pregunta, de Dudley Análisis real y probabilidad va como
A $C^1$ es una función $t\mapsto (f(t),g(t))$ de $\mathbb{R}$ en $\mathbb{R}^2$ donde las derivadas $f'(t)$ y $g'(t)$ existen y son continuas para todo $t$ . Demuestre que $\mathbb{R}^2$ no es una unión contable de rangos de $C^1$ curvas.
En el libro de google también hay una pista para mostrar el rango de un $C^1$ curva en un intervalo finito no es densa en ninguna parte.
Así que, por curiosidad, ¿cuál es una forma adecuada de probar la insinuación de que el alcance de un $C^1$ curva en un intervalo finito no es densa en ninguna parte ? He leído las primeras secciones del libro hasta el punto del ejercicio, y cubre compacidad, topologías producto, espacios métricos completos y compactos y métricas sobre espacios de funciones, y los teoremas de Dini, Arzela-Ascoli, y el Teorema de Stone Weierstrass. Pongo una recompensa para ver si hay una solución básica usando sólo estos conocimientos, aunque no sea la más elegante.
Añadido : He investigado un poco basándome en los comentarios que he recibido. Sé que $\mathbb{R}^2$ es un espacio métrico completo, y el Teorema de la Categoría de Baire dice que todo espacio métrico completo es de la segunda categoría. Puedo descomponer una curva en un número contable de curvas definidas en intervalos finitos, (como intervalos de longitud $1$ ¿tal vez?). Entonces, si $\mathbb{R}^2$ es la unión contable de rangos de curvas, también sería la unión contable de los rangos de estas curvas contablemente muchas más pequeñas con dominios finitos. Sin embargo, si cada curva de un intervalo finito no tiene ningún rango denso, entonces $\mathbb{R}^2$ sería la unión de un número contable de conjuntos densos en ninguna parte y entonces sería de la primera categoría, contrariamente al Teorema de la Categoría Baire.
Entonces, ¿por qué exactamente el rango de una curva en un intervalo finito no es denso en ninguna parte? Parece intuitivamente cierto. Si dejo que $B=\{(f(t),g(t))\mid t\in I\}$ para algún intervalo finito $I\subset\mathbb{R}$ sea el rango de algún $C^1$ curva, entonces mi sensación es que este rango parece algún "segmento" en $\mathbb{R}^2$ . Si $U\subset\mathbb{R}^2$ es cualquier conjunto abierto, quiero encontrar un conjunto abierto $V\subset U$ donde $B\cap V=\emptyset$ . Intuitivamente, parece que podría simplemente tomar alguna bola abierta de radio suficientemente pequeño en $U$ que no cumple $B$ en el plano, por lo que el alcance no es denso en ninguna parte. ¿Hay alguna manera más formal de expresar esto? Gracias.