Ver el código de «Hipótesis del continuo»

En [[teoría de conjuntos]], la '''hipótesis del continuo''' (también conocida como ''primer problema de Hilbert'') es un enunciado relativo a la [[cardinalidad]] del [[conjunto]] de los [[números reales]], formulado como una [[Hipótesis (método científico)|hipótesis]] por [[Georg Cantor]] en 1878. Su enunciado afirma que no existen [[conjunto infinito|conjuntos infinitos]] cuyo tamaño esté estrictamente comprendido entre el del conjunto de los [[números naturales]] y el del conjunto de los reales. El nombre ''continuo'' hace referencia al conjunto de los reales.

La hipótesis del continuo fue uno de los [[Problemas de Hilbert|23 problemas de Hilbert]] propuestos en 1900. Las contribuciones de [[Kurt Gödel]] y [[Paul Cohen]] demostraron que es de hecho [[independencia lógica|independiente]] de los [[axiomas de Zermelo-Fraenkel]], el conjunto de axiomas estándar en teoría de conjuntos.

== Introducción ==
En teoría de conjuntos, el concepto de [[número cardinal (teoría de conjuntos)|número cardinal]] se introduce para clasificar y estudiar los distintos tipos de infinitos. El cardinal del conjunto de los números naturales {{math|'''N'''}} se denota por {{math|{{unicode|ℵ}}<sub>0</sub>}} ([[alef cero]]). Los conjuntos de los [[números enteros]] {{math|'''Z'''}} y de los [[números racionales]] {{math|'''Q'''}} tienen el mismo cardinal, y se dicen ''numerables''. El conjunto de los números reales {{math|'''R'''}} tiene un cardinal [[Argumento de la diagonal de Cantor|más grande]] denotado por {{math|''c''}} (por ''continuo''), cuyo valor preciso es {{math|2<sup>{{unicode|ℵ}}<sub>0</sub></sup>}} cuando se expresa en la aritmética de cardinales infinitos.

Esta expresión puede entenderse al escribir un número real, puesto que en general es necesario incluir en su [[parte fraccionaria]] una sucesión infinita de cifras:

:<math>\pi=3.14159...</math>

La cantidad de números reales que pueden escribirse es igual al número de combinaciones posibles. Por ejemplo, un número de 3 cifras tiene 10<sup>3</sup> = 1000 valores posibles. En el caso de un número real arbitrario el número de cifras es infinito o, de otro modo, el número de cifras es {{math|{{unicode|ℵ}}<sub>0</sub>}}, por lo que existen {{math|10<sup>{{unicode|ℵ}}<sub>0</sub></sup>}} valores posibles. Puesto que la [[potenciación|base]] de esta expresión es finita mientras que su [[exponente]] es infinito, el valor concreto de la base no afecta al valor final de la expresión, y puede escribirse también como {{math|2<sup>{{unicode|ℵ}}<sub>0</sub></sup>}}.
Sin embargo la notación de {{math|2<sup>{{unicode|ℵ}}<sub>0</sub></sup>}} deriva de que el número de subconjuntos que se pueden hacer con ''n'' elementos es {{math|2<sup>n</sup>}} (ver [[binomio de Newton]]). Y es que {{math|'''R'''}} es isomorfo a las partes de {{math|'''N'''}}, lo cual puede probarse de forma elegante y breve viendo que todo {{math|'''R'''}} es isomorfo a (0,1); y a su vez, si escribimos los elementos de (0,1) en base binaria y de cada elemento señalamos las posiciones donde hay 1, nos queda claramente un elemento de las partes de {{math|'''N'''}}, y para cada conjunto de {{math|'''N'''}} encontramos un número en (0,1). Por lo tanto {{math|'''R'''}} no puede ser numerable.

Un [[subconjunto]] infinito de {{math|'''R'''}} tiene necesariamente un cardinal, o bien menor que {{math|2<sup>{{unicode|ℵ}}<sub>0</sub></sup>}} ([[Exempli gratia|e.g.]], los números naturales {{math|'''N'''}} con cardinal {{math|{{unicode|ℵ}}<sub>0</sub>)}}, o bien igual a {{math|2<sup>{{unicode|ℵ}}<sub>0</sub></sup>}} (e.g. el [[intervalo (matemáticas)|intervalo]] [0, 1] de los números entre 0 y 1). La hipótesis del continuo afirma precisamente que no es posible encontrar un subconjunto de {{math|'''R'''}} con cardinal comprendido entre {{math|{{unicode|ℵ}}<sub>0</sub>}} y {{math|2<sup>{{unicode|ℵ}}<sub>0</sub></sup>}}.

== Enunciado ==
La hipótesis del continuo afirma que no existen conjuntos con cardinalidades intermedias entre los naturales y los reales:
{{definición|título=Hipótesis del continuo|1=No existe ningún conjunto {{math|''A''}} tal que su cardinal {{math|{{mabs|''A''}}}} cumpla:
:<math>\aleph_0<|A|<2^{\aleph_0}</math>
}}

Si se supone el [[axioma de elección]], la estructura de los cardinales infinitos es más clara: todos los cardinales infinitos son [[Álef (cardinales)|álefs]] y están [[Buen orden|bien ordenados]], por lo que existe solo un cardinal inmediatamente superior a {{math|{{unicode|ℵ}}<sub>0</sub>}}, denotado por {{math|{{unicode|ℵ}}<sub>1</sub>}}. La hipótesis es equivalente entonces a:
{{definición|título=Hipótesis del continuo (con AE)|1=El cardinal del conjunto de los números reales es el inmediatamente superior al cardinal de los números naturales:
:<math>2^{\aleph_0}=\aleph_1</math>
}}

== Historia. Independencia ==
Cantor creía que el enunciado de la hipótesis del continuo era cierto e intentó probarlo infructuosamente. El problema llegó a ser tan célebre que [[David Hilbert]] lo incluyó como el primero de su lista de los [[problemas de Hilbert|23 problemas matemáticos del siglo]]. Sin embargo, la hipótesis del continuo es [[independencia lógica|independiente]] o indecidible: partiendo de los axiomas de la teoría de conjuntos no puede probarse ni refutarse. La demostración de su consistencia (es decir, que no puede refutarse) fue dada por [[Kurt Gödel]] en 1940, y se basa en la [[clase (teoría de conjuntos)|clase]] de los [[conjunto constructible|conjuntos constructibles]] {{math|''L''}}. En 1963, [[Paul Cohen]] demostró la independencia (que no puede probarse), mediante el [[método de Forcing]].

== Argumentos a favor y en contra de la hipótesis del continuo ==
Gödel creía que la hipótesis del continuo es falsa, y que su prueba de que es consistente con la teoría de elección de Zermelo-Frankel solo muestra que los axiomas de [[Axiomas de Zermelo-Fraenkel|Zermelo–Fraenkel]] no caracterizan adecuadamente el universo de conjuntos. Gödel era un [[Filosofía de las matemáticas|platonista]] y, por lo tanto, no tenía problemas para afirmar la verdad y la falsedad de las declaraciones independientemente de su demostrabilidad. Cohen, aunque [[Formalismo matemático|formalista]],{{r|Goodman1979}} también tendía a rechazar la hipótesis del continuo.

Históricamente, los matemáticos que favorecían un [[universo (matemáticas)|universo]] "rico" y "grande" de conjuntos estaban en contra de la hipótesis del continuo, mientras que los que favorecían un universo "limpio" y "controlable" la favorecían. Se esgrimieron argumentos paralelos a favor y en contra del [[axioma de construibilidad]], que a su vez implica la hipótesis del continuo. Más recientemente, [[Matthew Foreman]] ha señalado que el [[maximalismo ontológico]] en realidad puede usarse para argumentar a favor de la hipótesis del continuo, porque entre los modelos que tienen los mismos reales, los modelos con "más" conjuntos de reales tienen una mejor oportunidad de satisfacerla.{{sfn|Maddy|1988|p=500}}

Otro punto de vista es que la concepción de conjunto no es lo suficientemente específica para determinar si la hipótesis del continuo es verdadera o falsa. Este punto de vista fue propuesto ya en 1923 por [[Skolem]], incluso antes del primer [[Teoremas de incompletitud de Gödel|teorema de incompletitud de Gödel]]. Skolem argumentó sobre la base de lo que ahora se conoce como la [[paradoja de Skolem]], y luego se apoyó en la independencia de la hipótesis del continuo de los axiomas de Zermelo-Frankel, ya que estos axiomas son suficientes para establecer las propiedades elementales de conjuntos y cardinalidades. Para argumentar en contra de este punto de vista, sería suficiente demostrar nuevos axiomas que se apoyen en la intuición y resuelvan la hipótesis del continuo en una u otra dirección. Aunque el axioma de construibilidad resuelve la hipótesis del continuo, por lo general no se considera que sea intuitivamente cierta más de lo que generalmente se considera que es falsa.{{r|Kunen1980_171}}

Se han propuesto al menos otros dos axiomas que tienen implicaciones para la hipótesis del continuo, aunque actualmente estos axiomas no han encontrado una amplia aceptación en la comunidad matemática. En 1986, Chris Freiling{{r|Freiling1986}} presentó un argumento en contra de la hipótesis del continuo, mostrando que su negación es equivalente al [[axioma de simetría de Freiling]], una afirmación derivada de argumentar a partir de intuiciones particulares sobre [[Probabilidad|probabilidades]]. Freiling cree que este axioma es "intuitivamente cierto", pero otros matemáticos no están de acuerdo con esta idea.

Un argumento difícil contra la hipótesis del continuo desarrollado por [[William Hugh Woodin]] ha atraído una atención considerable desde el año 2000.{{r|Woodin2001a|Woodin2001b}} [[ Matthew Foreman|Foreman]] no rechaza el argumento de Woodin por completo, pero insta a la cautela.{{r|Foreman2003}} Woodin propuso una nueva hipótesis que denominó {{nowrap|axioma-(*)"}}, o "axioma de la estrella". El axioma de la estrella implicaría que <math>2^{\aleph_0}</math> es <math>\aleph_2</math>, demostrando así la falsedad de la hipótesis del continuo. El axioma de la estrella se vio reforzado por una prueba independiente de mayo de 2021 que muestra que el mencionado axioma de la estrella se puede derivar de una variación del [[máximo de Martin]]. Sin embargo, Woodin declaró en la década de 2010 que ahora cree que la hipótesis del continuo es cierta, basándose en su creencia en su nueva conjetura de "L final".<ref name="quanta 2021">{{cite news |last1=Wolchover |first1=Natalie |title=How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. |url=https://www.quantamagazine.org/how-many-numbers-exist-infinity-proof-moves-math-closer-to-an-answer-20210715/ |access-date=2021-12-30 |work=Quanta Magazine |date=2021-07-15 |language=en}}</ref><ref>{{cite journal |last1=Rittberg |first1=Colin J. |title=How Woodin changed his mind: new thoughts on the Continuum Hypothesis |journal=Archive for History of Exact Sciences |date=March 2015 |volume=69 |issue=2 |pages=125–151 |doi=10.1007/s00407-014-0142-8}}</ref>

[[Solomon Feferman]] ha argumentado que la hipótesis del continuo no es un problema matemático definido.{{r|Feferman2011}} Propone una teoría de "definición" usando un subsistema semi-intuicionista de Zermelo-Frankel que acepta la [[lógica clásica]] para cuantificadores acotados, pero usa la [[lógica intuicionista]] para cuantificadores no acotados, y sugiere que una proposición <math>\phi</math> es matemáticamente "definida" si la teoría semi-intuicionista puede probar que <math>(\phi \lor \neg\phi)</math>. Conjetura que la hipótesis del continuo no es definida de acuerdo con esta noción, y propone que debería, por lo tanto, considerarse que no tiene un [[valor de verdad]]. [[Peter Koellner]] escribió un comentario crítico sobre el artículo de Feferman.{{r|Koellner2011b}}

[[Joel David Hamkins]] propone un enfoque basado en [[Multiverso (teoría de conjuntos)|multiversos]] para la teoría de conjuntos, y argumenta que "la hipótesis del continuo se establece en la vista del multiverso por nuestro amplio conocimiento sobre cómo se comporta en el multiverso y, como resultado, ya no se puede establecer de la manera que antes se esperaba".{{r|Hamkins2012}} En un modo relacionado con esta proposición, [[Saharon Shelah]] escribió que "no está de acuerdo con la visión platónica pura de que los problemas interesantes en la teoría de conjuntos se pueden resolver, que solo tenemos que descubrir el axioma adicional. Mi imagen mental es que tenemos muchas teorías de conjuntos posibles, todas conformes a los axiomas de Zermelo-Frankel". {{r|Shelah2003}}

== Hipótesis del continuo generalizada ==
El conjunto de los números reales es [[equipotencia|equipotente]] al [[conjunto potencia]] de los números naturales, es decir, el conjunto de todos los subconjuntos posibles de números naturales. Por lo tanto, otra formulación de la hipótesis del continuo es: no existen cardinales comprendidos entre el del conjunto de los naturales y el de su conjunto potencia (los reales). La hipótesis del continuo generalizada es la versión general de este enunciado sin particularizar al caso de los números naturales:
{{definición|título=Hipótesis del continuo generalizada|1=Para cualquier conjunto infinito {{math|''A''}}, no existe un conjunto {{math|''B''}} que cumpla:
:<math> |A| < |B| < 2^{|A|} </math> 
}}
Al igual que en el caso de los números naturales, el cardinal {{math|2<sup>{{mabs|''A''}}</sup>}} es el cardinal de {{math|''P''(''A'')}}, el conjunto potencia de {{math|''A''}}. La hipótesis del continuo generalizada también tiene un enunciado más simple si se asume el axioma de elección, ya que entonces cada cardinal infinito es un álef, y para cada álef existe un álef inmediatamente mayor:
{{definición|título=Hipótesis del continuo generalizada (con AE)|1=El cardinal del conjunto potencia de cualquier conjunto infinito es igual al cardinal siguiente al de dicho conjunto:
:<math>\text{Para cada cardinal infinito }\lambda,\ 2^{\lambda} = \lambda^+</math>
}}
La hipótesis del continuo generalizada también es independiente de los axiomas de la teoría de conjuntos. Además de eso, es tan potente como para implicar el axioma de elección:
{{teorema|1=La hipótesis del continuo generalizada implica el axioma de elección.}}

== Véase también ==
* [[Teorema de Cantor]]
* [[Número ordinal (teoría de conjuntos)]]
* [[Número cardinal]]
:* [[Conjunto finito]]
:* [[Conjunto infinito]]
::* [[Conjunto numerable]]
:::* [[Espacio compacto]]
::* [[Conjunto no numerable]]
:::* '''Hipótesis del continuo'''

== Referencias ==
{{reflist|2|refs=
<ref name=Woodin2001a>
{{Cite journal
 |last=Woodin |first=W. Hugh
 |year=2001
 |title=The Continuum Hypothesis, Part&nbsp;I
 |journal=Notices of the AMS
 |volume=48 |issue=6 |pages=567–576
 |url=https://www.ams.org/notices/200106/fea-woodin.pdf
}}
</ref>

<ref name=Woodin2001b>
{{Cite journal
 |last=Woodin  |first=W. Hugh
 |year=2001
 |title=The Continuum Hypothesis, Part&nbsp;II
 |journal=Notices of the AMS
 |volume=48 |issue=7 |pages=681–690
 |url=https://www.ams.org/notices/200107/fea-woodin.pdf
}}
</ref>

<ref name=Koellner2011b>{{Cite web
 |last=Koellner
 |first=Peter
 |year=2011
 |title=Feferman on the indefiniteness of CH
 |url=http://logic.harvard.edu/EFI_Feferman_comments.pdf
 |fechaacceso=2 de julio de 2022
 |fechaarchivo=6 de mayo de 2021
 |urlarchivo=https://web.archive.org/web/20210506185219/http://logic.harvard.edu/EFI_Feferman_comments.pdf
 |deadurl=yes
 }}</ref>

<ref name=Goodman1979>
{{Cite journal
 |last=Goodman  |first=Nicolas D.
 |year=1979
 |title=Mathematics as an objective science
 |journal=The American Mathematical Monthly
 |volume=86  |issue=7  |pages=540–551
 |doi=10.2307/2320581
 |jstor=2320581
 |mr=542765
 |quote=This view is often called ''formalism''. Positions more or less like this may be found in Haskell Curry&nbsp;[5], Abraham Robinson&nbsp;[17], and Paul Cohen&nbsp;[4].
}}
</ref>

<ref name=Kunen1980_171>
{{Cite book
 |last=Kunen  |first=Kenneth  |author-link=Kenneth Kunen
 |year=1980
 |title=[[Set Theory: An Introduction to Independence Proofs]]
 |page=[https://archive.org/details/settheoryintrodu0000kune/page/171 171]
 |location=Amsterdam, NL
 |publisher=North-Holland
 |isbn=978-0-444-85401-8
}}
</ref>

<ref name=Freiling1986>
{{Cite journal
 |last=Freiling |first=Chris
 |year=1986
 |title=Axioms of Symmetry: Throwing darts at the real number line
 |journal=Journal of Symbolic Logic
 |volume=51  |issue=1  |pages=190–200
 |publisher=Association for Symbolic Logic
 |doi=10.2307/2273955 |jstor=2273955
}}
</ref>

<ref name=Foreman2003>
{{Cite web
 |last=Foreman |first=Matt
 |year=2003
 |title=Has the Continuum Hypothesis been settled?
 |access-date=2006-02-25
 |url=http://www.math.helsinki.fi/logic/LC2003/presentations/foreman.pdf
}}
</ref>

<ref name=Feferman2011>
{{Cite web
 |last=Feferman |first=Solomon |author-link=Solomon Feferman
 |year=2011
 |title=Is the Continuum Hypothesis a definite mathematical problem?
 |work=Exploring the Frontiers of Independence
 |series=Harvard lecture series 
 |url=http://math.stanford.edu/~feferman/papers/IsCHdefinite.pdf
}}
</ref>

<ref name=Hamkins2012>
{{Cite journal
 |last=Hamkins |first=Joel David  |author-link=Joel David Hamkins
 |year=2012
 |title=The set-theoretic multiverse
 |journal=The Review of Symbolic Logic
 |volume=5 |issue=3 |pages=416–449
|doi=10.1017/S1755020311000359 |s2cid=33807508 |arxiv=1108.4223}}
</ref>

<ref name=Shelah2003>
{{Cite journal
 |last=Shelah |first=Saharon
 |year=2003
 |title=Logical dreams
 |journal=Bulletin of the American Mathematical Society |series=New Series
 |volume=40 |issue=2 |pages=203–228
 |doi=10.1090/s0273-0979-03-00981-9
 |arxiv=math/0211398
|s2cid=1510438
 }}
</ref>
}} 

==Bibliografía==
* {{cita libro|apellidos=Jech|nombre=Thomas|título=Set theory, third millennium edition (revised and expanded)|editorial=Springer|año=2002|isbn=3-540-44085-2|idioma=inglés}}
* {{cita web|url=http://stanford.library.usyd.edu.au/entries/set-theory/|fechaacceso=29 de julio de 2013|autor=Koellner, Peter|título=Continuum Hypothesis|obra=[[Stanford Encyclopedia of Philosophy]] (Summer 2013 edition)|idioma=inglés|fechaarchivo=1 de noviembre de 2015|urlarchivo=https://web.archive.org/web/20151101163824/http://stanford.library.usyd.edu.au/entries/set-theory/|deadurl=yes}}
* {{Cite journal
 |last=Maddy |first=Penelope
 |date=June 1988
 |title=Believing the axioms, [part&nbsp;I]
 |journal=Journal of Symbolic Logic
 |volume=53  |issue=2  |pages=481–511
 |publisher=Association for Symbolic Logic
 |doi=10.2307/2274520 |jstor=2274520
}}
{{Problemas de Hilbert}}

{{Control de autoridades}}
[[Categoría:Números cardinales]]
[[Categoría:Teoría de conjuntos]]
[[Categoría:Ciencia de 1878]]
[[Categoría:Ciencia y tecnología de Alemania del siglo XIX]]
[[Categoría:Problemas de Hilbert|#01]]
[[Categoría:Infinito]]