5. Agsoxtemnction de Cepjuntos Hedéhles, Teorem., Sea Aep? (@) Pan cad, €>0 existe GER? abierto tal que Aca y m(g) Par, todo E>, existe Gest abtedts bl ge esa y wm (a-e)0, por ef teorem aritentbr, sepongn E medeble y acer? abterto tal qe eSG y wmle)< me) te, ge donde m(G-&) =m(4) -m(e) < &- sepogys mCe) = +00. Deftna @)- ¢new) Eqis EA}xer®: axilent Cadi & es medéble Con mededa featta. Por lo gue acabamos de ver Par cadn nem, ex&te G, SiR” abierto tal qe fee) Ge). DefPrn: Gi = UGy ty ; que es om capferto abiorto. Como &:=JEa, ES Gq, Adems 12 oe. en)< Xe 7E, a a m(G-€) = m(O(Gn-8) é E meen) < Boma (©) Pan cad nem, extste Gn Ei? abierto tal we Fes, 0G, DeDeli, H:= 1G, gue es m Cafinito Gs, donde 2) medible, mos prtonces EH y wi(H-e) 4, existe Fer? fechado bl qe Fee y m(eE-F)0, tenemos qe beoremn anterior, que AGER” abierto bal qe bee G Donn Fe y w(e-e°) ce GS entowes Fes cerndo, FSE y m*le-F) sm'(g-eS)ce. ("e-F+ EnFo= Ene ae G-e°: one. 6ne (©) Pan cads nem, 3F, eR? corado tal quo F,Seé y m(E-Fa) < 4DefOnx = Ls = UF, oe Va = s ne Prloues LEE y * m(e-0, el tearm antenor nos di’ un Fei? cerrado bal que Fee y m(E-F) Or, . antonce, L in(eake) =m (E-k)U(k-€)) = m(E-k) t m(k-£) ¢ mle-c) tn( Um -e) <£ 4 (Om) ~ mee) 264 SO - mie) fe: 6 Adéltytdid y no adebeucdid.