From Wikipedia, the free encyclopedia
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:
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
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 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.
El 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:
Aquest axioma pot expressar-se més formalment:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.