Hipòtesi del Continu

De Viquipèdia
Dreceres ràpides: navegació, cerca

En teoria de conjunts, la hipòtesi del continu (abreviada HC) és una hipòtesi, proposada per Georg Cantor, sobre la cardinalitat del conjunt dels nombres reals (denominat continu per la recta real). Cantor introduí el concepte de nombre cardinal per comparar la mida de conjunts infinits, demostrant el 1874 que el cardinal del conjunt dels enters és estrictament inferior al dels nombres reals. El següent a preguntar-se és si existeixen conjunts tals que la seva cardinalitat estigui estrictament inclosa entre els dos conjunts. La hipòtesi del continu diu:

No existeixen conjunts la mida dels quals estigui compresa estrictament entre el dels enters i el dels nombres reals.

Matemàticament parlant, si el cardinal dels enters és \aleph_0 (aleph zero) i el cardinal dels nombres reals és 2^{\aleph_0}, la hipòtesi del continu afirma que:

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

on |A| indica el cardinal d'A.

Acceptant l'axioma d'elecció, existeix un nombre cardinal \aleph_1, l'immediat superior a \aleph_0, sent la hipòtesi del continu equivalent a la igualtat

2^{\aleph_0} = \aleph_1.

La HC com axioma independent[modifica | modifica el codi]

Cantor va intentar de demostrar la hipòtesi del continu sense aconseguir-ho. Aquesta hipòtesi és el primer dels famosos 23 problemes de Hilbert enunciats per David Hilbert a la seva conferència en el Congrés Internacional de Matemàtics de 1900 a Paris.

No va ser fins al 1963 que es va aconseguir demostrar que la hipòtesi del continu és un problema indecidible en el sistema axiomàtic ZFC (Zermelo-Fraenkel amb Axioma d'elecció). Es va demostrar complementat ZFC per una part amb la hipòtesi del continu (Kurt Gödel, 1938) i per altra part pel seu continu (Paul Cohen, 1963), obtenint sistemes axiomàtics consistens en els dos casos.

La prova de Gödel implica que es pot construir una teoria de conjunts consistent on HC sigui una afirmació certa. Per altra banda, la prova de Paul Cohen implica que es pot construir una teoria de conjunts on HC sigui una afirmació falsa. La situació és anàloga al que succeeix en geometria on poden construir-se geometries euclidianes on el postulat V d'Euclides és cert i geometries no euclidianes on dit postulat és fals.

Hipòtesis del continu generalitzada[modifica | modifica el codi]

El teorema de Cantor sobre el conjunt potència afirma que per a qualsevol conjunt A es compleix que:

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

El que obra la possibilitat que existeixin cardinals transfinits més grans que \aleph_1. La hipòtesi del continu generalitzada es pot formular dient que:

Si un conjunt A té un cardinal donat per \aleph_n llavors el conjunt de les parts d'A té un cardinal donat per \aleph_{n+1}.

Aquest axioma pot expressar-se més formalment:

\forall n\ge 0:(\mbox{card}(A) = \aleph_n \rightarrow \mbox{card}(\mathcal{P}(A)) = \aleph_{n+1})