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

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

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

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

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

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

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

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

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.