Hipótesis del continuo: definición y la independencia en teoría de conjuntos
Hipótesis del continuo: definición e independencia en teoría de conjuntos. Historia, argumentos de Cantor, Gödel y Cohen, consecuencias y debate actual en matemáticas.
La hipótesis del continuo es la hipótesis formulada por Georg Cantor en 1877 que afirma que no existe ningún conjunto cuya cardinalidad sea estrictamente mayor que la de los números naturales y estrictamente menor que la de los números reales. En términos de notación de cardinales: si |N| = aleph_0 (ℵ0) es la cardinalidad de los naturales y |R| = c es la cardinalidad del continuo, la hipótesis del continuo (abreviada CH por sus siglas en inglés) postula que c = ℵ1, es decir que no hay un cardinal intermedio entre ℵ0 y ℵ1.
Cardinalidades y formulación precisa
Los infinitos se clasifican por su cardinalidad. Cantor demostró con su argumento diagonal que el conjunto de los números reales no es numerable, por lo que |R| > |N|. La cardinalidad de los números naturales se suele denotar ℵ0; el conjunto de los números reales tiene cardinalidad c = 2^{ℵ0} (la potencia del conjunto de naturales). La hipótesis del continuo puede expresarse de forma equivalente como:
- No existe ningún cardinal κ tal que ℵ0 < κ < 2^{ℵ0}.
- 2^{ℵ0} = ℵ1 (es decir, el continuum es el siguiente cardinal después de ℵ0).
ℵ1 se define como el menor cardinal no numerable (el menor cardinal estrictamente mayor que ℵ0).
Historia y resultado de independencia
La hipótesis del continuo fue el primer problema de la famosa lista de 23 problemas que David Hilbert presentó en 1900. Durante gran parte del siglo XX los matemáticos intentaron probar o refutar la CH a partir de los axiomas habituales de la teoría de conjuntos.
En 1939 Kurt Gödel mostró que la CH no puede ser falsada a partir de los axiomas de la teoría de conjuntos de Zermelo-Fraenkel (en realidad construyó el universo constructible L y probó que en L se cumplen el axioma de elección y la versión generalizada de la hipótesis del continuo). Es decir, si los axiomas de ZF (o ZFC, ZF con el axioma de elección) son consistentes, entonces lo son también al añadir CH; por tanto CH no puede refutarse a partir de esos axiomas.
En la década de 1960 Paul Cohen desarrolló la técnica del forcing y demostró que la CH tampoco puede ser probada a partir de los mismos axiomas: construyó modelos de ZF (y de ZFC) en los que la CH falla. Combinando los resultados de Gödel y Cohen se concluye que la hipótesis del continuo es independiente de los axiomas de Zermelo-Fraenkel (con o sin el axioma de elección): ni puede demostrarse ni refutarse desde ellos. Por estos avances en teoría de conjuntos Cohen recibió la medalla Fields.
Implicaciones y líneas posteriores de investigación
La independencia de la CH tiene consecuencias profundas: muestra que la teoría de conjuntos estándar (ZFC) no decide totalmente la estructura de los infinitos, y que para resolver definitivamente preguntas como CH es necesario adoptar axiomas adicionales o considerar criterios de justificación para nuevos axiomas.
Desde entonces han surgido diversas propuestas y programas de investigación, entre ellos:
- Estudiar axiomas adicionales que resuelvan CH, como ciertas axiomas de grandes cardinales o axiomas de forcing (por ejemplo, la hipótesis de Martin o el axioma de proper forcing), y analizar sus consecuencias.
- Investigar la Generalizada Hipótesis del Continuo (GCH), que extiende la afirmación a todas las potencias de cardenales sucesivos.
- Explorar consecuencias en análisis, topología y teoría de la medida: muchas proposiciones concretas sobre conjuntos y funciones dependen de si se asume CH o no.
La comunidad matemática no ha alcanzado un consenso definitivo sobre si la CH debe tomarse como verdadera o falsa mediante un nuevo axioma; el resultado ha impulsado un enfoque más pluralista en el que se estudian modelos con y sin CH para entender mejor las posibles matemáticas.
Resumen
En resumen, la hipótesis del continuo plantea que no hay cardinal intermedio entre los naturales y los reales (equivalente a 2^{ℵ0} = ℵ1). Fue propuesta por Cantor en 1877, incluida por Hilbert en su lista de 1900; Gödel (1939) mostró que no puede refutarse desde ZF/ZFC y Cohen (década de 1960) que tampoco puede probarse desde esos mismos axiomas, de modo que CH es independiente de la teoría de conjuntos estándar. Su estudio sigue siendo un área activa de investigación en fundamentos de las matemáticas.
Preguntas y respuestas
P: ¿Qué es la hipótesis del continuo?
R: La hipótesis del continuo es la hipótesis de que no existe ningún conjunto que sea a la vez mayor que el de los números naturales y menor que el de los números reales.
P: ¿Quién enunció la hipótesis del continuo y cuándo?
R: Georg Cantor enunció la hipótesis del continuo en 1877.
P: ¿Existen infinitos números naturales?
R: Sí, existen infinitos números naturales.
P: ¿Cuál es la cardinalidad del conjunto de los números naturales?
R: La cardinalidad del conjunto de los números naturales es infinita.
P: ¿Hay más números reales que números naturales?
R: Sí, hay más números reales que números naturales.
P: ¿Se puede falsar la hipótesis del continuo utilizando la teoría de conjuntos de Zermelo-Fraenkel?
R: Kurt Gödel demostró en 1939 que la hipótesis no puede falsarse utilizando la teoría de conjuntos de Zermelo-Fraenkel.
P: ¿Quién demostró que la teoría de conjuntos de Zermelo-Fraenkel no puede utilizarse para demostrar la hipótesis del continuo?
R: Paul Cohen demostró en los años 60 que la teoría de conjuntos de Zermelo-Fraenkel no puede utilizarse para demostrar la hipótesis del continuo.
Buscar dentro de la enciclopedia