24/11/2015

HiptesisdelcontinuoWikipedia,laenciclopedialibre

Hiptesisdelcontinuo
DeWikipedia,laenciclopedialibre
Enteoradeconjuntos,lahiptesisdelcontinuoesunenunciadorelativoalacardinalidaddelconjunto 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
comprendidoentreeldelconjuntodelosnmerosnaturalesyeldelconjuntodelosreales.Elnombrecontinuohacereferenciaalconjuntode
losreales.
La hiptesis del continuo fue uno de los 23 problemas de Hilbert propuestos en 1900. Las contribuciones de Kurt Gdel y Paul Cohen
demostraronqueesdehechoindependientedelosaxiomasdeZermeloFraenkel,elconjuntodeaxiomasestndarenteoradeconjuntos.

ndice
1 Introduccin
2 Enunciado
3 Historia.Independencia
4 Hiptesisdelcontinuogeneralizada
5 Vasetambin
6 Referencias

Introduccin
Enteoradeconjuntos,elconceptodenmerocardinalseintroduceparaclasificaryestudiarlosdistintostiposdeinfinitos.Elcardinaldel
conjuntodelosnmerosnaturalesNsedenotapor0.LosconjuntosdelosnmerosenterosZydelosnmerosracionalesQtienenelmismo
cardinal,ysedicennumerables.ElconjuntodelosnmerosrealesRtienenuncardinalmsgrandedenotadoporc(porcontinuo),cuyovalor
precisoes20cuandoseexpresaenlaaritmticadecardinalesinfinitos.
https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo

1/5

24/11/2015

HiptesisdelcontinuoWikipedia,laenciclopedialibre

Estaexpresinpuedeentendersealescribirunnmeroreal,puestoqueengeneralesnecesarioincluirensupartefraccionariaunasucesin
infinitadecifras:

Lacantidaddenmerosrealesquepuedenescribirseesigualalnmerodecombinacionesposibles.Porejemplo,unnmerode3cifrastiene
103=1000valoresposibles.Enelcasodeunnmerorealarbitrarioelnmerodecifrasesinfinitoo,deotromodo,elnmerodecifrases0,
porloqueexisten100valoresposibles.Puestoquelabasedeestaexpresinesfinitamientrasquesuexponenteesinfinito,elvalorconcreto
delabasenoafectaalvalorfinaldelaexpresin,ypuedeescribirsetambincomo20.
UnsubconjuntodeRtienenecesariamenteuncardinalobienmenorque20(porejemplo,losnmerosnaturalesN,concardinal0),obien
iguala20(comoporejemploelintervalo[0,1]delosnmerosentre0y1).Lahiptesisdelcontinuoafirmaprecisamentequenoesposible
encontrarunsubconjuntodeRconcardinalcomprendidoentre0y20.

Enunciado
Lahiptesisdelcontinuoafirmaquenoexistenconjuntosconcardinalidadesintermediasentrelosnaturalesylosreales:

Hiptesisdelcontinuo
NoexisteningnconjuntoAtalquesucardinal|A|cumpla:

Siseasumeelaxiomadeeleccin,laestructuradeloscardinalesinfinitosesmsclara:todosloscardinalesinfinitossonlefsyestnbien
ordenados,porloqueexisteslouncardinalinmediatamentesuperiora0,denotadopor1.Lahiptesisesequivalenteentoncesa:

Hiptesisdelcontinuo(conAE)
https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo

2/5

24/11/2015

HiptesisdelcontinuoWikipedia,laenciclopedialibre

Elcardinaldelconjuntodelosnmerosrealeseselinmediatamentesuperioral
cardinaldelosnmerosnaturales:

Historia.Independencia
Cantorcreaqueelenunciadodelahiptesisdelcontinuoeraciertoeintentprobarloinfructuosamente.Elproblemallegasertanclebre
queDavidHilbertloincluycomoelprimerodesulistadelos23problemasmatemticosdelsiglo.Sinembargo,lahiptesisdelcontinuoes
independiente o indecidible: partiendo de los axiomas de la teora de conjuntos no puede probarse ni refutarse. La demostracin de su
consistencia(esdecir,quenopuederefutarse)fuedadaporKurtGdelen1940,ysebasaenlaclasedelosconjuntosconstructiblesL. En
1963,PaulCohendemostrlaindependencia(quenopuedeprobarse),medianteelmtododeForcing.

Hiptesisdelcontinuogeneralizada
Elconjuntodelosnmerosrealesesequipotentealconjuntopotenciadelosnmerosnaturales,esdecir,elconjuntodetodoslossubconjuntos
posiblesdenmerosnaturales.Porlotanto,otraformulacindelahiptesisdelcontinuoes:noexistencardinalescomprendidosentreeldel
conjunto de los naturales y el de su conjunto potencia (los reales). La hiptesis del continuo generalizada es la versin general de este
enunciadosinparticularizaralcasodelosnmerosnaturales:

Hiptesisdelcontinuogeneralizada
ParacualquierconjuntoinfinitoA,noexisteunconjuntoBquecumpla:

3/5
Aligualqueenelcasodelosnmerosnaturales,elcardinal2|A|eselcardinaldeP(A),elconjuntopotenciadeA.Lahiptesisdelcontinuo

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo

24/11/2015

HiptesisdelcontinuoWikipedia,laenciclopedialibre

Aligualqueenelcasodelosnmerosnaturales,elcardinal2|A|eselcardinaldeP(A),elconjuntopotenciadeA.Lahiptesisdelcontinuo
generalizadatambintieneunenunciadomssimplesiseasumeelaxiomadeeleccin,yaqueentoncescadacardinalinfinitoesunlef,y
paracadalefexisteunlefinmediatamentemayor:

Hiptesisdelcontinuogeneralizada(conAE)
El cardinal del conjunto potencia de cualquier conjunto infinito es igual al
cardinalsiguientealdedichoconjunto:

Lahiptesisdelcontinuogeneralizadatambinesindependientedelosaxiomasdelateoradeconjuntos.Ademsdeesoestanpotentecomo
paraimplicarelaxiomadeeleccin:

Lahiptesisdelcontinuogeneralizadaimplicaelaxiomadeeleccin.

Vasetambin
TeoremadeCantor

Referencias
Jech,Thomas(2002).Settheory,thirdmillenniumedition(revisedandexpanded)(eningls).Springer.ISBN3540440852.
Koellner,Peter.ContinuumHypothesis(http://stanford.library.usyd.edu.au/entries/settheory/).Stanford Encyclopedia of Philosophy
(Summer2013edition)(eningls).Consultadoel29dejuliode2013.

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo

4/5

24/11/2015

HiptesisdelcontinuoWikipedia,laenciclopedialibre

Obtenidodehttps://es.wikipedia.org/w/index.php?title=Hiptesis_del_continuo&oldid=85068386
Categoras: Nmeroscardinales Teoradeconjuntos
Estapginafuemodificadaporltimavezel12sep2015alas07:46.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulas
adicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.

https://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo

5/5