m¥(e) < Sle) = SOCK) 5 mi tomando infino mee) < mCx@D- 3. Copyrtes medibles, Deffaketon, sea x un engerto, de subcegertes de x bal que, () fe e xek J st EEE, entenas E°:=X-£6E gna o- dlgeba en % es on cogpaito as Wi ii) So Cea) es umn. socasto’r en E-, ertonces Den ex! Chservacen St 5 es una a algebra y (Ea) es unm sucesso en x, entonces Mey € Es gn ofecto | fe (De). ol sjenslo @Q@s xem ceppito, entoaces riie4¢, xt es uma o- Algebra en X- ) x 22%, cantons Xi, '=44, 8 ex} es nm O- Algeba en X- ©) =, = Gtx) es om o- dlgebe- en X. Teoreran 7 ee tntecsacctoh deo Hyebm en 2 9F goalgeba on X- Demoitaces [gferfclo| Colao. Dado cualquier ayento no Vacio © de sobeogyites de X, existe am menor C- dlyeha gue cortiere G- (la 7-d|ycba serenh cor 8De masbacko! sea oA: = | Todas las o- afgebns que contionen a Sh. chsoye que AFG, pues Poe a ome alyebos Defean - ae — ech 7 epemplo , X es un espacio bopeleyteo, fa 0- dlgeba gprends gor los Coyentos abtortes de x es diche la o- alyeba de Gorel. | algunos Berol2anns espectales | abéertes, | cerades, G, > tnlersucctch pumenble de abfertos, fe > Uatones pumeables de exec G5 nines Nomenbles de Gs°, es > Paterscoston numenble de E's Ssas Fran > DdnheSon Un espacio medble as un pac (cE), donde X « clementes ch EL sen un tito y Xe orm o-dlyphen en 2. te les conntos mexltbles del espacto medthle (CX, £). 2 : | una medida en (%,E) es ena fincton. | 2 £91 wet bal que @) GA) =0 on El de ciyuites des a das clgfintes, te) SS (Ea) v0 suceston(fer) = Eater Cadebevitdad womeatle) = Deffnfeton» sea m* la madtda extevor en IR™ Un caymlo eae? satisfice 1a Canditefon ce Caratheodory S¢ m*(a) = wane) t mane), HA SRE La Colecefor de bodes esas eoppentes es denotade por £. wente Sf rm sattsface la condfoten de Canthéodory Si ¥ sola m*(a) 2 ™(ane) + m*(Ade®) Para todo ASR? con ma) < too. Demesbractol mca) = mifane)v Cane’) = m*(ane) tm Canes), Siempre vale, haste probar que ma) mi(ane) + m*(A0e) ests designlded os betta Si m'ca) = 40+ Baste considear of Caso mia) <4@ 8 ve bhcodory) 7 ge Pt les sobeoyents de RP que sabtsfice Ia eondtefon ‘ al osbfecton fad de Canthéodoy 3 0% FT Algebra yostitetos fe mt a es umn medida sobre Demostncion + de £, one, { x63, ov, en Ry Iafee f > Ee: obvio. fegreL DenpeL como ce, ma) =m"(ane) tm’(anes), WAsRe como ref, (ane) = m"(aaene) + m(anenr®), donde (a) = m*(Anenr) + m*(anened + mane’). Como eel m'(aaceneS) = nn cenrFne) + m*(ancenry Ne") = Can pone) trfcane®) Recnplzands, obteremas ma) = m"(ancenr)) t man (ene); ¥ ARE lucgo, enred. berel > cured: proto que eure (ene). pepe y cor-$> m*(aaceer)) =m*(ane) tm (aor); Wacre Como eS "(a ceoe)) = m*(a0 Ceus)ne) # man CevA)ne) = m"(ane) + m'(ane) Pep veacd, der a des cnt, enforcer €,0.-Uenel ¥ mila ncgu- 06) =m'Cane)t-Emi(anen) (per Prdoceteh) $ CG) swaste on L de cogs dos a der degfnles —p JeeeS y wnt (ea) « Enter) - Sea B= Len A = Ue ef.Sr AER, catones m'Ca) = en" (aar,) tmtlanks = m'(O (anen) # mange) Emi lanee) dma nee) tenemes gee ANGE 2 ANE, Yn, donde mance) } mean es), fo que implica que = mUADER) + m*(ane®) Bor abo lado, por fa subadeQivtlid numcrble de mé wi (ane) = (8 lanes) z 5 m'(anen) por tanto m'(a)z (ane) + m"(ane*) donde 28. Ahora, €on AsE en (4) y C2), cbbenemas 4 (Ge) swestes on Lo Dm o F sef B -£, 2 8, nee, B= &y- Guea) £40 (ue) eS. los F son das a das ABf tos Ome Ube wm oe 2 ‘Ure Ue eh Gm Fate a) @)Defeatccon, £ as llamado [x T- algebra de Libayve sabre RP ml es una medida de Shee en RP Las elementas da f° son Ir 2 Namadas Cepfintos lesheyve medi bles «