de $\mathbb{N}$ a $\mathbb{N}$ hay $2^{\aleph_0}$ como se puede definir $2^{\aleph_0}$ funciona de la siguiente manera: Para cada subconjunto de $\mathbb{N}$ mantener los números del subconjunto igual, y añadir 1 al resto.
¿Qué pasa con la cardinalidad de todas las funciones montoneras de $\mathbb{R}$ a $\mathbb{R}$ ?
Es ${\mathfrak c}$ o $2^{\mathfrak c}$ , ${\aleph_1}$ o ${\aleph_2}$
Mi intuición es decir que su cardinalidad es la misma que la del conjunto de funciones reales continuas que es ${\mathfrak c}$ Como las funciones monótonas son continuas excepto, posiblemente, en un número contable de puntos, pero no he podido encontrar una prueba concreta.
1 votos
La cardinalidad del conjunto de funciones reales continuas es ${\aleph_1}$ ? Me gustaría ver una prueba de ello.
0 votos
Desde $\mathfrak c=\aleph_3$ es consistente con ZFC, podemos decir con seguridad que ni $\aleph_1$ ni $\aleph_2$ son respuestas.
0 votos
@ProfesorVector math.stackexchange.com/questions/477/
0 votos
Así que usted afirma $\mathfrak c=\aleph_1$ ?
0 votos
@ProfessorVector ¿no es así? Pensé que ambos se definen como $2^{\aleph_0}$
0 votos
@user844541 Es la famosa Hipótesis del Continuo. Paul Cohen demostró que la CH es independiente de los axiomas de la ZFC.
1 votos
$\aleph_1$ es el cardinal menos incontable. $2^{\aleph_0}$ es el cardinal del conjunto de todos los subconjuntos de un conjunto contablemente infinito. Su igualdad no es demostrable ni refutable , a partir de los axiomas de la Teoría de Conjuntos, a menos que dichos axiomas sean inconsistentes entre sí.