Hiptesis del continuo - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Hiptesis_del_continuo

Hiptesis del continuo

De Wikipedia, la enciclopedia libre

En teora de conjuntos, la hiptesis del continuo es un enunciado relativo a la cardinalidad del conjunto de
los nmeros reales, formulado como una hiptesis por Georg Cantor en 1878. Su enunciado afirma que no
existen conjuntos infinitos cuyo tamao est estrictamente comprendido entre el del conjunto de los
nmeros naturales y el del conjunto de los reales. El nombre continuo hace referencia al conjunto de los
reales.

La hiptesis del continuo fue uno de los 23 problemas de Hilbert propuestos en 1900. Las contribuciones de
Kurt Gdel y Paul Cohen demostraron que es de hecho independiente de los axiomas de Zermelo-Fraenkel,
el conjunto de axiomas estndar en teora de conjuntos.

ndice
1 Introduccin
2 Enunciado
3 Historia. Independencia
4 Hiptesis del continuo generalizada
5 Vase tambin
6 Referencias

Introduccin
En teora de conjuntos, el concepto de nmero cardinal se introduce para clasificar y estudiar los distintos
tipos de infinitos. El cardinal del conjunto de los nmeros naturales N se denota por 0. Los conjuntos de
los nmeros enteros Z y de los nmeros racionales Q tienen el mismo cardinal, y se dicen numerables. El
conjunto de los nmeros reales R tienen un cardinal ms grande denotado por c (por continuo), cuyo valor
preciso es 20 cuando se expresa en la aritmtica de cardinales infinitos.

Esta expresin puede entenderse al escribir un nmero real, puesto que en general es necesario incluir en su
parte fraccionaria una sucesin infinita de cifras:

La cantidad de nmeros reales que pueden escribirse es igual al nmero de combinaciones posibles. Por
ejemplo, un nmero de 3 cifras tiene 103 = 1000 valores posibles. En el caso de un nmero real arbitrario el
nmero de cifras es infinito o, de otro modo, el nmero de cifras es 0, por lo que existen 100 valores
posibles. Puesto que la base de esta expresin es finita mientras que su exponente es infinito, el valor
concreto de la base no afecta al valor final de la expresin, y puede escribirse tambin como 20.

Un subconjunto de R tiene necesariamente un cardinal o bien menor que 20 (por ejemplo, los nmeros
naturales N, con cardinal 0), o bien igual a 20 (como por ejemplo el intervalo [0, 1] de los nmeros entre
0 y 1). La hiptesis del continuo afirma precisamente que no es posible encontrar un subconjunto de R con
cardinal comprendido entre 0 y 20.

Enunciado

1 de 4 3/8/17 2:01
Hiptesis del continuo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Hiptesis_del_continuo

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

Hiptesis del continuo

No existe ningn conjunto A tal que su cardinal |A|

cumpla:

Si se asume el axioma de eleccin, la estructura de los cardinales infinitos es ms clara: todos los cardinales
infinitos son lefs y estn bien ordenados, por lo que existe slo un cardinal inmediatamente superior a 0,
denotado por 1. La hiptesis es equivalente entonces a:

Hiptesis del continuo (con AE)

El cardinal del conjunto de los nmeros reales es el

inmediatamente superior al cardinal de los nmeros
naturales:

Historia. Independencia
Cantor crea que el enunciado de la hiptesis del continuo era cierto e intent probarlo infructuosamente. El
problema lleg a ser tan clebre que David Hilbert lo incluy como el primero de su lista de los 23
problemas matemticos del siglo. Sin embargo, la hiptesis del continuo es independiente o indecidible:
partiendo de los axiomas de la teora de conjuntos no puede probarse ni refutarse. La demostracin de su
consistencia (es decir, que no puede refutarse) fue dada por Kurt Gdel 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 mtodo de Forcing.

Hiptesis del continuo generalizada

El conjunto de los nmeros reales es equipotente al conjunto potencia de los nmeros naturales, es decir, el
conjunto de todos los subconjuntos posibles de nmeros naturales. Por lo tanto, otra formulacin de la
hiptesis del continuo es: no existen cardinales comprendidos entre el del conjunto de los naturales y el de
su conjunto potencia (los reales). La hiptesis del continuo generalizada es la versin general de este
enunciado sin particularizar al caso de los nmeros naturales:

Hiptesis del continuo generalizada

2 de 4 3/8/17 2:01
Hiptesis del continuo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Hiptesis_del_continuo

Para cualquier conjunto infinito A, no existe un

conjunto B que cumpla:

Al igual que en el caso de los nmeros naturales, el cardinal 2|A| es el cardinal de P(A), el conjunto potencia
de A. La hiptesis del continuo generalizada tambin tiene un enunciado ms simple si se asume el axioma
de eleccin, ya que entonces cada cardinal infinito es un lef, y para cada lef existe un lef inmediatamente
mayor:

Hiptesis del continuo generalizada (con AE)

El cardinal del conjunto potencia de cualquier conjunto

infinito es igual al cardinal siguiente al de dicho
conjunto:

La hiptesis del continuo generalizada tambin es independiente de los axiomas de la teora de conjuntos.
Adems de eso es tan potente como para implicar el axioma de eleccin:

La hiptesis del continuo generalizada implica el

axioma de eleccin.

Vase tambin
Teorema de Cantor

Nmero ordinal (teora de conjuntos)

Nmero cardinal

Conjunto finito
Conjunto infinito
Conjunto numerable
Espacio compacto
Conjunto no numerable
Hiptesis del continuo

Referencias
Jech, Thomas (2002). Set theory, third millennium edition (revised and expanded) (en ingls).

3 de 4 3/8/17 2:01
Hiptesis del continuo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Hiptesis_del_continuo

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 ingls). Consultado el 29 de julio de
2013.

Obtenido de https://es.wikipedia.org/w/index.php?title=Hiptesis_del_continuo&oldid=99770470

Se edit esta pgina por ltima vez el 11 jun 2017 a las 08:09.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

4 de 4 3/8/17 2:01