La hipótesis del continuo afirma que
2ℵ0=ℵ12ℵ0=ℵ1
Y Cantor equivalente como:
"No hay ningún subconjunto incontables A R tal que |A|<R."
¿Por qué estas dos declaraciones son equivalentes?
La hipótesis del continuo afirma que
2ℵ0=ℵ12ℵ0=ℵ1
Y Cantor equivalente como:
"No hay ningún subconjunto incontables A R tal que |A|<R."
¿Por qué estas dos declaraciones son equivalentes?
Estoy asumiendo que usted sabe que |R|=2ℵ0, lo que puede ser probado por mirar binario expansiones de los números en [0,1] (descontando countably muchos números con que no es único de las expansiones).
El cardenal ℵ1 es, por definición, el menor cardinal mayor que ℵ0, lo que significa que no hay ningún conjunto de A tal que ℵ0<|A|<ℵ1. Así, en particular, 2ℵ0≮ℵ1.
En la otra dirección, si ℵ1<2ℵ0=|R|, entonces eso significa que hay una inyección de f:ℵ1→R, y el establecimiento A a medida que el rango de f,A⊆R, e ℵ0<|A|=ℵ1<|R|.
Así, suponiendo que no hay ningún tipo de conjuntos de A, también tenemos ℵ1≮2ℵ0, y asumiendo el axioma de elección, esto implica ℵ1=2ℵ0.
Suponiendo que el axioma de elección, cada dos cardenales son comparables. En particular, cualquiera de las ℵ1≥2ℵ0 o ℵ1≤2ℵ0.
Desde ℵ1 es el menos incontables cardenal, y 2ℵ0 es incontable por la diagonal argumento, se desprende que no es necesariamente el caso de que ℵ1≤2ℵ0. Por lo que la hipótesis continua es equivalente a decir que el 2ℵ0=ℵ1, de lo contrario existe un conjunto de tamaño ℵ1, casi por definición,ℵ1<2ℵ0, que es un intermedio entre el NR.
Tenga en cuenta, sin embargo, que el axioma de elección es esencial aquí. Es posible que el axioma de elección falla, no hay intermedio entre cardenales NR, pero ℵ1≠2ℵ0 (en cuyo caso no son incomparables).
Varias respuestas, ahora decir ℵ1 es el menos incontables cardenal o que es el siguiente el cardenal después de ℵ0. Podríamos recordar la definición de volver a Cantor, quien introdujo la notación:
ℵ1 es la cardinalidad del conjunto de todos los contables de los números ordinales.
Si el axioma de elección se mantiene, entonces uno puede mostrar que todos infinito cardenales son alephs, y empezar con ℵ0, ℵ1, ℵ2, etc., con nada entre alephs con índices consecutivos.
Por lo tanto, si no hay nada entre elℵ02ℵ0,2ℵ0=ℵ1, pero de lo contrario 2ℵ0>ℵ1.
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.