Hipòtesi del continu
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 (àlef zero) i el cardinal dels nombres reals és , la hipòtesi del continu afirma que:
on |A| indica el cardinal d'A.
Acceptant l'axioma d'elecció, existeix un nombre cardinal , l'immediat superior a , sent la hipòtesi del continu equivalent a la igualtat
La HC com axioma independent
modificaCantor 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 banda, amb la hipòtesi del continu (Kurt Gödel, 1938) i, per altra banda, amb el seu contrari (Paul Cohen, 1963), obtenint sistemes axiomàtics consistents 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.[1] 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
modificaEl teorema de Cantor sobre el conjunt potència afirma que per a qualsevol conjunt A es compleix que:
- ,
el que obre la possibilitat que existeixin cardinals transfinits més grans que . La hipòtesi del continu generalitzada es pot formular dient que:
- Si un conjunt A té un cardinal donat per llavors el conjunt de les parts d'A té un cardinal donat per .
Aquest axioma pot expressar-se més formalment:
- .
Referències
modifica- ↑ Gardner, Martin. «3. Aleph-cero y aleph-uno». A: Carnaval matemático (en castellà). Alianza Editorial, p. 59. ISBN 9788491811503 [Consulta: 26 gener 2022]. «En 1938 Kurt Gödel encontró que la suposición de Cantor, que había llegado a conocerse como la “hipótesis del continuo”, podía considerarse cierta, sin que entrara en conflicto con los axiomas de la teoría de conjuntos. Cohen demostró en 1963 que lo contrario también podía suponerse.»