## [Hipótesis del Continuo](/es/node/63252) Definición La afirmación en teoría de conjuntos de que no existe ningún número cardinal estrictamente entre la cardinalidad de los enteros ℵ0 y la cardinalidad de los reales 2^{ℵ0} (equivalente a que 2^{ℵ0} = ℵ1 en la formulación convencional), es decir, que el continuo tiene una talla específica. ## Principio Principio Determinar el orden de las cardinalidades infinitas inmediatamente por encima del infinito numerable negando tamaños intermedios entre ℵ0 y el continuo, postulando así un cardinal sucesor mínimo para el conjunto potencia de los enteros bajo la hipótesis. ## Demostración Demostración En modelos de teoría de conjuntos que satisfacen CH se puede afirmar que todo subconjunto no numerable de la recta real tiene la cardinalidad del continuo; por el contrario, por medio de forcing se construyen modelos con cardinalidades intermedias, lo que ilustra la independencia de CH respecto a ZFC. ## Aplicación incorrecta Aplicación incorrecta Asumir CH como teorema de ZFC al construir objetos o probar enunciados sin declarar los axiomas, o usar consecuencias de CH en argumentos sobre topología o medida sin verificar si el modelo considerado asume CH o su negación. ## Consecuencia Consecuencia Aceptar CH o su negación modifica el panorama de construcciones combinatorias y topológicas posibles (por ejemplo, afecta la existencia de ciertos espacios patológicos, invariantes cardinales del continuo y enunciados combinatorios), y muchas preguntas naturales siguen siendo indecidibles en ZFC. ## Inversión Inversión La negación de CH afirma la existencia de al menos un cardinal estrictamente intermedio entre ℵ0 y 2^{ℵ0}, abriendo la posibilidad de muchas cardinalidades intermedias y cambiando las consecuencias en teoría de conjuntos y topología derivadas del tamaño del continuo. ## Límite Límite CH es una afirmación de nivel puro ZFC sobre aritmética de cardinales y no decide por sí misma propiedades más finas de regularidad medible o topológica; su estatus es el de independencia respecto a ZFC, por lo que no es demostrable ni refutable a partir de los axiomas de ZFC solos. ## Tensión semántica Tensión semántica La tensión semántica aparece entre CH y hipótesis más fuertes como la Hipótesis Generalizada del Continuo (GCH), y entre considerar las igualdades cardinales como canónicas o como artefactos dependientes del modelo; esta tensión se manifiesta en topología, combinatoria y teoría de modelos. ## Síntesis Síntesis La Hipótesis del Continuo postula una talla mínima específica para el continuo al negar cardinales intermedios entre ℵ0 y 2^{ℵ0}; su independencia de ZFC convierte a CH en un axioma modulable cuya aceptación o rechazo conduce a universos de teoría de conjuntos y topología diferentes pero coherentes.