Taresn + H - Toros “Juan Sebaskén Morales (20\eG855) Geuro A Seon A y B subespactes compachos de un espacio A de Hausdorte . Moshar que_existen conjuatos abieclos disjuntos y V conteniendo a AY V respectwamente. (Ademis AnB =27). iD emperames con ABE X con X Hovsdorge y AnB =er ae compactos Vamos a citar vn Lema del kexto, qve promiamente lo demos trarnos eM la misma prveba del TE 26.3 ("Todo subespacto compacte de un Hausolorge ae Femma 26M sea Vex conYeompacto y © Made" Les de Hausdorff , Si xo¢ Y entonces exisken Uy V Abieckos disputes tal que xeU 4 Ye V.™ > Como ANB =D, entonces si 2¢A, Jenemos qe a ¢B ,leqo podemos apiicar el Lemma. APlconde el demaa obleremos paca cada aA ve * Vay Vay Helge aetla, BEYs Ua mle =o, Acabamer pues con cclectones LUdlaca CN Teendeemos entonces AS U Ua pero por A compacts aca G Podemos reducir este cecubrimiento A vo fintto As As UaU...U Una de igiat coders hacer la tnkisecciéa de les Vaca yobkimes B 2 Vay +26 9 Vag (40 ge VS 82 Va) Come Lenemos qe Ua: n Vee =D con bE benny A Voros a oblener que Ca Us. U Ua) 9 (Va nee Vea) =f Yo qe Si KE Vas entonces x¢ Vaz , lwege XE (Vo, Van) y por ende xe (He, v.67 Vor) Xf (Vo, +++ Van)Us Va, VieeV Uan <— Union de obierbos es abserta Viz Va, tse 1 Van <— inkersecciéa fratto de abiertos es abievta 35 llamamas © ana abiertos disjuatos tal que Acuy BeV = Coveo g DD) dCudles Son los subconjuntos compactos de IR con Top. co -enunerable ? DQ ~ sea YER yanclicemos compacidad por casos. con lo qe concluimos antes , recapity lamos pS OYv Y compacto siies finite es kivialmeate compacts yo que sf Ys UUs 7 entlon ces VyeY¥, Jue Um, Wege Ye U Un “Solo ne quedo com IYI abiertos, ta vn por cada elemento de Y* Q) Yes infinite, —~ dY pods ser compacto 2 Vamos a ver que no puede ser compacto , veqo debemos encontrar un recubrimiento abierto de Y qu nose pueda reduciy a uno finibo, Paco ello rewrdemos come son los abievlos de MRae-cnumenble Ues abierto <—> U'es enmerable (% ¢uite 4) bege los alviertos pueden tener dos formas bddicas - F ERs Le ...%) <— UF firito UsRA con AXIN <— Uo ENEm petamos con lo prveba + —> Tenemos YER inginilo. Consideremos un recubrimients abrechs Ingintto pero aumerable, a idee ig Ys Uw, donde cada abies Un es de la fooma 41, = 1h * Gnin neni con CXdiew vna sucesidn svmerable ne constante de punter aca enleader [a celacea ante los de Y (ay. YY + ke KE abrertos observes el siguiente dibyo # (Hx “ WX Yo RL rermtrratere ner ig iete wo Je mueshan los prineros pinlos. de lo sucesién Cxidiem etd toda x %, % x Xs ae My 88 A = RGlon nen = RODE, ty PSB ig hE RS Cedncn = RSG, Plas Uf} x _ 7. Us ~—2—+ + 9 Ug = RY Kes ment = 7 Rs (X)iay Lvego oblendremos alge Us = We bie] = Ue bn} de \a forma 41,6 U,¢ iy ea. 0 1h ¢ tye... En parhicolar Une Uns

Srpongamos que Yes compacto — N eleecubrimiealy > Blonees ame Ye Uth —> Ye U tly (syictntr ne je ingiaite le podemes feavsie e one fr atte / sea M-= max {O,..2, OW j entonce> ‘Ung 2 Uy, pave todo: jetreryN ya qe GEM, Esto imeltica que “ U4, = Um —> YE UnReo por conshruccion Uns = (Re Cerem rent = {IRs {Xan Xmaayere 4 ae ee Puntos de“Y, ya que la sucesicn era Leege si Yelk Justamente de puntos de Y Concluimos, ¢ ee a 1 le unteos compoctos en Reoennerolsle | Gon los conjuatos ee —— Y por ende (2) a) 2 Tnlerseceida de suboajunbos compactos es compacla ? No Conroreiemple * (+) considecemos IN & {x3} con %y LIN} xX *Y. Gn lo Topologca discreta paca IN y 3 abiertos mds que sen EghON;XTOM. y LYJUINs Haracemes 1) ews _gie es ona Topelog’a SI Westenra, Crm. [4] Me Varsora dew | por cdmo definimos’ la Top’. nvieva, lwego BE Torese ; Nels} € Creve [XI] Univ de abieros es abierka — coolqucee YEN sera abierto, y en parhelay IN es obierts, — & v N) v {yon} = fylom qe ss tet el oeacss, a on YEN 5 COIUIN) Os OYUN © Vann Cwm) vo Y= {9Ju In € CeraTHI Jatesecada de abiertos esta en la Topelogia —? fava wbconiuntos de IN, ao €s neceawio porque I Cdisaety de W Yo €3 topoleg ia, —> veamos va YS IN con los nuevos abterles depiaidos . Ya jum) = VY abierto “Yo (fidunl) = cbiecte Jot para bes} vIn 7 Y enke los abrertes quero! + G30 MS) VC{93 UN) = NE Treen + Cxegh om) a Cite) = Lx] € Tren * Clusty my a s}um) = (33umM € Crag Liste , Conclvimes que Tb es una Tepolegca | ©) Veowos qve (4UIN 5 [som sn compacts 7 fomemos un recubrimiento abievto de {x3VIN, seq (UnJoex {JON ¢ U Ux jceme [os vaicos abterlos que Henen al elements x ast son {KJUIN y {xa} VIN enlonces por lo menos un Up= x}uN f Up = (xsl vm tn walguier cose pedemos ceduciv el recvbamiento a &IUNS ¢ fh un lanto ceductmos f 3 7 {bs ° 1 te) vy solo abierts Concliimos — {X} VIN compacto — & ‘ual forma Ly} VIN compactG) Sia embargs, veamos que la inkersecersn no es compact, Hagamos ({xum) n (fylvm) = N y tomemos el retubrimiento abjerts de IN dado por re culovimienhs {OIeen— seaoger, Jace N= Ute ee nem Reco 5t inlentames reduciele a finite , siempre se : quedacan infivilos naturales por fuera , gentonces IN # U m3 Concluimos IG on) n (se N)=N NO es canpacea ‘| (b) d Clovsura de un subepacio compacts €s compa cha 2 D : NO 1 Conho gerplo > Considecemos IN con la Topologia dada a a {uoa [Aes coalg vier Aci} v {e3 By] Nerv ya gue si A= 5 eatonces 143u IN =IN J DEL por depineein luego. pertenece . De] (1) 0A) v (litos) = X)uCrs) pero Ave ens Wego la unio pertenece a@ C. Ur] (130A) A (UvB) = [IJoGane) jee AnBE Wego la inberseccidn perterece a V.@) come {1] es Fiaiko entonces es compacho () Smenbacgo, vemos we LT no es comeache IQ N C con. Ces cercado tec pero guiénes son los cewradlos en esa fopelogia pues calculemos complementos de los abiertos = (2F= IN — (4) = INSLY 7 4 eStes cenado. — Cyvay = mca y? Reeser Dl Gatco cerade Je contene a {4} ex IN , lego {t] = IN Vleowne 5 sv N es com pacto en esha topolegia, fara ello consideremos el recubrimiento abterto {tJ}. es clace qe f\) = U tint Si suponemos que IN es compacto Mionces debertamos Poder veolucifle Q uno finite N IN-= QO f4.] Pero ese Implrcovin ia que IN es proto YA que bediiamos N = {4,0 +2600) —> contRaDicady =IN to es compacto own gue {4} era cenpacto |