En matemáticas , la hipótesis del continuo (abreviado CH ) es una hipótesis sobre los posibles tamaños de conjuntos infinitos . Afirma:
No existe ningún conjunto cuya cardinalidad esté estrictamente entre la de los enteros y los números reales .
En la teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección (ZFC), esto es equivalente a la siguiente ecuación en números aleph :.
La hipótesis del continuo fue propuesta por Georg Cantor en 1878, [1] y establecer su verdad o falsedad es el primero de los 23 problemas de Hilbert presentados en 1900. La respuesta a este problema es independiente de ZFC, de modo que la hipótesis del continuo o su negación se puede agregar como un axioma a la teoría de conjuntos de ZFC, con la teoría resultante siendo consistente si y solo si ZFC es consistente. Esta independencia fue probada en 1963 por Paul Cohen , complementando el trabajo anterior de Kurt Gödel en 1940. [2]
El nombre de la hipótesis proviene del término el continuo para los números reales.
Historia
Cantor creía que la hipótesis del continuo era cierta y durante muchos años intentó en vano probarla. [3] Se convirtió en la primera en la lista de importantes cuestiones abiertas de David Hilbert que se presentó en el Congreso Internacional de Matemáticos en el año 1900 en París. La teoría de conjuntos axiomáticos todavía no estaba formulada. Kurt Gödel demostró en 1940 que la negación de la hipótesis del continuo, es decir, la existencia de un conjunto con cardinalidad intermedia, no podía demostrarse en la teoría de conjuntos estándar. [2] La segunda mitad de la hipótesis de la independencia del continuo - es decir, la imposibilidad de demostrar la inexistencia de un conjunto de tamaño intermedio - fue probada en 1963 por Paul Cohen . [4]
Cardinalidad de conjuntos infinitos
Se dice que dos conjuntos tienen la misma cardinalidad o número cardinal si existe una biyección (una correspondencia uno a uno) entre ellos. Intuitivamente, que dos conjuntos S y T tengan la misma cardinalidad significa que es posible "emparejar" elementos de S con elementos de T de tal manera que cada elemento de S esté emparejado con exactamente un elemento de T y viceversa. al revés. Por tanto, el conjunto {banana, apple, pear} tiene la misma cardinalidad que {yellow, red, green}.
Con conjuntos infinitos como el conjunto de enteros o números racionales , la existencia de una biyección entre dos conjuntos se vuelve más difícil de demostrar. Los números racionales aparentemente forman un contraejemplo de la hipótesis del continuo: los números enteros forman un subconjunto adecuado de los racionales, que a su vez forman un subconjunto adecuado de los reales, por lo que, intuitivamente, hay más números racionales que enteros y más números reales que racionales. Sin embargo, este análisis intuitivo es defectuoso; no tiene debidamente en cuenta el hecho de que los tres conjuntos son infinitos . Resulta que los números racionales se pueden colocar en correspondencia uno a uno con los números enteros y, por lo tanto, el conjunto de números racionales tiene el mismo tamaño ( cardinalidad ) que el conjunto de números enteros: ambos son conjuntos contables .
Cantor dio dos pruebas de que la cardinalidad del conjunto de números enteros es estrictamente menor que la del conjunto de números reales (ver la primera prueba de incontables de Cantor y el argumento diagonal de Cantor ). Sin embargo, sus demostraciones no dan ninguna indicación de hasta qué punto la cardinalidad de los números enteros es menor que la de los números reales. Cantor propuso la hipótesis del continuo como una posible solución a esta cuestión.
La hipótesis del continuo establece que el conjunto de números reales tiene una cardinalidad mínima posible que es mayor que la cardinalidad del conjunto de números enteros. Es decir, cada conjunto, S , de los números reales o bien se puede asignar uno a uno en los enteros o los números reales se pueden asignar uno-a-uno en S . Como los números reales son equinumerables con el conjunto de potencias de los enteros, y la hipótesis del continuo dice que no hay un conjunto para cual .
Suponiendo el axioma de elección , hay un número cardinal más pequeño mas grande que , y la hipótesis del continuo es a su vez equivalente a la igualdad . [5]
Independencia de ZFC
La independencia de la hipótesis del continuo (CH) de la teoría de conjuntos (ZF ) de Zermelo-Fraenkel se deriva del trabajo combinado de Kurt Gödel y Paul Cohen .
Gödel [2] mostró que CH no se puede refutar de ZF, incluso si se adopta el axioma de elección (AC) (haciendo ZFC). La prueba de Gödel muestra que CH y AC se mantienen en el universo construible L, un modelo interno de la teoría de conjuntos ZF, asumiendo solo los axiomas de ZF. La existencia de un modelo interno de ZF en el que se mantienen axiomas adicionales muestra que los axiomas adicionales son consistentes con ZF, siempre que la propia ZF sea consistente. La última condición no se puede probar en ZF en sí, debido a los teoremas de incompletitud de Gödel , pero se cree ampliamente que es cierta y se puede probar en teorías de conjuntos más fuertes.
Cohen [4] [6] mostró que CH no se puede probar a partir de los axiomas ZFC, completando la prueba de independencia general. Para probar su resultado, Cohen desarrolló el método de forzamiento , que se ha convertido en una herramienta estándar en la teoría de conjuntos. Esencialmente, este método comienza con un modelo de ZF en el que CH se mantiene, y construye otro modelo que contiene más conjuntos que el original, de una manera que CH no se mantiene en el nuevo modelo. Cohen fue galardonado con la Medalla Fields en 1966 por su prueba.
La prueba de independencia que se acaba de describir muestra que CH es independiente de ZFC. Investigaciones posteriores han demostrado que CH es independiente de todos los grandes axiomas cardinales conocidos en el contexto de ZFC. [7] Además, se ha demostrado que la cardinalidad del continuo puede ser cualquier cardinal consistente con el teorema de König . Un resultado de Solovay, probado poco después del resultado de Cohen sobre la independencia de la hipótesis del continuo, muestra que en cualquier modelo de ZFC, sies un cardenal de incontable cofinalidad , entonces hay una extensión forzosa en la que. Sin embargo, según el teorema de König, no es consistente suponer es o o cualquier cardenal con cofinalidad .
La hipótesis del continuo está estrechamente relacionada con muchas afirmaciones en el análisis , la topología de conjuntos de puntos y la teoría de la medida . Como resultado de su independencia, muchas conjeturas sustanciales en esos campos también han demostrado ser independientes.
La independencia de ZFC significa que es imposible probar o refutar el CH dentro de ZFC. Sin embargo, los resultados negativos de Gödel y Cohen no se aceptan universalmente como una eliminación de todo interés en la hipótesis del continuo. El problema de Hilbert sigue siendo un tema activo de investigación; ver Woodin [8] [9] y Peter Koellner [10] para una descripción general del estado actual de la investigación.
La hipótesis del continuo no fue la primera afirmación que se mostró independiente de ZFC. Una consecuencia inmediata del teorema de incompletitud de Gödel , que se publicó en 1931, es que hay una declaración formal (una para cada esquema de numeración de Gödel apropiado ) que expresa la consistencia de ZFC que es independiente de ZFC, asumiendo que ZFC es consistente. La hipótesis del continuo y el axioma de elección estuvieron entre los primeros enunciados matemáticos que se demostró que eran independientes de la teoría de conjuntos ZF.
Argumentos a favor y en contra de la hipótesis del continuo
Gödel creía que CH es falso, y que su prueba de que CH es consistente con ZFC solo muestra que los axiomas de Zermelo-Fraenkel no caracterizan adecuadamente el universo de conjuntos. Gödel era un platónico y, por lo tanto, no tuvo problemas para afirmar la verdad y la falsedad de las declaraciones independientemente de su demostrabilidad. Cohen, aunque formalista , [11] también tendió a rechazar a CH.
Históricamente, los matemáticos que favorecían un universo de conjuntos "rico" y "grande" estaban en contra de CH, mientras que los que estaban a favor de un universo "ordenado" y "controlable" favorecían a CH. Se hicieron argumentos paralelos a favor y en contra del axioma de constructibilidad , que implica CH. Más recientemente, Matthew Foreman ha señalado que el maximalismo ontológico en realidad puede usarse para argumentar a favor de CH, porque entre los modelos que tienen los mismos reales, los modelos con "más" conjuntos de reales tienen más posibilidades de satisfacer CH. [12]
Otro punto de vista es que la concepción de conjunto no es lo suficientemente específica para determinar si CH es verdadero o falso. Este punto de vista fue propuesto ya en 1923 por Skolem , incluso antes del primer teorema de incompletitud de Gödel. Skolem argumentó sobre la base de lo que ahora se conoce como la paradoja de Skolem , y más tarde fue respaldada por la independencia de CH de los axiomas de ZFC, ya que estos axiomas son suficientes para establecer las propiedades elementales de conjuntos y cardinalidades. Para argumentar en contra de este punto de vista, bastaría con demostrar nuevos axiomas que se apoyan en la intuición y resuelven CH en una u otra dirección. Aunque el axioma de la constructibilidad resuelve CH, generalmente no se considera que sea intuitivamente verdadero más de lo que CH se considera generalmente falso. [13]
Se han propuesto al menos otros dos axiomas que tienen implicaciones para la hipótesis del continuo, aunque estos axiomas no han encontrado actualmente una amplia aceptación en la comunidad matemática. En 1986, Chris Freiling [14] presentó un argumento en contra de CH mostrando que la negación de CH es equivalente al axioma de simetría de Freiling , un enunciado derivado del argumento de intuiciones particulares sobre probabilidades . Freiling cree que este axioma es "intuitivamente cierto", pero otros no están de acuerdo. Un argumento difícil contra CH desarrollado por W. Hugh Woodin ha atraído una atención considerable desde el año 2000. [8] [9] Foreman no rechaza el argumento de Woodin rotundamente, pero insta a la cautela. [15]
Solomon Feferman ha argumentado que CH no es un problema matemático definido. [16] Propone una teoría de la "definición" usando un subsistema semi-intuicionista de ZF que acepta la lógica clásica para cuantificadores acotados pero usa lógica intuicionista para los ilimitados, y sugiere que una proposición es matemáticamente "definido" si la teoría semi-intuicionista puede probar . Conjetura que CH no es definido de acuerdo con esta noción, y propone que, por tanto, debería considerarse que CH no tiene un valor de verdad. Peter Koellner escribió un comentario crítico sobre el artículo de Feferman. [17]
Joel David Hamkins propone un enfoque de multiverso para la teoría de conjuntos y argumenta que "la hipótesis del continuo se basa en el punto de vista del multiverso por nuestro amplio conocimiento sobre cómo se comporta en el multiverso y, como resultado, ya no puede establecerse de la manera antes esperado ". [18] En una línea relacionada, Saharon Shelah escribió que él "no está de acuerdo con la visión platónica pura de que los problemas interesantes en la teoría de conjuntos pueden resolverse, que solo tenemos que descubrir el axioma adicional. Mi imagen mental es que tenemos muchas teorías de conjuntos posibles, todas conforme a ZFC ". [19]
La hipótesis del continuo generalizado
La hipótesis del continuo generalizado (GCH) establece que si la cardinalidad de un conjunto infinito se encuentra entre la de un conjunto infinito S y la del conjunto de potencias de S , entonces tiene la misma cardinalidad que S o. Es decir, para cualquier cardenal infinito no hay cardenal tal que . GCH es equivalente a:
- por cada ordinal[5] (ocasionalmente llamada hipótesis aleph de Cantor ).
Los números beth proporcionan una notación alternativa para esta condición: por cada ordinal . La hipótesis del continuo es el caso especial para el cardenal. GCH fue sugerido por primera vez por Philip Jourdain . [20] Para conocer la historia temprana de GCH, consulte Moore. [21]
Como CH, GCH también es independiente de ZFC, pero Sierpiński demostró que ZF + GCH implica el axioma de elección (AC) (y por lo tanto la negación del axioma de determinación , AD), por lo que la elección y GCH no son independientes en ZF; no hay modelos de ZF en los que GCH se mantenga y la CA falle. Para probar esto, Sierpiński mostró que GCH implica que cada cardinalidad n es menor que algún número aleph y, por lo tanto, se puede ordenar. Esto se hace mostrando que n es menor queque es más pequeño que su propio número de Hartogs, utiliza la igualdad; para la prueba completa, vea Gillman. [22]
Kurt Gödel mostró que GCH es una consecuencia de ZF + V = L (el axioma de que todo conjunto es construible en relación con los ordinales) y, por lo tanto, es consistente con ZFC. Como GCH implica CH, el modelo de Cohen en el que CH falla es un modelo en el que GCH falla y, por lo tanto, GCH no se puede demostrar a partir de ZFC. W. B. Easton usó el método de forzar desarrollado por Cohen para probar el teorema de Easton , que muestra que es consistente con ZFC para cardinales arbitrariamente grandes fallar en satisfacer . Mucho más tarde, Foreman y Woodin demostraron que (asumiendo la consistencia de cardenales muy grandes) es consistente que vale para cada cardenal infinito . Posteriormente, Woodin extendió esto mostrando la consistencia de para cada . Carmi Merimovich [23] mostró que, para cada n ≥ 1, es consistente con ZFC que para cada κ, 2 κ es el n- ésimo sucesor de κ. Por otro lado, László Patai [24] demostró que si γ es un ordinal y para cada κ cardinal infinito, 2 κ es el γ-ésimo sucesor de κ, entonces γ es finito.
Para cualquier conjunto infinito A y B, si hay una inyección de A a B, entonces hay una inyección de subconjuntos de A a subconjuntos de B. Por lo tanto, para cualquier cardinal infinito A y B, . Si A y B son finitos, la desigualdad más fuertesostiene. GCH implica que esta desigualdad estricta y más fuerte se aplica tanto a los cardenales infinitos como a los cardenales finitos.
Implicaciones de GCH para la exponenciación cardinal
Aunque la hipótesis del continuo generalizado se refiere directamente solo a la exponenciación cardinal con 2 como base, se pueden deducir de ella los valores de la exponenciación cardinal en todos los casos. GCH implica que: [25]
- cuando α ≤ β +1;
- cuando β +1 < α y , donde cf es la operación de cofinalidad ; y
- cuando β +1 < α y .
La primera igualdad (cuando α ≤ β +1) se deriva de:
- , tiempo:
- ;
La tercera igualdad (cuando β +1 < α y) sigue desde:
- , por el teorema de König , mientras que:
Donde, para cada γ, GCH se usa para igualar y ; se utiliza como equivalente al axioma de elección .
Ver también
- Beth número
- Cardinalidad
- Ω-lógica
- El problema de Wetzel
Referencias
- Maddy, Penelope (junio de 1988). "Creer en los axiomas, yo". Revista de lógica simbólica . Asociación de Lógica Simbólica. 53 (2): 481–511. doi : 10.2307 / 2274520 . JSTOR 2274520 .
- ^ Cantor, Georg (1878). "Ein Beitrag zur Mannigfaltigkeitslehre" . Journal für die Reine und Angewandte Mathematik . 84 (84): 242-258. doi : 10.1515 / crll.1878.84.242 .
- ^ a b c Gödel, K. (1940). La coherencia de la hipótesis del continuo . Prensa de la Universidad de Princeton.
- ^ Dauben, Joseph Warren (1990). Georg Cantor: Su matemática y filosofía del infinito . Prensa de la Universidad de Princeton. págs. 134–7 . ISBN 9780691024479.
- ^ a b Cohen, Paul J. (15 de diciembre de 1963). "La hipótesis de la independencia del continuo" . Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 50 (6): 1143-1148. Código Bibliográfico : 1963PNAS ... 50.1143C . doi : 10.1073 / pnas.50.6.1143 . JSTOR 71858 . PMC 221287 . PMID 16578557 .
- ^ a b Goldrei, Derek (1996). Teoría clásica de conjuntos . Chapman y Hall .
- ^ Cohen, Paul J. (15 de enero de 1964). "La hipótesis de la independencia del continuo, II" . Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 51 (1): 105-110. Código Bibliográfico : 1964PNAS ... 51..105C . doi : 10.1073 / pnas.51.1.105 . JSTOR 72252 . PMC 300611 . PMID 16591132 .
- ^ Feferman, Solomon (febrero de 1999). "¿Necesitan las matemáticas nuevos axiomas?". American Mathematical Monthly . 106 (2): 99-111. CiteSeerX 10.1.1.37.295 . doi : 10.2307 / 2589047 .
- ^ a b Woodin, W. Hugh (2001). "La hipótesis del continuo, parte I" (PDF) . Avisos del AMS . 48 (6): 567–576.
- ^ a b Woodin, W. Hugh (2001). "La hipótesis del continuo, parte II" (PDF) . Avisos del AMS . 48 (7): 681–690.
- ^ Koellner, Peter (2011). "La hipótesis del continuo" (PDF) . Explorando las fronteras de la independencia (serie de conferencias de Harvard) .
- ^ Goodman, Nicolas D. (1979). "Matemáticas como ciencia objetiva". The American Mathematical Monthly . 86 (7): 540–551. doi : 10.2307 / 2320581 . Señor 0542765 .
Esta visión a menudo se llama formalismo. Posiciones más o menos como ésta se pueden encontrar en Haskell Curry [5], Abraham Robinson [17] y Paul Cohen [4].
- ^ Maddy 1988 , p. 500.
- ^ Kunen, Kenneth (1980). Teoría de conjuntos: una introducción a las pruebas de independencia . Amsterdam: Holanda Septentrional. pag. 171. ISBN 978-0-444-85401-8.
- ^ Freiling, Chris (1986). "Axiomas de simetría: lanzar dardos a la recta numérica real". Revista de lógica simbólica . Asociación de Lógica Simbólica. 51 (1): 190–200. doi : 10.2307 / 2273955 . JSTOR 2273955 .
- ^ Capataz, Matt (2003). "¿Se ha resuelto la hipótesis del continuo?" (PDF) . Consultado el 25 de febrero de 2006 .
- ^ Feferman, Solomon (2011). "¿Es la hipótesis del continuo un problema matemático definido?" (PDF) . Explorando las fronteras de la independencia (serie de conferencias de Harvard) .
- ^ Koellner, Peter (2011). "Feferman sobre la indefinición de CH" (PDF) .
- ^ Hamkins, Joel David (2012). "El multiverso de la teoría de conjuntos". Rev. Symb. Entrar . 5 (3): 416–449.
- ^ Shelah, Saharon (2003). "Sueños lógicos". Toro. Amer. Matemáticas. Soc. (NS) . 40 (2): 203–228. arXiv : matemáticas / 0211398 . doi : 10.1090 / s0273-0979-03-00981-9 .
- ^ Jourdain, Philip EB (1905). "Sobre números cardinales transfinitos de la forma exponencial" . Revista filosófica . Serie 6. 9 : 42–56. doi : 10.1080 / 14786440509463254 .
- ^ Moore, Gregory H. (2011). "Historia temprana de la hipótesis del continuo generalizado: 1878-1938". Boletín de Lógica Simbólica . 17 (4): 489–532. doi : 10.2178 / bsl / 1318855631 . Señor 2896574 .
- ^ Gillman, Leonard (2002). "Dos sorpresas clásicas sobre el axioma de elección y la hipótesis del continuo" (PDF) . American Mathematical Monthly . 109 . doi : 10.2307 / 2695444 .
- ^ Merimovich, Carmi (2007). "Una función de potencia con un espacio finito fijo en todas partes". Revista de lógica simbólica . 72 (2): 361–417. arXiv : matemáticas / 0005179 . doi : 10.2178 / jsl / 1185803615 . Señor 2320282 .
- ^ Patai, L. (1930). "Untersuchungen über die א- reihe". Mathematische und naturwissenschaftliche Berichte aus Ungarn (en alemán). 37 : 127-142.
- ^ Hayden, Seymour; Kennison, John F. (1968). Teoría de conjuntos de Zermelo-Fraenkel . Columbus, Ohio: Charles E. Merrill Publishing Company. pag. 147, ejercicio 76.
Fuentes
- Este artículo incorpora material de la hipótesis del continuo generalizado en PlanetMath , que está bajo la licencia Creative Commons Attribution / Share-Alike License . Archivado el 8 de febrero de 2017 en la Wayback Machine.
Otras lecturas
- Cohen, Paul Joseph (2008) [1966]. Teoría de conjuntos e hipótesis del continuo . Mineola, Ciudad de Nueva York: Publicaciones de Dover. ISBN 978-0-486-46921-8.
- Dales, HG; Woodin, WH (1987). Introducción a la independencia para analistas . Cambridge.
- Enderton, Herbert (1977). Elementos de la teoría de conjuntos . Prensa académica.
- Gödel, K .: ¿Qué es el problema continuo de Cantor? , reimpreso en la colección de Benacerraf y Putnam Philosophy of Mathematics , 2ª ed., Cambridge University Press, 1983. Un esbozo de los argumentos de Gödel contra CH.
- Martin, D. (1976). "El primer problema de Hilbert: la hipótesis del continuo", en Mathematical Developments Arising from Hilbert's Problems, Proceedings of Symposia in Pure Mathematics XXVIII, F. Browder, editor. American Mathematical Society, 1976, págs. 81–92. ISBN 0-8218-1428-1
- McGough, Nancy. "La hipótesis del continuo" .
enlaces externos
- Szudzik, Matthew y Weisstein, Eric W. "Hipótesis del continuo" . MathWorld .