1) Ache cincomimeror atone gue pereacam a0 cre so perenga (0) 419, Pane gue: eC) = a 420. Soja 9 € P cores em Qs que ee b EP, bE a. Prove que eC BC Peo). 421, Sejae ur care em Q Prove gue tamién wo cores em Q: 2) B= (e+ ela Ge}, pas todo r EO. 1b) yo fens ©}, para todo FQ, £0. Resolupio de 8) | Que 7 #9 € imedit. Come 2 € um corte, nts 2EQral qe x Fe Monremor que my. De ho, se Pee yc entborx ra, prs algun a ©, « parte GS quer #0) Nea: Abmrio, pols x €e. Hi Sea x Gy, x= ra coma Ga, Se yx, ino gy Cento Dali >a wie, como rb Ey, eno, de foto, 7 €um core ome. 422, Se éum cone em ©, indigquemon pre o complement deem ree fos. a) Sr EQepa ies b) SerEQ.r>0er 423, Sao um cone em @, 9) Sea Ea, pre que at § (== e(4)C 00%) #2) by Sea Qma(e a SQia Fa), prove que a ofa). Ja € e},proveque p= foals €0%) (als Ea}, prove que = (xix Eo") 3, Os nimeros reais (0 exempta anterior pe erro un defeidci do corpo ondenaio Q; bs vabonjunor no vasiedeQ,lnitades pertemente, que no aie tem aupremoem @, Oconjnte dar nerus reais é una eteaso doen tr {6 dr mimeror acon, coma com 9 objetivo de eee cas (de @ determina pel xtra denen sopremon ey ‘A isa que saeros para chara es extent de @ rmoata a0 ma teri rego Bagoxo de Colo (fe IV aC) base sera de ‘en “oumera real” no raconal fica deterinado ple meton race das gue o precede DEFINICAO 2 Sein 8 0 conjunto de todos ot cortes em Q. Os le- ‘mentor de sero chao ie i, cece, IR er cha Trade cole ot mer raided ue ae Cperager a mall © Feogio cm rej definicas ca manera x segue, Aigo Se oe pio cones ew @, a sone dew com 8&0 connie a+ Baler yea y EO) oma e+ Pambém éum core em Q, fear que 0+ vesca a enigho { defn 1. Sein + ¥ (© a, y EB) um mento de e+ Be ‘nideemos ur raonal u 0. Fasendo yt 4 nto y~ C4 2 oe mete ue gy puuntoz EA) eu x4z Como, po vee se f, emo ease. ‘or iki, winx Beal que >-Baion + s>x+ yext+ eEa Asin, (0, )—~ e+ B € ume operacio sobre HC gual damaror ie de minors, Pan eta operas vale na souintesproptbedaes (aqui apena enucinde a+ Py y= 9+ (+1) (ema) set B= B+ w (comuaiva) 1 Exit cmento mut: € 0 corte raconal (0) que indicaremoy apenas ary sical em TR, Eas (epee dea) e que soma de ton om SEQ tas que x+y © a(, para todo ye, extetoo maior deve x Esempl 6: Mesrenos gue 2+ of-2)~ 0) 0. Sent» © oC eth onder Cee) ECD Hatton <2e vecReliine y<1+ 2) O-tapenty CaO) Sour € a) Enon cde -s~ 090 Come za (2-4a}+ 2-4} cote ha geet 1 46 -2h endo € 00) elo 2Lage, a(=2) = ~e(). De ado andogo se rove que ot paracodon © Q. ) =e), sen < Seay BET, en ge Emerg eevee aepes0s a eh ai ei ties pier 0, ee (en) peepee rer ere Olncpepey = ecrlema) olrepmpee Gono renpe #3 « — 069 Obama, poo

9,» donuts cee ay eluent oe oe pose eat beer) ‘ecpreamene sxe € 22 0 om tl ri y 0690, eno 0B = je EW Ix< 0} Ufaylx C2, x> 0: y EB, 7 > 0} tS 0=0oup 0, + Sec 0680, eno a8 = (0B) 1 Finalmente, se apna um dos corte € menor gue rr, digaos @-<0.¢ 890, er Baas Fea como exes prov que (eA) ~ of uma operacio sobre R, “Tears da mip denn ma para la Zo val a egies ro des 1 0() = (fh (acitva) my 08 = Bo (comtnva) ‘m, Exne elemento neuto: 0 cote aioe), gu ndicaemos apes port my Fara odo # € IR, #0, noquaioa y= 1 tem wna TR. Fata slugio chases ver deo ¢ data por 44 Disuibtva em velo algo: a(8 + 7) = of +47, para quaitquer eRe, COmitremos as demonstraees dees propiedades, Tralee de carte um tno da e noo qu ta imports aga Pr no 5 ao detest, pare demonstra er cisaa na espera de IR Repcemor sind qv 8 each < compare com adiao ea mubpcagie de TR 00 06pm otyspey 0, ec Be0gy = are br ‘Acta altrapodemos conelir que IR, acm @, ut orp dena do. As pecularidades do corp ordenad dot miteres reas wparecerio ex ews, ‘Outro ato qa apens os iniaremen a citar gue FQ. IR det sida orf) = el) einen contra as operas de ado muhiplao, 0 que gees: Ala 8) = 09) + £0) (me @(4-4b)= of) + ob) £98) = a} (= e(0®)~ ee) ‘+ conserva a lager de order, ou sas ach = <1) ) Porhipéise, «© Bea # B. Amin, sea” éo complement de om dngioaQ, ourens a= {x € Ola Ge, eniboe! VP ua. Soja au racal deca intenecsto(@ Go Py ecomsideeman € Bb >a, oque implica wy cna. Mouremes que =b € ~e. De fo, pura odo y Ca emraey ~b. Daf +b 50, Man consderando qur b+ e€P+ (-a), enlo Be (-0)> = (0). Faendo B+ (-0)= 8 oy (pas B+ (a) €um cot) entso Daery.onley>0, pasb +e Ey Nota: 1 Como vino, um corp ordenad, Asin, eda ax propredades que valem para, enquate core artenage ome a4 que apart 29 ap tao IV, também verse, Daf or que vis dessa ese {oro cds ary enboraevenalene pornstar uma Ov ou: {ta sere qualquer mengbo expla Por explo, a dino de ptteia ‘dina en 2) de im mémer elo €adlogn qu dada exer Tae | (ep. TV) c pare ele vem ar meas propels Quek Cura 4 Dag para fee, sempre qc fr convenient, aerate eas imine denon alien prs indenr mimes rei Bxemplo 9: Ses q,.0<4 <1, ue mimere ral, Mouremas que: cman 0 Provarenc, po induct sobre m, que Dah! ) mn 0:0.cq < qm Oe suponheen 0 < q"! 0 eno dace acda cg cq” Contegienemenee Knee Por out lado € lara que, = > Dent Exemplo 10 (deigsldle de Brmli: Provenos que, pars todo simeze real a> =1. todo mero maura I, vale a depuldade! Peatcqtc ae (tare ison 20 Por indo sebrew mab (tay ts a= ta Verdin Seine > 1 emupoabamoe (143) 3 1+, n= 4 1: Mulipiquemer»desguldade anterior (hips de ind oper t Fa 30 Gta aatm se (Gamo nt» 0, enti: temtatmtatimeants (erie Dende: Ceara eet De PROPOSICAO 1 Sejm 0, € Ro > 0, Endo cine 2 € IN" de veanera que me >. (Ou set coro ordenadn IR € acumen) pp Demansiae: Pedant aan B > 0 Cat > 0, ee >, portato, ete rctnain earn poitivos re ilequer © 0990. Sendo @ srquimetizn, eae iu ede para algum n € IN‘. Considerando 4 ied de @ cam TR, a deigaldade teri pade ser expr pr 60000) = a0) > 06) Como porém 2, endo ¢(e)C a, © ave pode sr trade por 19> e(), Mat, comsiderando qu e(9} > O ein 0) =n), etso e@s)a > eiete) Por stolid, em vite decal des € cao Ge a) > Donde: 0 = a(oe 2 eet) > 06) >. . eel Hs 064 nme Matteo pen TE ana sateen hs catnn t ans eporant ahs i>e! 200