Hipótesis del continuo


Hipótesis del continuo

En teoría de conjuntos, la hipótesis del continuo (abreviada HC) es una hipótesis, debida a Georg Cantor, sobre la cardinalidad del conjunto de los números reales (denominado continuo por la recta real). Cantor introdujo el concepto de número cardinal para comparar el tamaño de conjuntos infinitos, demostrando en 1874 que el cardinal del conjunto de los enteros es estrictamente inferior al de los números reales. Lo siguiente a preguntarse es si existen conjuntos cuyo cardinal esté incluido estrictamente entre el de ambos conjuntos. La hipótesis del continuo viene a decir:

No existen conjuntos cuyo tamaño esté comprendido estrictamente entre el de los enteros y el de los números reales.

Matemáticamente hablando, si el cardinal de los enteros es \aleph_0 (aleph cero) y el cardinal de los números reales es 2^{\aleph_0}, la hipótesis del continuo afirma que:

\nexists A : \aleph_0 < |A| < 2^{\aleph_0}

donde |A| indica el cardinal de A.

Admitiendo el axioma de elección, existe un número cardinal \aleph_1 (aleph uno), el inmediato superior a \aleph_0, siendo la hipótesis del continuo equivalente a la igualdad

2^{\aleph_0} = \aleph_1.

La HC como axioma independiente

Cantor trató en vano demostrar la hipótesis del continuo. La demostración de ésta constituye el primero de los célebres 23 problemas de Hilbert enunciados por David Hilbert en su famosa conferencia en París durante el Congreso Internacional de Matemáticos de 1900.

No fue hasta 1963 que se consiguió demostrar que la hipótesis del continuo es un problema indecidible en el sistema axiomático ZFC (Zermelo-Fraenkel con Axioma de elección). Esto se demostró complementando ZFC por una parte con la hipótesis del continuo (Kurt Gödel, 1938) y por otra parte con su contrario (Paul Cohen, 1963), obteniendo sistemas axiomáticos consistentes en ambos casos.

La prueba de Gödel implica que puede construirse una teoría de conjuntos consistente donde HC sea una afirmación cierta. Por otro lado la prueba de Paul Cohen implica que puede construirse otra teoría de conjuntos donde HC sea una afirmación falsa. La situación es análoga a lo que sucede en geometría donde pueden construirse geometrías euclídeas donde el postulado V de Euclides es cierto y geometrías no euclídeas donde dicho postulado es falso.

Hipótesis del continuo generalizada

El teorema de Cantor sobre el conjunto potencia afirma que para cualquier conjunto A se cumple que:

\mbox{card}(A) < \mbox{card}(\mathcal{P}(A)) ,

lo cual demuestra que existen cardinales transfinitos arbitrariamente grandes. La hipótesis del continuo generalizada puede formularse entonces como:

HCG

Si un conjunto A tiene un cardinal dado por \aleph_\alpha entonces el conjunto potencia de A tiene un cardinal dado por \aleph_{\alpha+1}:

\forall \alpha\in\Omega\,,\ \mbox{card}(A) = \aleph_\alpha \rightarrow \mbox{card}(\mathcal{P}(A)) = \aleph_{\alpha+1}

La hipótesis del continuo generalizada no es sólo independiente de la axiomática usual en teoría de conjuntos sino que se demuestra:

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

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Hipótesis del continuo — El continuo c es el cardinal de ℝ (conjunto de los números reales). Se dice que un conjunto A tiene la potencia del continuo si card(A) = c. La hipótesis del continuo viene a decir que no existe ningún conjunto A tal que ℵ0 < card(A) < c,… …   Enciclopedia Universal

  • Continuo — La palabra continuo (sin tilde) proviene del latín continŭus. En filosofía, suscita el problema de si la realidad es continua, (una única realidad) o discontinua (multiplicidad de realidades). Problema que ya en la antigüedad suscitó varias… …   Wikipedia Español

  • Hipótesis documentaria — La Hipótesis documentaria o Hipótesis documental (DH) propone que los primeros cinco libros del Antiguo Testamento (Génesis, Éxodo, Levítico, Números y Deuteronomio, que juntos se conocen como la Torá o Pentateuco) son una combinación de… …   Wikipedia Español

  • Conspiraciones del 11-S — Saltar a navegación, búsqueda Las conspiraciones del 11 S son una serie de teorías sobre el origen y desarrollo de los atentados (que tuvieron lugar el 11 de septiembre de 2001 en el World Trade Center, en El Pentágono y en una zona rural de… …   Wikipedia Español

  • Derrumbe del World Trade Center — El derrumbe del WTC 2, en el Martes negro. El Colapso del World Trade Center se produjo durante los ataques del 11 de septiembre de 2001. Cada una de las dos torres del World Trade Center (WTC) en Nueva York, fue embestida por un avión, que había …   Wikipedia Español

  • Teoría del Big Bang — «Big Bang» redirige aquí. Para otras acepciones, véase Big Bang (desambiguación). Para la serie de televisión, véase The Big Bang Theory …   Wikipedia Español

  • Historia del pensamiento evolucionista — Parte de la serie de Evolución biológica …   Wikipedia Español

  • Viaje a través del tiempo — Para los viajes a través del tiempo en la ciencia ficción y literatura, véase Viaje a través del tiempo (ciencia ficción) …   Wikipedia Español

  • Historia del vino — El dios Baco (según los romanos) o Dionisio (según los griegos). Pintado por Diego Velázquez …   Wikipedia Español

  • Paradoja del lingote de plata — Saltar a navegación, búsqueda La paradoja del lingote de plata, o también creación a partir de la nada es una paradoja ideada en 1985 (más tarde ampliamente descrita en el cuento corto ¡Es imposible, es imposible! ) que, en teoría, podría… …   Wikipedia Español