Vous êtes sur la page 1sur 3

24/11/2015

TeoremadeBolzanoWeierstrassWikipedia,laenciclopedialibre

TeoremadeBolzanoWeierstrass
DeWikipedia,laenciclopedialibre
Enelanlisisreal,elteoremadeBolzanoWeierstrassesunimportanteteoremaquecaracterizalosconjuntossecuencialmentecompactos.

ndice
1 Enunciado
2 Demostracin
3 Compacidadsecuencialenespacioseucldeos
4 Historia
5 Vasetambin
6 Bibliografa
7 Enlacesexternos

Enunciado
En el anlisis real, el teorema de BolzanoWeierstrass es un resultado fundamental referente a la convergencia en un espacio eucldeo
dimensionalmente finito Rn. El teorema establece que cada sucesin acotada en Rn tiene una subsucesin convergente. Una formulacin
equivalenteesqueunsubconjuntodeRnessecuencialmentecompactosiyslosiescerradoyacotado.

Demostracin
Enprimerlugar,aplicandoelmtododeinduccinmatemtica,demostraremoselteoremacuandon=1,encuyocasoelordendeRsepuede
ponerabuenuso.Dehechotenemoselsiguienteresultado.
https://es.wikipedia.org/wiki/Teorema_de_BolzanoWeierstrass

1/3

24/11/2015

TeoremadeBolzanoWeierstrassWikipedia,laenciclopedialibre

Lema:Cadasucesin{xn}enRtieneunasubsucesinmontona.
Demostracin:Vamosallamaraunnmeroenteropositivonun"picodelasecuencia",sim>nimplicaxn>xmesdecir,sixnesmayorque
todoslostrminossiguientesdelasecuencia.Supongamosprimeroquelasecuenciatienepicosinfinitos,n1<n2<n3<<nj<Entonces
la subsecuencia correspondiente
a los picos es montonamente creciente, y ya est. As que supongamos ahora que slo hay un
nmerofinitodepicos,seaNelltimopicoyn1=N+1.Luegon1noesunpico,yaquen1>N,loqueimplicalaexistenciadeunn2>n1
con
Unavezms,n2>Nnoesunpico,porlotantohayn3>n2con
Repetiendoesteprocesoconduceauna
subsucesininfinitanodecreciente
,silodesea.
AhorasupongamosquetenemosunasecuenciaacotadaenR,porelLemaexisteunasubsucesinmontona,necesariamentelimitada.Perose
sigue del teorema de convergencia montona que esta subsecuencia deben converger, y la prueba es completa. Por ltimo, el caso general
puedeserfcilmentereducidaalcasoden=1comosigue:dadaunasecuencialimitadaenRn,lasecuenciadelasprimerascoordenadasesuna
secuenciareallimitado,porlotantotieneunasubsucesinconvergente.Acontinuacin,puedeextraerunsubsubsucesinenelqueconvergen
lassegundascoordenadas,yassucesivamente,hastaquealfinalhemospasadodelasecuenciaoriginalasubsecuencianvecesquesigue
siendo una subsecuencia de la secuencia original en la que cada coordenada converge secuencia , por lo tanto, la propia subsucesin es
convergente.

Compacidadsecuencialenespacioseucldeos
SupongamosqueAesunsubconjuntodeRnconlapropiedaddequetodasucesinenAtieneunasubsucesinconvergenteaunelementode
A. Entonces, A debe ser limitada, pues de lo contrario existe una secuencia en la xm en A con ||xm|| m para todos los m, y luego cada
subsecuencia es ilimitada y por tanto no convergentes. Por otra parte A debe ser cerrado, ya que desde un punto de no interior x en el
complemento de A se puede construir una secuencia A con valores de convergencia a x. As, los subconjuntos A, de Rn, para que cada
secuenciaenlaAtieneunasubsucesinconvergenteaunelementodeAesdecir,lossubconjuntosqueestnsecuencialmentecompactoen
latopologadesubespaciosonprecisamentelosconjuntoscerradosylimitados.Estaformadelteoremahaceespecialmenteclaralaanaloga
conelTeoremadeHeineBorel,queafirmaqueunsubconjuntodeRnescompactosiysolosiescerradoyacotado.Dehecho,latopologa
generalnosdicequeunespacioescompactometrizablesiysolosiessecuencialmentecompacto,demodoqueladeBolzanoWeierstrassyel
teoremadeHeineBorelsonesencialmentelosmismos.

Historia
El teorema de BolzanoWeierstrass lleva el nombre de matemticos BernardBolzano y Karl Weierstrass. En realidad, fue demostrado por
primera vez por Bolzano en 1817 como un lema en la demostracin del teorema de valor intermedio. Unos cincuenta aos ms tarde, el
resultadofueidentificadocomosignificativoporderechopropio,ydemostradounavezmsporWeierstrass.Desdeentoncessehaconvertido
https://es.wikipedia.org/wiki/Teorema_de_BolzanoWeierstrass

2/3

24/11/2015

TeoremadeBolzanoWeierstrassWikipedia,laenciclopedialibre

enunteoremafundamentaldelanlisis.

Vasetambin
TeoremadeHeineBorel

Bibliografa
Fitzpatrick,PatrickM.(2006)AdvancedCalculus(2nded.).Belmont,CA:ThompsonBrooks/Cole.ISBN0534376037.

Enlacesexternos
Hazewinkel,Michiel,ed.(2001),BolzanoWeierstrasstheorem(http://www.encyclopediaofmath.org/index.php?title=p/b016880)(en
ingls),EncyclopaediaofMathematics,Springer,ISBN9781556080104
Weisstein,EricW.BolzanoWeierstrassTheorem(http://mathworld.wolfram.com/BolzanoWeierstrassTheorem.html).EnWeisstein,
EricW.MathWorld(eningls).WolframResearch.
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Teorema_de_BolzanoWeierstrass&oldid=85795779
Categoras: Teoremasdeanlisismatemtico Teoremasepnimosdelasmatemticas
Estapginafuemodificadaporltimavezel13oct2015alas14:16.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranseraplicablesclusulas
adicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.

https://es.wikipedia.org/wiki/Teorema_de_BolzanoWeierstrass

3/3