• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






¿La hipótesis del continuo implica que $[0,1]$ es imagen continua de $\Omega$?

+2 votos
Supongamos que la hipótesis del continuo es cierta. Sea $\Omega$ el mínimo ordinal no numerable con la topología del orden. ¿Existe una función continua y sobre $f:\Omega\to [0,1]$?
preguntado por EliasMochan (7,980 puntos) Sep 27, 2014 en Preguntas

1 Respuesta

+2 votos
 
Mejor respuesta

No, cualquier función continua $f : \Omega \to \mathbb{R}$ es constante a partir de algún momento, es decir, existe un ordinal $\alpha \in \Omega$ tal que $f(\beta) = f(\alpha)$ siempre que $\alpha \le \beta \in \Omega$. En particular, la imagen de $f$ necesariamente es a lo más numerable.

Para probar eso, primero probemos una forma aproximada:

Lema. Para cualquier $\epsilon>0$ existe un $\alpha_\epsilon$ tal que para $\alpha_\epsilon \le \beta \in \Omega$ tenemos que $\left|f(\beta) - f(\alpha_\epsilon)\right| < \epsilon$.

Demostración. Si esto es falso para un cierto $\epsilon$, podemos construir una sucesión estríctamente creciente de oridnales $\gamma_n \in \Omega$ con $\left|f(\gamma_{n+1}) - f(\gamma_{n})\right| \geq \epsilon$. La propiedad básica de $\Omega$ es que el supremo de cualquier conjunto numerable de ordinales en $\Omega$ también pertenece a $\Omega$. Entonces, si $\gamma = \sup_n \gamma_n$, tenemos que $f(\gamma_n) \to f(\gamma)$, lo cual contradice que $\left|f(\gamma_{n+1}) - f(\gamma_{n})\right| \geq \epsilon$.

Ahora ya podemos probar que $f$ es constante a partir de algún momento: sea $\alpha = \sup_n \alpha_{1/n}$, donde $\alpha_{1/n}$ está dado por el lema (con $\epsilon = 1/n$). Entonces, otra vez por la propiedad básica de $\Omega$, $\alpha \in \Omega$ y por definición tenemos que para $\alpha \le \beta \in \Omega$, $\left|f(\beta) - f(\alpha)\right| < 1/n$ para todo $n$, es decir, $f(\beta) = f(\alpha)$.

respondido por Omar Antolín (33,080 puntos) Oct 6, 2014
editado por EliasMochan Oct 6, 2014
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...