Transitividad Se clans O Mad y CMT <0 (2) 1 COX s C121) Demostracion Por hipotesis tenemos que: Cte) 150 (Mo}] > C (4a) 1-0 (20112 OR C(Yn)1< C(Ea)] > C(%n) J-C(Ma) > Op Como C (Ya) J-L (An) POR y FC2a-L(Yn) JOR entonces lo huremos por calos ) C(4a)1-[ (40) 1 > OQ 1 C(2a)1-0 (Ya) > Og Fordefinicida Sabemos que St! ¥ 20g donde X¢ R eatonces w Vide X92 ¢ 6G G0 VEN, Vinny Xqve Lego por It definicton anterior ¥ (45) © TMa-Xn] 4 €¢Q Ero. an, IN tal qoe Vineny X28, V (Bq) ¢ C(2a-Ye)) 2 f:€@ €270.3,,€N tl qe Wen, Bare, Como (Ande y (Ble B lego (tnt Bale B Ademas tambien Se deFiats la duicicn en R= luego C (Xa -Xa) d+ 0 (2n-Ya)] = C Ma-Xnt 2n-Yn] = FC 2y-X,] loego C2,-XnJ < R. Como EvOy €,70 entonces E=EytE.>0 EEA yague €,,62 €@ Como OnE, y Bne€2 luego n+ Bn > Ete, -= Por tanto : (Xn Bn) © T2a-Xnd 3 Eeeee,FeQ Tro FV mamitnsnat, me tal que Yo nom (dnt Ba)> @ Escaneado con CamScannePar defratctcn i) esto es yee [(ea-¥a) 1? OR y por de Finicion ie Sama en R feremos [[2alJ-£ 0)? OR SiC (2a)b F (40)1 > 8 > Clan)g> Op (40d => [(2,)1> [ (ope to) J > Clay)» C()) (2) (4a) )- Cf atalT=On y C (tol J- Clo} ] = On Leego EU) +b nd] -f (An) ] = On ¥ (An) = FY] = +l Mold > CMnld= [(Oet¥n) I > Clel= Col) Sambta [CE T-CUe) T+ C4oT = Ont CMe) >» (@o)J= OgtC(Mn)d = [(Za)}= (Om Mn) J > [ene Col) Lucy pov tranivtodad C(t)= C201] (3) C4 -Clan)D> Oey Cl@nT-C Un VI= Or Como FY II- (An) I> OR rego Cn) )-C(4a) 1 +0 (tn) > O89 +0 (Ln) 7 => [(%)1> Oe tL (Xald > Cod) > € (Og 4 Xn) ) > CWI] C(%0I (a) Aalogamente coando C(%n)I-C YalT=R 7 CE CMa, Escaneado con CamScanneCase jendeal co tato 02) CaM Ugo} = Op 4 E20 EMT Ope Por defiaicion de Suma en R CMa) DC (%aN} = CME (-E(tal) = Lae Xa De Og loego por Tesrema 1 Analoganente C (2a) - CU) = ClBad}+(-T(Yadl) = [2n-Ya] = 03 por teorema 2 @n-Yq20 > Zn= Yq (ss) paion Coe Ya-Xqe0 > Ya=Xq (4) Rue transihudad en (ly bee) Xq22e lseyo Xy~ #n po tanto C (dal) = C (2n)) (8) CN) 1-0 (in) 7 OR C(2nJ- [14a =p Como E (Lol) - Fal] = OR por deFincisn de Suna en IR tenemos \ (En-Ya)]=OR por teorema a En-Yn=0, loego dn Yr Como CMald-C(t0)] 79k entonces end) -C(Ln)] > IR foe yo F(a)? Oe tC > [end] > Mowe yd = Fn) Anulayameat® cuando (Mal J-C (An) 209 y ClEAdI-CU4,)) > Op Escaneado con CamScanneOrden Total : R-% esta totalmente ordanads por <- Sea x= Fad y I= C [bad] Supongam os xXey, Rr definicion esto significa YeX>Op- Como (yt2}{Xez)=y-% 4 entonves (yt2)-(x+2) 70g, es decir yth> xa. Supongamos xy yy s?- Entonces #-X=(2-y)#(¥-x) e6 positiwo, Sspongamos XY 7 2>0n@atonves 2(y-x)*0— yu que Vy-x) > 0g. agi zy>2x Supongamos x FY y YX, Yvomo x=[(an)} y=C(b,)T- Sea ero hay iofinrtamente muchos nN tal yve Ua-bn <= ee infratamente muchos ne N tales gee by-dns Tambien hay NiM WW tules que lag-Uml < & para todo nym2N y Iba-bmls Ye Yo omim>N. Tomemos nov my% max f NM f tal ye dj,- bao < Ey bme= time < fs. Entonces bao- Gag S bme t fe Ons t Ele < 28g. Para walgurer 9 > mat} NME tenemos ]On-bal = [n-GnotOng-bygtdno—bn | = | On dygl +1 Gmo- bagl + | bng- bal < £4 2€ rian alm = € Ast (dy-ba) trende a Oy C(an)]=C bal], este muestra foe Xeys yx sd Xey. Escaneado con CamScanneFinalmente Supongamos X>y y YRX . dotel agh+0 Entonves ['o"]*(x-y)tly-X) es poitiva ya yoe x-y>0 y FX79. Simrlarmente gt xy y Ya Sea Xoy Jd y>X entonces TO") gs poortwo, que claramente no es el caso por lo que Slo sumo uno de Py r yox y Kay Je cumple. Escaneado con CamScanne