4 votos

Incrustar$\aleph_1$ en$\mathbb R$

Tengo problemas para probar que no se puede construir un mapa que preserve la orden de$\aleph_1$ a$\mathbb R$.

Sé que$\aleph_1$ es igual al conjunto de ordinales contables, pero el hecho de que el mapa no tenga que ser surjective ha hecho esto más complicado de lo que pensaba.

¿Hay alguna prueba relativamente elemental por ahí?

7voto

Deje$\omega_1$ ser el primer ordinal incontable. Supongamos que está incrustado en$\Bbb R$. Cada$\alpha\in\omega_1$% tiene un sucesor$\alpha'$ en$\omega_1$. Entre$\alpha$ y$\alpha'$ en$\Bbb R$ hay un número racional$c_\alpha$. Todos los$c_\alpha$ son distintos, y los racionales son contables ....

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X