hipótesis del continuo

5
24/11/2015 Hipótesi s del continuo - Wi ki pedia, la enciclopedia li bre https://es.wiki pedia.org/wiki/Hip%C3%B3tesis_del _conti nuo 1/5 Hipótesis del continuo De Wikipedia, la enciclopedia libre En teoría de conjuntos, la hipótesis del continuo es un enunciado relativo a la cardinalidad del conjunto de los números reales, formulado como una hipótesis por Georg Can tor en 1878. Su enunciado afirma que no existen 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 23 problemas de Hilbert propuestos en 1900. Las contribuciones de Kurt Gödel y Paul Cohen demostraron que es de hecho independiente de los axiomas de Zermelo-Fraenkel, el conjunto de axiomas estándar en teoría de conjuntos. Índice 1 Introd ucci ón 2 Enun ciado 3 Historia. Independenc ia 4 Hipótesis del co ntinuo generalizada 5 Véase también 6 Ref  erencias Introducción En teoría de conjuntos, el concepto de número cardinal se introduce para clasificar y estudiar los distintos tipos de infinitos. El cardinal del conjunto de los números naturales N se denota por 0 . Los conjuntos de los números enteros Z y de los números racionales Q tienen el mismo cardinal, y se dicen numerables. El conjunto de los números reales R  tienen un cardinal más grande denotado por c (por continuo), cuyo valor  preciso es 2 0  cuando se expresa en la aritmética de cardinales infinitos.

Upload: josgau

Post on 06-Mar-2016

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Hipótesis Del Continuo

7/21/2019 Hipótesis Del Continuo

http://slidepdf.com/reader/full/hipotesis-del-continuo-56db5fe29a248 1/5

24/11/2015 Hipótesis del continuo - Wikipedia, la enciclopedia libre

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo 1/5

Hipótesis del continuoDe Wikipedia, la enciclopedia libre

En teoría de conjuntos, la hipótesis del continuo es un enunciado relativo a la cardinalidad del conjunto de los números reales, formulado

como una hipótesis por Georg Cantor en 1878. Su enunciado afirma que no existen 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 23 problemas de Hilbert propuestos en 1900. Las contribuciones de Kurt Gödel y Paul Cohen

demostraron que es de hecho independiente de los axiomas de Zermelo-Fraenkel, el conjunto de axiomas estándar en teoría de conjuntos.

Índice

1 Introducción

2 Enunciado

3 Historia. Independencia

4 Hipótesis del continuo generalizada

5 Véase también

6 Ref erencias

Introducción

En teoría de conjuntos, el concepto de número cardinal se introduce para clasificar y estudiar los distintos tipos de infinitos. El cardinal del

conjunto de los números naturales N se denota porℵ0. Los conjuntos de los números enteros Z y de los números racionales Q tienen el mismo

cardinal, y se dicen numerables. El conjunto de los números reales R tienen un cardinal más grande denotado por c (por continuo), cuyo valor

preciso es 2ℵ0 cuando se expresa en la aritmética de cardinales infinitos.

Page 2: Hipótesis Del Continuo

7/21/2019 Hipótesis Del Continuo

http://slidepdf.com/reader/full/hipotesis-del-continuo-56db5fe29a248 2/5

24/11/2015 Hipótesis del continuo - Wikipedia, la enciclopedia libre

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo 2/5

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:

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

103 = 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 ℵ0,

por lo que existen 10ℵ0 valores posibles. Puesto que la 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 2ℵ0.

Un subconjunto de R tiene necesariamente un cardinal o bien menor que 2ℵ0 (por ejemplo, los números naturales N, con cardinal ℵ0), o bien

igual a 2ℵ0 (como por ejemplo el 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 R con cardinal comprendido entreℵ0 y 2ℵ0.

Enunciado

La hipótesis del continuo afirma que no existen conjuntos con cardinalidades intermedias entre los naturales y los reales:

Hipótesis del continuo

No existe ningún conjunto A tal que su cardinal | A| cumpla:

Si se asume el axioma de elección, la estructura de los cardinales infinitos es más clara: todos los cardinales infinitos son álefs y están bien

ordenados, por lo que existe sólo un cardinal inmediatamente superior a ℵ0, denotado por ℵ1. La hipótesis es equivalente entonces a:

Hipótesis del continuo (con AE)

Page 3: Hipótesis Del Continuo

7/21/2019 Hipótesis Del Continuo

http://slidepdf.com/reader/full/hipotesis-del-continuo-56db5fe29a248 3/5

24/11/2015 Hipótesis del continuo - Wikipedia, la enciclopedia libre

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo 3/5

El cardinal del conjunto de los números reales es el inmediatamente superior alcardinal de los números naturales:

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 23 problemas matemáticos del siglo. Sin embargo, la hipótesis del continuo es

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 de los conjuntos constructibles L. En

1963, Paul Cohen demostró la independencia (que no puede probarse), mediante el método de Forcing.

Hipótesis del continuo generalizadaEl conjunto de los números reales es 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:

Hipótesis del continuo generalizada

Para cualquier conjunto infinito A, no existe un conjunto B que cumpla:

Page 4: Hipótesis Del Continuo

7/21/2019 Hipótesis Del Continuo

http://slidepdf.com/reader/full/hipotesis-del-continuo-56db5fe29a248 4/5

24/11/2015 Hipótesis del continuo - Wikipedia, la enciclopedia libre

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo 4/5

Al igual que en el caso de los números naturales, el cardinal 2 | A| es el cardinal de P ( A), el conjunto potencia de 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:

Hipótesis del continuo generalizada (con AE)

El cardinal del conjunto potencia de cualquier conjunto infinito es igual alcardinal siguiente al de dicho conjunto:

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:

La hipótesis del continuo generalizada implica el axioma de elección.

Véase tambiénTeorema de Cantor

Referencias

Jech, Thomas (2002). Set theory, third millennium edition (revised and expanded) (en inglés). Springer. ISBN 3-540-44085-2.Koellner, Peter. «Continuum Hypothesis» (http://stanford.library.usyd.edu.au/entries/set-theory/). Stanford Encyclopedia of Philosophy(Summer 2013 edition) (en inglés). Consultado el 29 de julio de 2013.

Page 5: Hipótesis Del Continuo

7/21/2019 Hipótesis Del Continuo

http://slidepdf.com/reader/full/hipotesis-del-continuo-56db5fe29a248 5/5

24/11/2015 Hipótesis del continuo - Wikipedia, la enciclopedia libre

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo 5/5

Obtenido de «https://es.wikipedia.org/w/index.php?title=Hipótesis_del_continuo&oldid=85068386»

Categorías: Números cardinales Teoría de conjuntos

Esta página fue modificada por última vez el 12 sep 2015 a las 07:46.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; podrían ser aplicables cláusulasadicionales. Léanse los términos de uso para más información.Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.