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beeaeapa re ah (yeh a enya rea Moe wre wpe Donde < PROPOSIGAO 2 sci 2, ET, « rat et) C ea) piss imerstoy > 0) nor) Como w€ Pimpin es) CB, edo 0) Col) C Bede) CB. Asin acaynrce . Nota: Sea K un corpo orden, Seexise LEK Le manera ge parm qusinquer my © K, x a entoy € ‘eswmen ago Que y= soph Pree, como @ Ci, pare a Avemou' lye A Noh t ue nero ral qu: 6c epee ‘Aa €y eb pars ado @ A, eno 01 (par quaker @ € A) © poe: bow Vaca Ou sda ee sea . Nola: Como j.imeros, sto @ como so corp onenaten, Mit nquamto no pinto hf sabconjunan a vain «Fimo mpeiomente {or no date supremo em @(exermpl 3), © mesmo no wontce cm TR rotate € provado plo torema anterior. Pars snl esa cerca de= ge Ren pen pt, Perms, pe cred a ‘O coro oxdemndo IR tm nti no sede de que vale oe io «seguir (aaverdade exuivalnte no crema 1) COROLARIO Sejm Ae Bsabconjuntosde Rss yee AU B= IR fain, que too a EA # meoor gue todo bE B. Leia exine uss daico CER que no €saperad por acum a € Ae que supers peohart ben. Demonstrazdo: Toso» €'8 éota superior de A, de mado que exite €= supAyc € BR, Logoa c paratedba € A Mancomo ado € Beata fuperor de Ae ¢ a menor demas cota, eno eb, guagucr quem BEB. leo conc a demonsgao quane& extnSuponhamo que um oir mero real d gate da mesma propria ef demonstra prac Aion, por exes, qu © < ds Conaheca ‘doa nin sien cro uo perience cae A (por er maior que) também ne pence B (pr ser mean que), Mav nto €abutde, uma ve que AWB = IK © ver . Ecemplo 12: Moaceoe quer exe um mimerocemerioe > 0 tqedt= 2 Provazemor apenas a extn Seam: Anes c0ou@>0e sco} BabEmb>oeb'>2) Sax EIR, Sox <0, enor EA Sex > Oro! < Pour! = 2,oux! > 2. Napimeiraipéiewex € A; nat shoe epinda x € Logo AU B= I ‘er uo ldo, cin © A. Sex < 0, enti obviamente a € mener que adel €B.Sea> (ents? < 2ecomab? > 2, para taob € By poeemar Conelsir que t'< be def que a 0.) ‘Vamos super que se padete tere" > 2, Come © EI, 2 defisito de produloc'= ce gaan aaltne de do nmeree cin etitamert Dnivos xe y de modo que 2 Cay Oparao ual vale | Wibtetec Universitaria) 3.1 Valor absoluto (ou médulp) uF SG i 0 conc de sul aba os mis crn IR & cnencialente o meme REEEZ OUR, Assn dentrda por a wleratode € poe lalwaseapo hjsiee ace ‘Tass a ropidades que figura ma propor 4, capa TV, ta ‘om val quand a ra om i expres psa epee ha mes reais. Demons, nue ea ters rerio — pao ni 9 faremos aq A veins propedade (amb ve quando oe woes pot ‘Zou Q) rt wade no em 5. + Sem ER £50, ene neencate Prova = Vamor mpor x20. Bata al =4—a cee dafxcate Come porta € > 0, entio = + <0 « porate & sap Open nc x Ars esa. Mas coms anegagcate Deieamor come exec @ cao x= £0, Somando =a a cain um doe temo de a €- O)e ao segundo opar( > 1), aque contrarian eo ‘ema findamenal ds artic (ord) Lge 425, Seep > 1 um nine prio, Prove que WP €irracional, 426, Prove que acm eu mero raion com wt ical irecioe tal ‘Sugestd Por abundo, pons que puden ver ronal 427. fovea o pat de me cal ub pe ico 428, Eb doi mero acon nits ca leengs a ain 429, cba dol ieracomas datos cj quocene sj acon 480. Sum e € IR mimers tas que P= 4. Mose que w «4 iacion, men acntee coe (Neste caso une a notaan P= Vi) eam sera, 0 Revol: Sef four aon nto = 9» 8 ee mud, 494, Sejm 0-6 herons. Se +P €rcinal, prove que a & ie co Resolugdo: Se a= 9 ose cacinal edo (0+ 8) + (0 ~ #)= 20 também wera pot «+ 8 €@, poe hpstese. Mas enka 22 = o am tem teri qu er rico, © que contra «hips 452, Seam a ef inaconaia. Se 0 ~ Bécacionl prove que + 204 ice 435, Prove ue VT+ VTE icin Scie w= VEEVT. Batis w-V~ VF ¢ poranto Via $= 3 Dal2V7u— uP I, do qu reat (leva 90 ‘quadrade) 8o'~ ul ~ Bu ou ut = HOw" ¢ T= 0, Logo wéraiedo einin fx) —x"— 10 1 enor cic so intern, Mae de ‘oro com exerci 87, as poes rate dee) so 1 or vio. fev de 1) Como f(1)= 1) ~8, Ma) no adit rare rons © porno V2 + V3E @. 4654, Prove qu si iraioni: VS ~ VE,VT+ Ve VE 435, Soap > Lum ntinero prima, Parntadon > 2, prove que Vacs oa Sugestdo: Ura «da aprevetata wa ealgodo execeo 488, 436, Prove qu co 20" iron Resolupdo: Considereaos x dentiade ot 38 20, see cor B= w= co 0" ene Sot ~ 3a Se 4 i A conor = su) =30 4 portanto Gy 6u-1=0. Anim, v= cor 20° € rain de He)= 80 = Ge 1. Maw fazendo. 2x y, eatdo Iu 6 fale de HY)=y?~3y ~ 1 Comm gl) “Be gi-1) = #1 endo g mio admit ‘aes ional portant 20 ¢laconal. Datu mbm & eraconal 487, Prove queso iracioni ot neers cos 0° «coe 108 488, Prove queso iracioni: sen 20" een 20° 439, Use aided coe 59 = 16 co9— 20 cv' +5 ee para moear gue cor 12 raion (40, Secon 26 raion, prove que cone tami é raion Resolupi: Seco 8 foe rain, 0 meno acoteceris com cs'6¢ ‘eed ~ 1. Como prin cn 20 = 2ce'g~ einen mim shred asa. 4. “, 236 |. Secor 204 icin, prove gus en «ig eben so raion Prove que seco éraconal ent cor $8 também aio Aries do uo convenient de slums den execios ater, prone qe so iraionai omer cor 10% 20 10%, g 10 ererorey cor 230, sn 296 ig 290" roe que 8) 2) + @)= a8) 1) eG) a) =e) (em usar o fino de que a ef0) delice a mer ode em Resolugho dea: Sin 2 € (2) + (3) Emax = x+y, onde x € (2) eye @hoqunoguraieancd 2ey< SLs x4 yc245=5, fgue gare areagn #€ (3). Porcutradn se 2 (3) enti < 5 eGr= 35, pare agus 2€Q, ape Camo ze S—a= = (2B) (SS) ea paren deta in some pertencem respectvareate x2) © 8). emo € 2) + (9) Se € um cane © £30 € um mimeo scion, prove que wefe fee cle€a} Jams, €Q in quer 1, eno 0 < fp <1; dat 0c 2SE cs-repommorces at Pare quainguers, bE IR, = (x €IRIn > Ob, prove sue yocacda vnc ve DVatb < Vet vB Para quan, EIR, prove que la] < 21+ too @ MOC ac (Lar Cte Dan > ‘k (w> 1) eo nitneron rene potivs (a> 0 siento Ca) 4a) 4a) BIE tat ta) 450, Prove que, para todo KE IK « para fd mimeo ral a > 1, existe GIN" de mado que a>, A451, Seo, b, c0d sho mimeroe reais, prove qu up (246, B4-d) < apf B+ eh 492, Sein Aum ubeonjnt a vaio de IR Lim elemento k€ IR xe deste fair de A se kom, pia todo EA” Un subconjunto ACTR, R78, se die beta ferns wie cola iekeriares em BR SEA 8 um sbeonjumo de ME leniado neroemene, prove que @ conju ds cote inferiores de A tem rds, ow me, exter tots ner ue €or que ea a utran dierent dela mea. (O rds cas lnferires & cdo fine de As occa po Sugestdo: Mouse que “A = {-x}x © A) ¢Kimiado mpeiemente © ‘gor wen indin 9 mpreme de A, ena += nf 483, Sea, € IR, monte que oy APPS ara thn ath oa =H) 494, 4) See HCIR um sbeonjunto no vari Timid supeinmene Prove quem rio b € IR €0mopreme de Hse somente ve, dacs 6 30,€E Ran seginescondigiesse vera: Lx <1 + € para (olo x EH; x > b~«, pare pelo menor unt x € 1) nunceedemonsve uma caren wemalhane pare = if, conde H'# 2 ¢ un sobconjant de IR, Eoitado ineoment 485, Sam A eB sbeonjunioe nfo vaio, liitado infeormente, de Defiade AS B= fey bee A, y EB), prove que: Iaf(A 4 8) = ofA +o Resolupéo: Se hy wma cota infer de A ek, € cota inferior dB, € ‘dar que e+ hy cota inferior de A» Beportan et no conju to lnvtadoinfriorment a7Como int intadnsperormente respec, inferarment) prove ae: sup (A U 8) = sup (ep, ep Bb (eempecvamente f(A U 3) = infin By 458, Pca do A CR, A 8, « para nda © € IR, ponbaros, por den GiocAe cxjx€ Aloe yom, se elimi == ead ape Flore laferiornent), rove ae 1) up(6A)~ ceupA see > Ve mp (Ch)~ einfA wee <0 1) lnf(A) = clafAuee 2 Oeinf{cA) = compa see <0 459, Seam A.€ Benboounion no vaio de TR, Rita inerirmente (cope, superemente) Se A CB, prove que iA in (emer pA « mp) Resolugio (grins pane) Poe devia iB < x, Ve € B. Logo, infec See A, ou ay in B € umn cota Hoerior de A” Logo, inte int 460, jn + Rn automorome (ver exerci 389) 8) Monte que g(a) = 3 par odo 2 @. 1D) Morte que, para uber ab EIR, «0, 20 Resolugio de): Vamos supor, por exp, @(0) < # ¢ tonemes EQ de munca que g(e) 5, vale eth Sugestio: User» deignade de Beroul para 3 = expocne do prasro melo igual a +1 4. A representagao geométrica de IR Moniaremor agora como, mediante alumasconeogts, se ade ete ‘kerma corenondoria nfm ere on pote de ma ea rind (Gea quale atibuium eno prtvo)eo cements de TR Em rc, ros exiir um procecmentoazavés do ual ca pont de uma ret cen tudase ode marcia wi Gio nee el de rnnera qe: 22 pono ile Fens coreapondem adorn irate e, alm dine, eu porte 3 dee ‘eigen “Leaucrda deur porte Y deem, nao mera swocia & Xéaenor que oaiaiade + ¥; 9) Sea € IR, eno ic onto da = ‘ao qual cresponde a O nimero anodic om hamaeaui dee "Ma ino premopse, eidememene, & axoaae da geotetrn ein ‘n,n on unio tad, cx euncind 0 weg." Seo ponton ‘dua vta ro dnsibsor em uaa clames Ae Bnique A U B= vedo onto de A precede td pono de B, etzo exit mn re nlc pas ve ‘ho precde menu cleat de Ae nip oop nenbum de B We posto cowdeemon wa fea teas. Sobre nana de ponte ditiator Oe U de mado que o sermentesicntado OU tea sentida foncrde com o sntide poctive de (que supremo, com & rane, da (querda prna dria). Or pontor Oe Uso charadon,reapecivamen, ees hee pn wi de (65-10) 'AapontoO arbre compo aac omiero 0. Sea PE rum ponte Adeeta de O. Ha dane pooner: 2394 Ovvegmentes deta OF ¢ OU sie comentartvets. Quan ise acorece ‘exe um mimeo raioal a > Oa que a mia de OP, mando como tridade w= OU, € Ou st: Neve caso aba de P, pr defn, omimereraconal gee Convéi nota, por uote, que, cone é mostra item 1, dado usm smote fron a > 0, exe Pra vemieta OB de manta ue medida de OP em reaio su = OU ¢, Logo, sabrina de P exe otetm ze que OW condi toon posts de tnt racionas pe Aes de patarmos 3 outa pide, enue juin remo lunes dberagiesneceanras 30 que ¥en a eg; + SeXe Vaso pont quainquede, aera de O (0 primero pode er ‘ripen O) 7 Y, enti entre Xe ¥ hum ponte de aban rion Justfcatioa: toxsinemes X ¢ ¥ como aa figura 10 € tomemoe EBV de maimgue 4 OU < XY, Seis 0 menor ames natura que vei ela ou) = 4 00>0x I mosea qu pnt de taco Sen dia de Mie + ove tet. ou+ b-ovcoxsxy-or concn gute memo poo ev meds de Y. Lago, on ore ev 1 See fo yon de dest inane rea de OC proces Yani ibxinade mere se Justification: Poencs igor ens aii repcvnente, Cane, inden oni e OMA, ys Aas Ke Ox tage OA AVA Aa od congrcmes OF Todjen nda mime deponse Ay Assn Ae de pce canbe, 4, AAs Aon ogres aE OU, pee 00 contr que m < neatque Be 2 toss hs hes “+ Numa seta orienta de pont arigem O ¢ pont uidade U, exe ponte Py huirets de O, tus que OP ¢ OU so nromenerivesn Justfcatca: Cosieremos 0 quadrats OUAB (x, 10%). Se Pa invreegio da crcnfréecia de rio OA com r, eatio OP — por wr com ‘racnte® ON ~ €inomensrdvel core OU (oe en 1) | Ft 1 On eget OP «OU sis incomenerives, Par nt ite, cose: tenor conjunto C Q ain defnidarx€ e ==> x Dexe estan de algum poot'h nquena de P) Padese povar qe tl conjto Eumeone om, Por beside amon nos ater tina condgh do on ‘ito de cote (eit 1). Sea € a, dgunoe x > 0, Enix é sacs de alum pte Xde rs exquerda de (ig 10-8). Consideremon a seguir um porto Venice X Py de tac aol om ing Endioy € a poiny € Q eye eauerda dP) ey > x(devilo vege Adeotnervago eam). Logo hum admero racnal em alo si ‘ove prove a coma refers Sendo. um core em Q,entho# € IR, mimeo a por dei, saabnc dP ‘Considermon agora ums ponto M A exquer de © a Ms iris emrselaio #0. Se nstwesa ie Me aig. 102) elon de Me, po det, afPortacto, a cada pnts de una seta ointada fea snc, con- forme procecimerto export, Sco mmer real. Mostemor Que, sth ‘xcegin, newscorreepondéni, we Xe aeaquer cde Yentob (2 de X'é menor qos abs Bde ‘Beato, suponbmer qu P< = tomemot ere X e¥ um panto Z eatin enna + (105, ew 199 Montremee price que, cnsdeando come um corte em eno Ef. Delate, se € Q, como Zend coqugrds de Y, eno x 0. ‘Sew €Q, jévinee nic | como cbr em rum pont, acieitadeO, de mance gue OP ~ e, Como a abwcies de P eno a correspon ‘S22 0, dividamo on pontor deers das lates A eB asim df ax em A fea ton o pont de sacina menor que a em B edo 8p {ord aban ean Ou pula Se Lee Meio poten de Aw B de abe sare y, epecvamene, eno x < eS € dale a exomemas x € Q, e) Max como x <, eno PegveS ‘Abeardo, poi no weg nenbum pontn de B gunmen no pe corre B 0). us