INTRODUGAO A ANALISE LINEAR DONALD L. KREIDER, petmouh cotege ROBERT G. KULLER, wayno stato University DONALD R. OSTBERG, tndiane University FRED W. PERKINS, oatnouth cotage Tradupho de: GENESIO LIMA DOS REIS rolesee ds Univerdace Federale Golds VOLUME 4 EQUAGOES DIFERENCIAIS LINEARES Ey souveo Técnico s.a. AQ EVAOTECNIO S.ASILEIRA LTDA, ado LUvRARi Brea j INTRODUGAO A ANALISE LINEARCopyright © 1986 by Aden Wesley Publishing Company Ine, “ods os deitosrservads eprotgidos poe Ao Lio Teno S/A Ind Comercio pts Le! 5888 de 14/12/1073. Prolsicesreproduedo pari u Ines ‘er qulsuer meios mecinice, xeroréior, forograticos ec sem e permite erento de adore 'SBN 95-215-0386-5 obra comple ISBN a5-215.0987-3 volume ‘Ao Live Eero SIA ~ nds» Comdecia ua 8 Fave, 36/40 un Vitrie, 498/498 ~ 2 ander 58 crinanso'= CEP 20600 (enero = cee or2i0 ‘ats(aa1! 800-4968, Tor: (041) 221-8888 ‘ols (021) 30472 ALTE BR Sto Paulo Brat End Telegiee:LITECNICO loge Janeiro rai iPS. Cxalopago-m fonts Sincats Nacloral dos Ears de Lvs, Ri 148) Tewrodugio 4 ania liner; vadunfo de Gendio Lime dor Peis. Rowe Jana, Ao Lito Tene, 1872, wba. ‘iia. Conic. ~v. 1, Equoeder diferencias nates. —v. 2 ‘ies Four, —¥. 2: robles de lors conto. UW, Kalle, Robert G., cole. 11, Ontborg, Donald R., ooiab. 1V. Perkins, Fred Wy eoib.V.Ttslo 00 1745131 512897 e782 cou resi 72-0085 162 | PREFACIO ee eee a eere a cena ees Co ee a ee as ete erat oh eee ee eats Ome eronian cana Sse aes Sane nee te eee eee oan a ee pe Srcterpmp mane eh ee ees tence eens cen eta Seneca er Eo ape Secale ately Sag ee ee sae rae oe ogee a Sos ren oe saci Sian Soa arse anaes ae a ene te See eee eo eee tm aes ‘condigées prévins formals, “Ao mesmo ‘emp, orden, exlgimos que © leltor pose Sere Soe ere ee eee Sakae are fede SSS age eaten Ex tine edtrts 4 um rftno do foto de que, Inlamsnt, grande pare de ow ‘taba poser parecer sara, eipacaieain pce. alino. que sw St Iams Cielo, Par Eorepinte, muito enbore tenner flo toed e eforse Imotwer notes epuments,repriandoar saunas comedian «os teas Tunrado com nomarsce wre, tabs. nSo at dapropestuge resipar sor ee Aaner nfo erases com + Motamia om ay gun tout of specs sue onde ‘io defor psec pre's Satemsca opine, 2 Fea can. Enger ‘amet, se dtrpar og fae, ete Toro pose ter, recede tb de “ine Sgio btatrblcn plats” eu de “Matures Auaneds pare Expnharie", com © esta cue lode ema stoedn ah ral lor tambien pan a stent de Wateten “Poa”. Nis chan, 9 malaria doe caealtn gue tats, eit dot rblemas enariredo na Fea’ Clie nt yn. raericn doe sisemes. flee. ‘mo tal, wes copes Feary pate ot freeman de Fen moderne 0, 4 Rascr ‘ends Mendes “osurn, ‘as, muito mais importante sina, o assunto para o quil eccthamos nome de “anton Unewr” 6, qunndocanldrado como ended, ys eas alt profi es du rantw hamarn, 6 st cont ira ce sous cotoutéoe ura dint malas oe gender maaan see dv rt tines selon. JK poy stipes rae thom “de estes & A msde que nota uunto avenger, epeamon. arnt (os 0 etn prec ‘bles. 9 poser dhe ier mater, gov ela explo, © ‘ote! eaves doqaes “goo as conebnram. Ge Ine woce, tanto © wage {o"sure gutms has tro sido br recompernxw Pearketo Seater Se 2 tie M ss, i to «ume nit sme de he seni gut mbna ne resi te Ummr, als hace “ce de insite done ence Se ‘aes Sms cements Ge Game SAS te at rum Socio, sboder einamers romania ede: de opr eye tnd cone’ cao rvs, procera dv 9 tonto hs eae ora tim «fe conio'de qoe «rapa de Innate eee Nee et Sicn «permis als conn, tasenioe ‘2 Bre", pode sr deri etl neds ao tae sey meri pede om Sein ted gn 6 tte i fa Camo nah admitince slam don conecinaior eet, Erne ine entcnion de Cie tami» de Ome Seite ta aces oe Ae Da Si css re ee wag ettihemie maar cme Mee ‘tenhs “formagio en Algsbre Linear podars -comegar no. par ‘i prety eaptlor como reetres, oes Se" OF Chek. 38 & conte mi introduefo warn det eaoncen deers cre ects, compared tue te ania, ne mals dot poet iteors integrals abecndor gon tvamon, onde proverat jae lll Entei rapa no Cop’ tue eS ads de yoicy 0 spate fata do memita Umer port oy ‘wt inugaco dle une sunoreanomens rear ‘ome "ony eta wolto de ease dhrencs. Osco) mc, we separa “Se an et Feld nepal aaa gs abe, Se penvalvimenio en. os epee ch han jon, Foon la ie pte cP ke ie mS eat admin Sa get not a ose 6 amie day ch bm&hevchnge en notes te vrerhcio us tendo) da nealase susan pare ser spledo sce yrelamie. de contrne consi ‘kridoe “nor castulor ove se atuem. ‘Colmer ia" Sica, vando tn for ‘Gov do ‘Gray ertaboscomos ‘sniocie © uncidede ar rates pars prob Iter com condin de contr ios Or" es" thm ‘eipuer do wr empregam sas reside pare real pro: ‘amas: de omar. qua implica equies on ode, do elo de Line, leiede Inpragfo ln anes unger a sept) modo de sparapto Ge. vaife! far Tadic 1 prolomar "comlderedor de Sturm s) Louie, ue te anges Sim in tn ee: eam «qt rade pwn ei Sejeglo i ois recvenbee = catulnen errors ktien «somes Wie ce Pourer, 86, at, conldree viros formar de equate’ de. Lapiara 8 Invedva a slapnte. ore dor plintice Rocca, Finamasie, apeecem a8 re sie clinicas ete creme 0 rdtodo ce Frtaiun, 0 bstente pera uve pole Tucker a equgto de Genel ¥ se pesam comtvlr ses ertopoaie que. arm ingles Sane a (vow eetza com quai. aplnees contend material que trie Injuniinds Intrtope, se arden erpo. do tno. Agrventamos af um evo de converges fasta utr, © ofc pare as, ome meander, om breve Wate dot EEctminanar «as sopaigs ds fooe do ceo ett, 9 bat. pre © cent: tren dv teoremat de nidade ration © probemes te conor. “Tendo: eeyao © que at encotra nolo, & de bor ale dla slgumes px lavas oten eo on 0 Ivo fo Prema, mle 6 um erode Algsre Liar Aa, ruta ‘enbora apenas oe part omic hatuninanta ein nut pe Tir crs te gera Liner, foram omitcoralgune pear familoren, uNngd_ de ‘niin pars + sndlis_queohoroe. em vite Sunga, nad secs bre ap ier nomaras, aounine ere. fny_ a amlar Nevn deiso. sgt fevtedr po fio du scetrmon Gu tl tetra prtane, ve verde, tes propicmnis Tom curso de Ani, Noni," usluer fesutado um tive de lel: manta 8 de Em. vita do, modeto nel de prepareto cue sprig, efrpmotoe, oe mado prelate primiron caps, pare moter quo uw fear cor danerades Ecidodosas expraas Cor aa, em tao tro tomer quedo pele lado 0m, ‘ian 4 earsio, 6 prvferiel pacar por emo dou por water, Terano bm, mantr terpre lucusa tam foes dando after formal oh nov ming.» turcisson_preinceeoereuldee caren oy allen. Nt al: Fedor enor, on woreray nuncadse no tet sloImadatmarie monsraoe, Aas: let ‘ge roo, compreenda revlndor jen deworatrager lo comlceradhs mu Reis pra’ um, loro te nl, ov cin em rade conven pire o wy scp Eas propanigee om geal acomponmaces de ame efter em cus" obras aire 0 masa. sits Tem 0» ore” tua, ete Ineo ¢ efcamane exh! sre sor undo em varios "eran Por ps, Se Cpe. de It 6-2 pares dor Cipr 7" 18 enn Ihvwilpara Um curse ative Equsser Oiereehis fornia) sre” Algbre ar vel irectiel, Por outro ldo, oh Caps. de 78 11 ae lgcamante inde Prdnter de tudo. que ‘0 pred com eee do Cap. |, «pdm ter ineot fare dir om cure athe srey «cinerea sipags sicienos, Ontindoat © ip. 10 ¢"eseseantandose 0 Cap. 12, at primar ster ds Cap. 2, 6 pr dot ‘ics, de ‘laa is, eben amplo mater par un cir. de Um semeste sare po bits contora prpro pare estudiar am coins ip recor ‘eungn” ae ‘enantrs. Ali cise, hf mater mele do. que acre. (ombare no 8 io ireienl) para vir cursos. qe racer © rem ée“Mawres a celidn ie Tivo frente prieparante pare as “are, fol motvad. gla crnga (ou pola swan). go, ai, oh whgenlrt 0 te aflamdo curs de Haundce sna ne ae ue es corn tree {ar um ttent clare ar ltl, rede. 0" ssra. de vente ner erprepado_no texto funciona como gow “tens de cterminado ‘aptuio sho mumardor conteivemana como, por” wenalyvu Rarhci0 de (31) (2100), © primero ndmre se rele 49 cpa em quate: © segundo, Ste "gett mero. cai, wm todo © Iwo, @ costama corene de Incr 9 termina de ume. ee mf chgey aries Gut oe rita tomar tlogo, Canoe costume, Fosem ser ian” a5 qi indenee om tim atrico, vr. Gor fale usirn de seit, Tudo ©. qu, exer isi mle od ime resto que oe autores Mo reson, ov mara que se detach por ror dieuidece, Por raion de prebldade ldkics,Incimos ‘ms. pguane bblgrate que_ com Sols vidoe no. testa (ver pips. XV XV}. Framany anes do inden, apeece im ugrara, moto a ierdapedeci ig dor vars capes A ‘Agreacimenoe. Colstvn « Invidnima, ce stores, mult ever & grande rime de pesos, As qua nos de piso agradecer Primsirmanin, son etudiies que, mala ov moron de bom grido, lca parte usa move no) Dartmouth "Calpe 6 ta Unrace cy Tne, ie timor one, 1 oj eomantroe nor tm go mito mals yellnos do gue sero” pena Imagna Em segundo gt, sgradcemor an swrpreenente nimara_ de cls. profiel ujoe consis sles, por vast aneimumenty tee formal. gor ganeroxct fm rop_ander © aprewniarem eilas. Agree, dt Modo paul. sok pre Serve H. Mek, "eo" Darth Calige, ©. Rots, do Insts de Teeoogla do anche, M, Theron, ce Univeriase de Inna, tamben a SL Zalemen, ‘onan n>. Intuno do Teensloga de Masschnt, Em wreaks loa, 8 Sra. Halen anche, de Hunovr, New Hampshire @ 8 Sra Dane Martin de Bloomrgion, Intra pels pctrel, bond Incas esas fa" prootrgio dan varies atgrtdae dor materi, tp. numeri gow Impon ‘et bred contr, ‘Guereos aprasicer tambény 99 Deimeuh alge pal aetna ro pripe de uma verso. pelminar do manure, « 80 price Addon Wes, por scamparkar imprest do lives. - Por fm, urn dorado todo sxpecl'a oye auptats, plo cnaate polo Incentv, bem soma pla > mares costar Initdnce pare que ponepstmos t terintroy noe ee. ‘Conconfo. Parece uma. dat fallin. da vide gue nnhurn tho. de Matec tocol ‘Beamente gun ox eros cabem acs utr ts, opt ee eres INDICE DOS SIMBOLOS USADOS Ginbolos Plaine ean ow winws “a ows esi. 20,0) eo Honan fee re) cy 2 ” signiiede on tant nen fortes continue om EN a wo ge reac lee despises as pes dt ices de mcs re Lipa ar ung vine continent areca al on te plnoios ee ; sto 6) [0,8] 6 0 interalo do 6 , inhuldos os Pontos extramot. Polo ‘oxtrdro, we os poatos extromos nto extho inlldoe no interval, falamoe do inerelo hero de a 6 @ ecrereros (6 1)‘ ‘SPAGgOS VETORIAIS REAIS CaP, 1 €+ 90) = 1) +00. Gin Neste panto, 6 importante obeervar que, como s some de duss fungdes continuss ¢ eontinus, a definigho vale, to sentido de que f+ g ainda 6 uin votor de € fa, 8). E ici, agora, verificar quo, abs- ‘taindo da notaglo’e da interpietegto Fig 14 as Eqs, de (1-2) a (1-5) continuam verdadeirss em € (a, 2]. De fato, f+@+=C+H+h 2 ftemedt 413) ‘esultam ‘imediatamente de (1-11), enquanto que, so 0 designs a fansto ujo valor é zero em eads ponto de fa, 2), entiio fto-r ara todo £ de ¢ [o, b] (Fig. 145). Finalmente, | tatga alae MeN | fash mo mie omz 6 ~£(4) (.e, ~f 6 reflexto dof em tomo de, como se v8 na Fig 1-8), entto f + (—£) assume o valor tero em cada ponto de [a, b, © temos f+ (N= 0 ds: Vimos que soma de dois vetores de at se obtém somando-se as res- eotivas componentes (fq, 1-1). B posefval uma interpretagdo semelhante = Pua ema domains dite fato we por eximpl, CB. Morey, Sy, University Ccleulue with Analytic Geomiiry, Addioon-Wealey, 1002, ply, 89.” errr rrr ricmarees cima 11 IureopugAo ’ para s adigto vetorial no presente exemplo ¢ pode ser feite como segue. Sef 6 qualquer vetor de © (o,b, convencionamos dizer que a “componente” de £ no ponto # 6 0 valor dosts fungio em 2, Naturalmente, todo vetor de ©, 8] tem, entéo, infinitas componentes, uma pars cada = do inter- ‘alo [a, 2} © uma vex acto este fato, torna-se claro que & Eq, (1-11) sim- plosmente estabelece que a soma de dois vetores em € (a, 6] se obtém so- ‘mando-se as “componentes” oorrespondentes, justamente como em 6, A soguir, so £ 6 qualquer vetor ‘om € (0, 8} er um mtimero real ar- bitrério, definimos o préduto af como sendo 0 vetor em 6 (0, definido pela ' ' i susgio | (aba) = aft). (I-16) Em outras palavras, se af 6 8 fungio cujo valor em 2 6 0 produto do mi- mero real a por f(a). A semelhanga entre esta multiplicapio ¢ = corres Pondente operagio em Gi? 6 clara, pois af também se obtém, multiplicandose enda “componente” de f por (a Fig. 1-7 ilustta esta multiplioagto quando a = 2) A analogis oom 6 esté agora completa, pois as Eqs. de (1-7) a (1-10) ‘io verdadeiras também em © (c, 5] Reescrevamo-las, entdo, da seguinte forma: Fig. 1 a(f + @) = of + ag, a7) (+ Of af + ot, Ke (coo = (80, Ve Wat (2 ‘¢ deixamos sus demonstragdes como exercfaio. Este 6 talver; 0 mowiento apropriado para chamar a atengio do leitor esprevenido para.o fato de que o espago @ [a,b] é muito mais que um mero exemplo. De fato, grande parte de nosso trabalho posterior serd dedicada fo estudo deste espago e de espapos vetorisis semelhantes, ¢ 6 bom que 0 leitor 0 compreend bem, antes de continuar a leurs.‘ ESPAGOS VETORIAIS REALS cap. 1. EXERCIcios a noche ine emegse rs wenn ey oe a a4 pn los com um diagrama apropriado, " Lx- OR r= Chew x= Gy = O,-2,0— 2 FS Sas (hd Y= (-2-De= 1 xe G-Dy= 32.08 co Bre y= (-1,-Ia = 3 ‘Nos Bxerecios de 6 & 10, caleule o valor de # + g 6 arrose eet lle pune stance ae ea dos cfleulos com um diagrama aproprindo, ' 6, {0) = 2s eG) = x xt hand 7. 1) = tet 0) = ham -1. 8. 0) = 6 a) = Nos Brereton de 11 2, vei ini , veritique ab as fungbes indica ou nfo 8 €[—1, 1 eato no pertenam,justique per que wiqe [zm 220 e220 Me word D, 16, 2641) Tm x20 Wehea ni 8 x <0. wn ={2r} 220 19. xy = [F120 [-z = x 0) iat score dmrco Revolve cada uma das soguntes opiagbesvetorais com rlago BL x +32, = @0 22, Ea 1D = 0, ob Be BG+ P4580 -3e-n Mx eH ee Revol ia lv cada una das puntos oquapsin vets do @ [1,1] com 25, 20 suka 26, lit 12 ESPAGOS VETORIAIS REA max te 28, berm et, 29, Demonstre as Eqs. de (1-2) a (1-5) e de (1-7) a (I-10) do texto, ‘lustre cade uma com um diagrama, 80, Demonstre ns Eqs. de (1-12) a (I-18) @ de (I-17) « (1-20) do texto. SL. Seja x um vetor de @, e seja cc um nimero real. Demonstre que ax = 0 8, somente te, « = 0 oux = 0. 82, Soja x» 0 um vetor em @* ¢ suponhamos que ax= x. De- ‘monstre que a= 1, 1-2 ESPAQOS VETORIAIS REAIS ‘Tendo presente 0s etemplos da seo precedente, damos ago a definigto de um espago vetorial real. Definigo 1-1.” Bepago velorial real 6 um conjunto de entes chamados vetoes, juntamente om operagbes de adigfo e de mul tiplicagio por ntimeros reais que satisfazem aos sequintes axiomas. Axiomas da adigfo. Dado um par qualquer de vetores x ¢ 'y em Vexiste um ((riioo) vetor x + y em U dito soma de xe y. E impe-se, necessariaiente, que 1 adigo son associating, X+O+)= @+ N+ a adigho sein comuatva, xtynyts Gi) exista um vetor 0 em U (chamado o vetor nulo), tal que x40=x para todo xde, & (iv) para cada xde U existe um vetor -x em U, tal que x+ (=x) = 0. ‘Axiomas de multiplicasto por escalar. Dado um vetor qual- ‘quer x de'U ¢ umstmero real qualquer a, existe um (Gnieo) vetor ax .em V chamado produa, ou pradulo por excalar, do a por Tmpto-se, necesiriamente, queSPAGOS VETORIAIS REALS cap, 1 ou + 9) = ox ay, oi + Bx = ox + bx, Se (Ax = o(60), sh Ine x Exmcrio 1. Os mimeros reais, “ i 5 oom a6 uouais defini mln, ‘constituem um espago vetorial res), ea patos mes de) a (vil) sto, todos ees, enunciados familiares de Arte cm) 9 Peres eat sees gonhnto de tian as opin oon on, SSPE DoE 0 05" Guscymieye is one Y= Wu «1% slo duas de tais n-uplas, 6 a 6 um : Lt Festa) (Lai) = (a1... 0%). ato, fae wn eps veal wa. 8 do qe aé was? torial do Bxempo 1 a doom Geomet 4. 224 © 8 © aos cpus vtras etude, ae ee tment, 6 ania raouvemente tia en, enpason lo ums reprtentagto visual pam. ites aes eng poet aude exercletos ’ ‘Exeapio 3. Designemos por @ 0 conjunto de todos os polinémios in = com conficientes reais soiam, a adigto de polintmios e a multiplica- 0 por nimeros reas, defnidas como na dlgebra clomenta, tho, @ & tum espaco votoral Fes. Isto completa noss lista de exemplos bisios. Como veremos, cada sum dos expagos vetorsis € [a, 8, &*e © tem aspectasditinos, nfo come partilhados por nenhum dos demais ¢, por esta razio, estes trés espagos ‘terfio um lugar especial em nosso trabalho posterior. E, visto que jf men- conamos a importincia do € [, 8] no futuro, & justo acrerentar que & @ @ ser, por sun ve, objeto de muita atengto. ‘Antes do eontinuarmes, cabem algunas observagdes gers « respeito. 4a definigto do ‘um espago votorial real. Pritciro, como a adigto vetorial ¢ associative, qualquer soma finita da forma Mitte staré bem definide dessa mancita, © nfo necessita de figurar entre parta- ‘tones para ovitar ambighidade. Mais ainda, a comutatividade da adigho vetorial implica que o valor de uma tal soma nfo depende da ordem das pareelas. ‘Segundo, novinteresse da simplicidade, de agora emi diante'escrevere- mos x — y em lugar da inoémoda expressio.x + (—y). Isto, evidente- mente, implica na mudanga usual da torminologia, pois’ dizemos, ento, ‘que se obtém x ~ y, subtraindo-se y'de x. Finalmente, chamamos a atengio para o fato razoavelmente dbvio de que nossa insisténcia em usar niimeros reais na definigko de-espago vetorial 6 absolutamente desnecesséris, Néimeros complexos, por exemplo, fariam, ‘8 mesmissima coisa e, neste easo, terfamos 0 que 6, sem surpress, conhesido ‘como um espago vetorial complexo. Ainds outras generilizag6es silo pos ‘dveis. Contudo, esses espagos vetorisis mais gerais nfo aparecersio neste livo e, assim, convencionamos que o-termo “espago vetorial” signiticard ‘sempre espago vetorial real, comto acima definido. Mais ainds,'o termo “ wealar seré, usado, agora e sempre, como sintnimo das palavras ‘‘nmero’ | real”, em eonsonincia com a terminologia-padrio do aisunto. EXERCICIOs =~ © 1. Com s adigho multiplioasSa"por escalar definides tal como no _ texto, demonstre que 6 6 um espego Yetorial real10 SPAGO5 VETORIIS REIS cxP, 1 2 Demonsize que @ 6 um espago vetorial real. (Recordar que os vvolores em @ podem ser escritos sob a forma aot ane pos anxt, conde ay, . 8. Enoontre o valor de asx ++ asx: + ayxy em @, quando 1 @y sic’ ntimeros reais.) @) x1 = GD, x2 = (1,2, x2 =. 0,0) a1 = Lar = 2, as = ©) x1 = G3.x2 = CAD, x0 = (-1, 9,01 = 2,02 = San = —2; Ox = (C22 12= CD04 = @ en = fas = aa = 2 4. Encontre 0 valor.de ax + ayes ++ ayn, em @', quando ©) x1 * @0-1,9,21 = 0,-2.2.0) x3 = @, 13, Dear = —1,a2 = 0, 12,3) x= 0.2,1,-2, m= 267.0, a= 2 are Pax) = On =p - 2 har = 1G) = 31, an = op 710) = oa = 2 6 0 conjunto de todos os polintmios em = com coeficientes inteiroe constitai um espago vetorial real com as definigdes comuné de adigéo ¢ de ‘multiplicagéo por nfimeros reais? Por qué? =a T. “Beit © 0 conjunto de todos os miimeros complex, isto 6, do ‘todos os mimeros da forma a + bi, sendo ae b reais, ef = -/7 ‘ adigfo de nimeros complexos definida por CF O+ C+ d= @t04 04d, © & mnultipionsto por esealar definide, por ‘weercfcios " ala + b) » aa + abi, demonstre que © 6 um espago vetorial real. Compare éste espago com 6. 8 Seja @* 0 conjunto de todas as seqiéncias infinitas R= Gan. de ninieros reais. Se y = (yu, Yo...) 6 outra seqhéncia-de 6, definames x+y por xty = Gat yu +9, enquanto que, so « 6 um nimero real, definamos ax por ax = (expan...) Demorstre que @* 6 um espago vetoril real 9, Com a adigho ¢ s multiplicagto por escalsr definidas eomo em € (a,b), verifique quais dos seguintes conjuntos de fung¥es ¢ um espago vvetorial real’ (@) Todas es fungdes que sio continuas em qualquer ponto de [a, 0, exceto tm um nximero finito de pontos. (b) * Todas-as fungées que stio nulas em [a,b], exceto em um niimero. finito de pontos. (©. Todas as fungées que sto diferentes de zero em todos o8 pontod de fo, 2, exceto mum nimero finito de pontos. (@ Tdas.as fungdes continuas, tais que f{a)'= f(t). (@) Todas as fungées continuas, tais que f(a + 2) = #(b — 2). (@) Todas as funp6es continua que'sko nulas em algum subintervalo: fechade de (a, 0). (® Todas as fungdes contioas quo sto’ mules em um subintervalo Fizo da, 8). 10.’ Seja &* 0 conjunto constituido de todos os niimeros reais posilivos, ¢ defintmos a “adigdo” e a “multiplicagio por escalar ” em &* como segue: se 2-0 y pertencem a @’, sje xtyemy ‘onde o produto que aparece no segundo membro desta igualdade 6 o pro- uto comum dos niimeros reais x ¢ y; se a 6 um niimero real arbitrésio, soja,” “ESPAGOS VETORIAS REAIS) AP, 1 wer, ‘Demonstre aue 6” 6, entfo, um espaco vetorial real. 11. “Seja U 0 eonjunto de todos os ee ondenades de miimeros reais Sox= (a, Soca pb _aalipiey oaey Kty= Git nO, eo acja w multiplioagho por escalar i ‘etoril veal? Por qué? oa 8 Ee. 12, Repita o Exerefcio . Be ee ere ox = (00 18. Uso 8 assocatvidedo da adigto de votores para demongtrar are demonstrat que Wtxtntrewtetyte. ‘ 14, B associative ou cespago vetorial? (coca rae weemncnees sovteazeo) pets 1-8 OBSERVAQOES ELEMENTARES: Hempstead eed ssdlatn da De- sent A nr oe lo oY, compare como we poderia ape. Predamente F oe Ox. 0 para todo x. i. na haste ees aay Se Gee ee fagimos a= B= Ox + Ox = (0 + Ox = Ox, Agora, subfinindo Ox de embos os me membros desta Semis ea na toner = ti 2 oi ‘oquagto.6, a seguir, 113. ORSERVAGOES ELEMENTARES w Ox + (Ox — 0x) = Ox — Ox i ox 40-0. 4 Caneequentamente, OF = © 1 ‘A desonstragho da (1-04) 6 parondas desta vos fagomnct = —"7 Oem (x+y) = axt oy Agors, uma demonstragio igualmente clementar estabelece 0 fato sexunts a qa 0 vetar ~x (1) so uma of © meme cme De faio, tomo Ix'= xe 0x = 0, tem08 xt+(Cik= int (CI = (= Dew OH agora subtsiamot x do eos of manos dena equsio Pt obter (ox = —x, como afsmaros Finalmente, pode or de interes demonsirar que em GUASUA SO? ae 0 tain © x 6 determined de mands es os om ta sir vrs em gn pumas oP ‘ertiealares. Esta 6 sin principal Go Lema 1. ‘ge 0" 4 wn olor em'D, lal que x + 0 = x pare to Lam Tenth 0 = 0, Semelhanemant, at x’ & quslqur odor om 1 tal que xt x= 0; elo x” = =X Demonstroio: Se 2-4 0'= x pare todo x em 0, tonne, em pastcnar O40 Porton ova lo ps a propsodade soem s auld + *" 8; para todo x. Dal o+o= 0, cesogue'se que one. vegunda mag do lama ret da votaca de guides EPPS ERED The et CEE TSS ™“ SPAGOS VETORIAS REAIS. can, 1 -_ EXERCIcios * 1, Danse que ax = 0 imple, qu a = Oy x= 8 reefproca de (1-23) e (1-24),] - “jmes 2 Dessonste que ax = Ax se scinent so Oua=Z, see 2 Bt ea oad = a) pur au sah, Damon que» comutatividde de aig’ em um expago al 6 un coneghcia dos restantsaomas, com segues?" (@) Aplique os Axiomas (i), (ii) (iv) para demonstrat x = of eo Spaced emi ei do cancelamento da, adigho de vetores.) (®) Justifique cada passo na seguinte seqitncia de igualdades: OFD+ = 0+ + Cm moto et OH, Agora, splique (a), para mostrar que 0+ x= x para todo x em 0! (©) Com a ajuda do tltimo resultado hé poueo demonstrado, justi d justi: ‘Quo oada paseo na seguinto seqiéncia de igualdades: oh (049042 = 9+ + Cole toe -e- +Ox. ‘Acorn, eplique (a), para mostrar que —x+x-= 0 para todo x em 0. (A Use (6) © (0) pare’ demonstrar que z+ x= + y implica'em xey. (©) Use of Axiomas (¥) © (vi) da Definigfo 1-1 para desenvoh (1 +1) (+3) de duns maneiras o, a segs, apliqus (a) « () pare detects quex+y = y +x pars todo xe y. ee ee 14 SUBESPAGOS Agora que estamos bem provides de exemplos, “come Or los, comegamos o estudo sistemétion dos expagos vetoriais reais. Para isto, introduzimes a impor~ ‘tante.nogéo de subespaso de um espago vetorial. * Beerclios mareados com um astriaco its aoe vo pretender ser umn pouco mais ditis " Definigto 1-2.” Dii-se que um suboonjunto W dé um espago ‘vetorial © 6 um eubsepazo de 0, se 6, ele wambém, aia espago vvotorial com us operagés de adiglo e: multiplisagli- tor: esealar definidas em v.* ‘Antes de darmos exemplos, consideremos 6 probleins dé’ determinse ‘quando uma dade coleglo flo vetores ¢ realmente wm subespago. Uma maneira de o fazer, 6 claro, consste em verificar se o éoijunto de vetores em queitio. stisas « todos os requisitos da Defnigia I. .Cottudo, a -verificagio, asso » passo, dos aexiomas desta defiijlo 6 démorada ‘tediosa, ¢ vamos mostrar, agora, como esta verficagSo pode ser substan salmente encurtada. . Expeciticamente, eatabelecemot'o seguinte: Critério de Subespago. Se fodo vlor da Jorma ts + ake (12s) pertence a W sempre que x, ex perorcem 0, & a @y'o eile arbi- {ndros, endo W & um aubespago de. Para demonstrar esta afirmagio, devemos mostrar que."W satisfan & Defingdo I. Mas, fazendo primsiro a; = ay = 1.em (125) &, depois, x = 0, dedusimos, de cade ves, quo (s) a soma de dois vetoes qiisquer de W sinds pertence a © (b) ax pertence.a W para todo mimero rel aetodox em W, ' De (b) decore, em particular, que —x pertence a SW sempre’ que x pertenga, © que ‘W também coutém o vetor nul. ‘Assim, W satisas aos ‘Axiomas (ji) © Gv) da Definigto 1-1. Finalmente, observemos que os de- ‘mais axiomas certamente valem em ‘W, desde que ele sto vidos em toda parte de. Consegtientemente, WW 6 um subespago dev. Exmuco 1, Todo espago vetorial posi dois subsspapos: (4) © espago totale (0) o-subespago consistindo apenas do vetor aulo, chamado subespazo trivial. Um subespago do 0, distinto de‘, 6 chamado eubespago Proprio. 0 térmo nbconjunta", tal como 6 uatda aqui © em contestor seme, no futuro, sigifion que todo vetar de Ww também pertance aU. Mais ainds, adm. mgs saripe que exist, pelo menos, um vetor em W — isto eta qu, por ven, 6 ex- prea dizendo-e quo 7 6 ntomea, “* 0b maternétioosrenumem estes dois fats dizendo que 6 fochado cont rla- ‘Ho 'badigto o& multiplieagto por eealar, Nests linguagem,o eriéro acims exposto ssa ter o seguints enunciado: sim subconunta naesasio de tm axpogo eral 6 um saber ny fae oi ar 8 ao er so apc pe6 SPAGOS VETORIAIS REAIS CAP. 1 Exmeo 2. ‘Se ‘W 6 © subconjunto de ®', consistindo. de todos os ‘vetores cua terosir componeate é zero, entfo ocrtério acima implics i pean pee ae nae a cada vetor de &? sio vistas como suas compotientes ordindrias 2, y, z en- to W 6 exatamente o plano (1) no expago tridimensional. Exmurio 3, Designemos por € fa, ¥-0 conjunto de tod “ ° le todas os fun pom crn eatin et fod ptt do interval iso ae ee ees vel 6 continua, cada fungéo em -€t fa, }) tambsm pertente © [c,d]. Mas, tanto o miltiplo por esealar de-ume fungto (eidasasion Atrencrel como» some de Sot deta ngs wonttomaat i ee eee eee aes Sts i oe re rc eee ferme © [3] dancin 0 conan de aa 6 fg » wit cw Hinuamente dijerencideeis exa (0, ), entio €* (a, 8] 6 um subsspago dee {a 8} sempre que m >.n. or Rr Sa cml orate Yio de Bobet ttt, ond J, .-.) dys so mimeros reais arbitrtios mum intelro positive fa oi do ti pat deg 1. ae ETE Feet. eo ee ‘pago vetorial. Em geral, éte é um problema dificil mas, para certos es- Pa resposte pode ser dada facilmente. Por exemplo, no ¢ dificil ‘que 08 tinieos subespagos préprios, 1ido triviais, de Gi’, sto retes @ re ae passam pela origem (veja-se’ Exerefeio 4, absixo). B, uma ver nimiee ey alguém pode ee com o fato de ser a in- eee ee ee Lema Ind. Se Ws ¢ Ws edo subespagan de V, enldo 0 conjunto ceanstitdo de todos ox vetorea periencentes tanto a ‘Ws como @ % ‘6 um subespago de. ‘ Demonstragio: Sein ‘W 6 conjunto em questto 6 observemos ° ‘que W con- ta 0 vetor nul, pois ete vetorpertence tanto a Ws come. s Wy. Agora, fam my @ x, dois vetorés quaiequer de 'W. Entfo, x: 6.) pertencem a i i 14 sEsgos ” sy. 09% 6 portanto, aun + ate tab patent, para gual Dar wate ntmarn rein. Into nmpion que avn cus pertnee 8M & cise de que W € um subespago de 0 result, agors do eitéio de subespeco: 0 subespago W déste lema 6 ‘comhecido como a intersegio de W. ¢ Ws ‘9 6 dosignado por W, Ws (leia ““W, intersegao W,") ‘Vottemos, agora, ao problema de encontrer todos os subespsgos de um dado copeo vetoval . Ei Yer de tentar umn ataque creo ese probe daze vexinamos ser muito Taal vantaoso proveder como segue: ses ‘uniqetsubeonjunto (aSo-vatio) do. nto, come fol observe acim, rate pelo menos um evexpaco deD que enim a saber, o préaeo D saare prado, vetamos encontm 0 ‘menor subespgo de 0 que conten qrende que, com into, queremas dizer agus aubesago de 0 que conten 32, por aun ven, eth contido em todo subespaso do O.que conten, Frcctmsetear que tal subespago este realmente, consideremos e totelidade Te dpeapagoa de'D, os quais entdin & designemos Por St) o coniunto dee ‘wetores pertencenter, inoladamente, cada um dstes eubespasos; te Tata) ¢ a intenepto deras uberpagae. Rcioinando como na dx sae siragho do Lema -2, vemos que (2) 6 un subsspago de 2, Rela Do fra defini, 6 claro que nfo triste subespago dD au conti © 6 esti scone eoatido em 8). Portanto, s(%) & 0 subespago doseiedo, aoiepama eubespago de, gerade por fe, como vremoy,& determinado de mancira nica pelo eonjunto \ ‘Tudo isto est6 muito bem, park, & menos que possamos deserbrir ‘um mftodo Hel pora encontrar (2) em termes dos vetores pertenoatss wt teem fell pouco progreso no probleme de dentin dos ssubes- vrra de. ‘Pelitmente (een 6 rao de intrudurr (&) em ponte Tagan, tal método 6 ffeil de dedurir. Para ito, trodusamos # seguinte dofinigto: Definigdo 1-8. Ums expresso ds forme aay tte 29 onde a1, s+) 80 rdmperos resis, chema-se combina near dog wares sy «1% 1B agora podemos dsarover (8): 6 o conju de sos ax combina linea- rar cove de, Poranto, uma Yer cones % também o sent (3), 1 (0-26) de forma de cada um deseus vetorsse NSPAGOS VETORIAS REAIS CAP, Fig, 18 Antes de demonstrarmos esta afirmapio, vejamos alguns exemplos em. Primero, aja & consttuldo do um tinigo vetor x nfo-nulo. Ento, (Ge) 6 rola que passa pela origem, determinada por x. Mas, o8 pontos desta reta so, siaplesmente, todos os miltiplos por escalares cx de x, © ‘nosia afirmegio vale neste caso. Em seguide, eeja.S¢ constituido de dois vetores néo-nulos e nio colineares, x; ¢ x. Neste caso, $(2t) ¢ 0 plano ue passa pela origer, determinado por x, e xs (Por qué?) Entretanto, tea combinaglo linear da forma ayxy + ayx, esté, certamente, neste plano ¢, reélprocamente, podemos “‘obter” qualquer vetor y déste plano por meio de uma combinagto linear de x, ¢ xx, como o indice» Fig. 18. Deste modo, s(t) ¢, mais uma vez, 0 conjunto de todas as combinagoes Aineares dos vetores de ©. Teorema 1-1. Seja & um eubsonjunto (ntowasia) da wm espaco velorial , Enlio, @ eubespage de gerado por 8 consist de todas, as combinagdes Vinearee dos vetores de 8. Demonsiragio: Em primeiro lugar, 0 conjunto de todas ss combinagées linesres de vetores de s¢ 6 fechado com relagio & adigfo e & multiplicagto or eseslar ¢, portanto, & um subespago ‘W de V. Mais sinds, a equagio x= Ix mostra que ceda x de & 6 uma eombinagio linear de vetores de st, deste modo demonstrando que 3 esté contido em W. Finalmente, todo ‘subespago de) que contém & deve eanter todos os vetores da forma (1-26) ‘em virtude do fato de um subespago ser fechado com relagto & adigdo e & ‘multipliagto por escalar. Em outras palavras, W esté contido em todo ‘subespago de‘0 que contém &¢ © segue-se que W = $(2t). exercitos EXERCICIOS te Dearne quale ds sguntss muboonintos eho auberpagon do ‘espago vetorial indiesdo. ‘Dé as raztes de suas respostas. (a) O count de alo of vetores doa? da forma x= (2) (b) © vetor nulo, juntamente com todos o3 vetores x = (#1 2) de G* ‘para os quais zs/2; tem um valor constante, (0 conjunt do tliron velona x= (x) 80 & par. ot quais 2 + 21+ 21 = 0. {@)' 0 conjunto de todos 08 vetores de G* da forma (xi, 2) 21 +24). © © conjunto do todos of vetoes x = (ci, tn 24) de @t para os qusis attatte ot 1. Repitao Brea 1 para os aeguntensubeojunts (9) Osubeonjunto de 0 constituido do polindmio nulo ¢ de todos os fatnlon do gra — 1s f ors % csheonunto de @eonnttuldo do plintml milo de odor ot lindmios de grau par.. nas ds @ wn pln mn de oe potintnon da ga 0. a @ (© subconjunto de a, n> 1, constitufdo de todos os polinémios que tém = como fator. @ © subconjunto de © constitulde de todas of potindmios que t#m 21 como intr 3 Repite o Exerefcio 1 para os seguintes subsonjuntot de © (02 @ 0 conjunto de todas as fungbes de € [a,b] que se amulam no ponto ‘m de (a,b) b) (© eonjunto de todas as fungdes nfio-desresventes de ¢ [0 © 0 conjunto de tédas as fungbes constantes de ¢ [0 b.. @ © eonjunto de todas as fungbes £ de © [a, 8) tais que f(0) = 1. (©) Oonjunta da todas as fungtesf de © a, 8, tais que}. 2) dx = 0- 44, Demonstre que os inieos subespagas préprios de & diferentes do subespago trivial afo retas e planos que pestam pela origenn. 5. Demonstre que @, & um subespago de &2 , re que ena conan & um ate aco vor dtd no Eero 8 du Sep. 12. NADU do 7.° Determine quais dov seguintes veto de a gurado por (1,2, 1)0@,3,4). @470 ©G@1n (e) OCb-b-p a5 Ooh Pertencem ao subespago 8. Determine quais dos séguintas vet ds a? gerado por (1,3, 2) (0,1). 0-19 oaLp © G19 M@-2H @@-%0 oes} 9% Determine quais dos ‘seguintes 1mios pertence Pago do © gerado por t+ 20! + Lat gene =~ Dertencem ao subespago OM s+s peepee @#ei Ox-5 10. Sojam £ g fungoen de © (0, 1] deinidas por ee oe a+ym god Pe Siete bees fie Jaosase Bueositre $6), He), € 86 9). U1. Seja f a funglo cujo valor 6 1 em exda Eneontre o subespago de [a,b] gerado por f 12. Eneontre o subespago de at onjuntos de vetores, @ G13, 1,2, ©) 4,0,2, @1,-2) © 41,2, 1,0, 40 13. Bneontre 0 subesp onjuntos de vetores. @ ety Oxtixt—1 Ol x-2 6-98 onto do intervalo (a, 3). sserado por. cada um dos seguintes ago de gerado por cada um dos seguintes EXERCICIOS = 14, Demonstre que a intersepio de qualquer colegio de subespagos de um expago vetoial © 6 um subespago de V. (Por inersepdo de uma splegdo de subespapos de U entendemes & totalidade dos vetores comune & tordos os substpagos em questo.) 15. (a) Demonstre que $(6(8)) = s() para qualquer st. @) Demonstre que s() = & oe, © sdmente se, & é um subespago ao: 16. Sejam W, We Ws subespagos de un espago vetrial,e suponhs- ros que ‘Ws aeja umn subespago de Ws, © W seis um subespago de ‘Wy, Demonsire que W; & um subsspago de Ws. IT. Sejam &; © &, dois oonjuntos de vetores doV, e sela ty Or © conjunto de vetores pertencentes © t+ Mais ainda, convencions- ‘mas que, 8) 6 ts nfo thm vetores em eomum, 88, & 0 suberpago trivial de V. Mestre que s(t 75) 6 tm sabespago de (23) 7 8(20). Déum exemplo em st, one etes dois subespagos so distints, um outro conde eles sto idéatios. 18. Demonstre que os dois suboonjuntos'seguintes geram o mesmo subespago de a. @ G13, 60,0) WO CL-2.9; 6.3 -9 19. Demonstre que as fungtes sen* =, cos" z, sen 2 cos = geram o mesmo subespago de @, b] que 1 sen Qe © cos 2, 20, Sejam Wy'e W; subespagos de V e designemos por Wo onjunto de todos 6s vetores que pertencem a W; ou Ws, ou a ambos. Demonsire que ‘W 6 um subespaso de se, ¢ somente se, um dos Wy (i = 1, 2) esté ontide no outro. 21. (8) Soja W, 0 subsonjunte de © {—<, a] constituide de tédas as fungbes f, tais que fiz) = {(—z), e seja W, 0 subconjunto constitulde de todas as f, tais que f(z) = — f(—2). Denronsire que W; ¢ Ws sio subes- pagos de © (2, al (B)’ D8 ums deserigio grétiva das fungbes pertencentes a cada um distes subespagos. ©) Qué maw? (@ Demonstre que todo vetor f de © {—c, a] pode ser escrito de uma! ‘iea,'e somente de uma tnica, maneira, como uma soma de um vetor de ‘Wie um vetor de Ws. [Sugesddo: Considere as fungbes (2) + f(—2))/2 6 (fiz) ~ (—2))/2.) .oO SPAgOS YETORINIS RAIS exp, 1 22, Sejam Wi e W, subespagos de V, ¢ seia Wi'-+ Wa o'conjunto do todos os votores de U da forms x:-+ xs, onde-e; pertence.s Wye x1 a Wa Mostre que W: + Ws 6 um eubespego do 0. 23. ‘Sela W, o subeonjunto de Oy etude de todos ob plindalos au ttm sero Gomo ris, sia 0 subeonjnts deo, eonattulas do oe abmio nulo e de todos os potintnios de, eraser (nto 6 de palndoans cotstinte). Demonstre que Gy Wi +s (raja Brencie 2a) tostre que cada vetor de Oy pode ser escrito de ima Unica, © someree de ‘uma dion mancir, como a oma de un vtor ds ‘Wy um voto de ah, ein Me, 8, 0.8 ois counts de velorn de vento £; U ey “3% reunifo ") 60 conjunto de vetorespertencentes a Sy on (x's ambos). Demonsire que a 8 U 8) = st) + sees) # lute ate renutado com examples ecahidos do (yea Bxertio 22). 25. Sejam aye ay niimeros raise consideremos a equasdo linear aon tan = 0 com a inofgnites 2: @ zo. Tim vetor (oy o) do @?. dine elude dena Squagto se u subettuota de a, ey pore © tn reecivamente, selue feta equafio a uma identidade. ° Mosie que o eonjunto de elugces da squagto deds 6 um aubespago de Gt. Descova grificamente oie robo Pago, 26. Most que o gonjunto de todas as ooluges simulttncas de equagées linear oe a cutee 0 ¢ finan 0 tin eberpago de «db uma dees gointcos date mibespago, 21. (@)- Suponhames que o-vetor x = a Peer elo sare (C4) sein uma sclapto do cui tanta = Ta Pant + Bora = 10 Pemonstre que toda solugto deste par de equagtes 6 da ¥ 6 umd solupio de eauagoes 6 da forma x + y, oxide © asi anes = 0, Bis + fara = 0, w () Rectprocemente, com x ; verde Ce ele 6 SE ty 1-4 DEPENDING. NDEPEWONCIA LEAR, Bases 2 (©) DB ums desrgto guométicn dus 'soluptes de (I) 6, « segus, spliques, assim como os resultados obtidos acima, para obter ura desi ‘glo das solugdes de (I). "28. Soja s¢ um subconjunto arbitrério de um espago vetorial U, & sejam xy vetores de‘. Suponhamos que x perteug ao 'subespaso (3) mas nfo « 8%). Demonstre que y, entho, pertence a S(t, x). (Este resultado 6, algumes vézes, conhecido como 0 princ{pio da troca.) 1-5 DEPENDENCIA E INDEPENDENCIA LINEAR; BASES Coxsideremos's subespago s(x, x» x1) gerado.por trés vetores nko- -nulos, coplanares em 61, éom quaisquer dois deles nfo-cotineares (Fig. 1-9). Neste enso, 6 pereitemente claro que o conjunto dado contém mais vetores ‘que o necessério para gerar 0 plano s(x, x1, x1), desde que qusisquer dois Ailes sio suficientes para isto. Porém, pelo menos dois vetores so sempre necessdrios para, gerar-umn plano em, ae, por conseguinte, obtemos um subeonjunto “‘minimo” de x, me x que gers 8(x, i x), deseartando qual- quer um dos vetores dados. Este exemplo.sugere que ¢ possivel redusir ‘qualquer conjunto finito de vetores xi, .... x & um éubsonjunto minimo, © qual continua © gerar s(x, ..., x). Este 4, de fato, o caso, como mos- ‘ramos no Teorems 1-2, mes antes de assim procedermos, introduramos slguma terminologia cdnveniente " Definigto 1-4. Um vetor x 6 dito linearmente deperidete de 15,80 x pode ser escrito sob a forma Km ants t+ cake onde os a sto escalates. Se, por outro Indo, nfo existe tal relagho, * din-se que x.6 linearmente independente de x; Xem SPAGOS YETORUS Rais car, 3 Déste modo, x 6 linearmente dependente de x 6 uma combinagéo linear de x, ..., xy (Defiai mente ie, x pertenee 10 subsspago-gerado por Particular, cada um dos vetores x41 n. Expressemos eads um dos e/ como uma combinagio linear dos &, obtendo, assim, o sistema de equages anit + ants ++ cite + utes b= ast + anaes + (1-30) 1 = ants + canta 7 + conte ‘n6 qual os ay sho escalares. Como nenhum dos e/ 6 0 vetor nulo, pelo ‘menos um dos ag 6 diferente de zero em cada uma destas equagées. (Lem- ‘brar que 6 vetor nulo é linearmente dependente de todo vetor dev.) Deste ‘modo, reenumerando 08 e 88 necessirio, podemos supor que as, 0. Feito {sto oaloulemes e; na primeira equasdo e substituamos, nas outras, m — 1 ‘equagées o valor obtido. Isto elimina ¢ de (1-30) e nos leva a um siste- me de eh = Basta + Basta +++ + Busta + Bases = Bases + Baats +--+ Prats + Brat, i aan © = Bante + Bones +--+ Banta + Binet Concentrando noses atengéo sobre a primeira destas equagties, nota- ‘mos que a independéacia linear de ey e,”:implica que, pelo menos, um tos coeficiontes Bsr, By Bar € diferente de gero: Supomos que os e; sejam. + A sfirmagko do Teorems 13 também s0 aplice a0 espago tivisl constisudo somente do'vetor mulo, desde que eonvencionemos que 0 conjinto vasio de vetores uma bese désta espgo. Uma isl convengho exté do conformidade com nosen defi- rnigfo de base pars ui eapugo velorial « com x convengho de que w dimensto do ex ago trivial 6 aur,Py SPAGOS VETORIAIS REIS CAR. 1 indexados de modo que Gy 0. Batio, uma repetigto do argumento facima, agora aplicado:a ,, redux (1-81) ao sistema Sm Yast too nate t Taek + Yast, m= Tanta + +++ + Yanta + Tint + Tanch Especulemos, agira, sobre o efeito de nosse hipétese segundo a gual m maior que n. Um breve raciocinio revelaié que, oontiauando 0 provesso de eliminagio acima, enoontrar-nos-emos, no final, diante de um sistema de m —.n equagées, representando cada uma delas um dos vetoret ey ‘en’ coumo uma combinagto linear de e1,...,e,/. Mas, isto nfo pode ser. Conseaiientemente, m 0 6 W nilo-tri- vial Bim virtide desta dltima hipétese, W contém eonjuntos linearmente independentes de vetores, porque qualquer vetor nfio-nulo de W constitu’ ‘um tal eonjunto. "Mais ainda, todo conjunto linesrmente independente, ‘em W, 6 também lineermente independente quando eonsiderado como um onjunto de U. Deste modo, pelo Teorema 1-5, o niimero de vetores em ‘wih tal conjunto nfo pode exceder n. Finalmente, see...» 6 um con- ‘“Lembrer que» dimensto do eapago trivial 6 ser, vexercieios ” junto linearmente independente em W, contendo um niimero mdzimo de ‘velores, entio $(¢,...,¢n) = W. Conseqtentemente, dim W = m ¢ et aoe | Fig. 118 Bimninada esta dificuldade, recorramos & Geometria Kiementar para de- monstnr que y+ (w+ x)= (v-+w)+xeque vtw= wy (lise sramat epropriados eparecem acima, nes Figs 114 0 1-16). Mais inds, se fizernos 0 = v(dA), entéo v +0 = v para todo v deg; enquanto que, I t 14 VETORES GEOMETRICOS « se v= (4B), 6 claro que o vetor — v = v(BA) tem a propriedade de yv+(—y) = 0. Deéste modo, os axiomas da adigho de um espago vetorial. ‘slio satisfeitos em *. Fig. 115, ‘Em seguida, seja v(4B) qualquer vetor nfo-nulo de ¢* e seja & um’ rnimero real. Esoaltamos una unidade de comprimento sobre a semi- tote entre A ¢ B, e designemos oom [4B| 0 comprimento do segmento AB. sto, existe um tnice ponto C sobre esta semirets, tal que | AC|/ 11AB| = lal, onde la] designa o valor absoluto de a. Se a> 0, sela ay = v(A0); enquanto que, fe a’< 0, seia av = — v(A0) = v(GA). Fie nalmente, quando v = 0, fagamos dv = 0 para todo a. (Podemos desere- ver av como a colegto de segments do plano cujo comprimento |al ‘veaes o comprimento de AB ¢ eujo sentido ¢ 0 igual ou oposto ao de-AB, conforme a soja positive ou negative.) Com isto, temos definids uma mul tiplicagdo por escalar em g* © podem-se empregar ainda srgumentos geo- rmétrieos para domonstrar que os exiomas eupostos esto satiseitos. Desta rmaneira, ¢* 6 um espago vetrial real interessante ¢ instrutivo eomparar este espago cam o espago veto- ial @?, definido ns Sep, 1-1., Pata realizar esta comparagto, consideremos 1 totalidade dos segmentos orientados no plano, que tenham seu ponto inicial na origem do sistema de eoordenadas de ®?. Por outro lado, esta colegio de vetores nada mais 6 do que o eonjunto de vetores que compreen- dem 6. Contudo (@ éste € c ponto erucial de nosso argumenta), ele pode ‘também ser visto como um eoajunto completo de representantes dos vetores de g'. (Lembrar que todo vetor de-g* tem previsamente um disses repre- sentantes ¢, rectprocamente, qualquer um desses segmentos orientados ‘representa um: tnioo vetor de g}) Em outras palavras, os vetorés de 6 ‘sto simplesmente um conjunto particular de representantes dos vetores de G*. Disto segue-se que, s convencionarmos substituir cada vetor deay 1891508 VETORAS MEAS OP. 1 +g pelo seu dno representante saindo de origem das cootdenadas de @, cenclufmes que & © §?, consisem, enldo, precioanente noe maemoe vrs. Mais ainds, adigto. © multiplicagto por etcalar em §? tomam-se, entdo, idtnticas as operagées oorrespondentes.em a. Deste modo, consuimos que & 0 expago dos vetores gtométrcos bidiméasionais sto esencial- smente idéntions. g# 6 simplesmente & dospido de son sistema de coorde- nades o, redlprodamente, @? 6 g visto através. de um sistem de codrdenades. EXERCICIOS Nos Exercios de 1 a 5, encontre dois outros segmentos orientados que nla mesmo comprimento e sentido que 4B, para os dados valores ded eB. L4=G.0, 28 = 6.) 8.4 = ,-1), 2 = GD 5.4 = ©2,B = (-3,-) 2 A= (29,3 = 00 4 A= 4-2 = ORD Nos Exerefcios de 6 » 10, encontts (4B) + CB), pare os valores dados de A, B,C, D. 6A = 0,0, B= 0,2), C= (-1,2, D= 6,0 1. A= Q,~0, B= (-2,0), C= G,0), D = (5-2) 8.4 = (-1,1), B= G1), C= 0,3, D= (“1,2 9.4 = GP, B= GD, C= (-2.9, D= O-D 10. 4 = (-2,-9, B= 1-3, = A, DBD, ‘Nos Exereicios de 11 a 15, encontre 0 yetor em @* que represents 0 vvetor goométrico v(4B), para os valores dados de A eB. Wea 40,3 = OD IBA = ©,2, B= (3 A = 6-9, B= 2. d= (21,2 = OO DA = GB BOD 9) Nos Exercfcios de 16 a 20, encantee 0 valor de av(i), valores Aados de 4, B e a. serene 16,4 = (5,0, Ga=4 I 4=6.2,8=6,-2.0= GDand 14-05, B= 0, 0= A-and 19 RELAGOES DE ECUIVALENCIA “ 21, Sciam. A= (291) © B= xii) dois pontos quaisquer de ot ¢ suponhamos AB ~ Ci), onde C = (%s,1)- Encontre as coordenadas do ponto D, 22, Sciam A= (21 ¥i) © B= (env) dois pontos quaisquer de at, eseja a um nmoro real. Encontre um representante do vetor georétriea ee(AB). 23, Dados A = (tn ¥:), B= (ene), C= (en vad, D = Cu vas quer tro pontos de @?, ealeule wAB) + v(CD) 24, Demonstre que (4B) + v(CB) = w(CB) + vB) pare qual- quer par de vetores geométricos. [Sugestéo: Use o ‘resultado do Exer- dicio 3] 25, Damousire-que a adigho de vetores geométricos & associative. [Sugestdo: Use o resultado do Exeretcio 23.) 26, Usando os resultados dos Exercicios 22 © 23, demonstif: que aly + w) = av + aw 6 que (a +A)v = ay + Sv para qualquer par de vvetores geométricos v, w © para qualquer par de mimeras reais a, 8. ‘21, Use o resultado. do Exerefcio 22 para demonstrar que (aS)v = = ad8y) pare qualquer vetor geombtrico v 6 para qualquer par de ndimeros reais a, 8. + 1-9 RELAQOES DE EQUIVALENCIA ‘Vimor que um vetor-geométrieo 6 uma colegto de sogmantos oriente- dos, mutuamente relacionados por meio de eomprimento e sentido. Este apenas um exemplo do método através do qual um novo ente mate- itico 6 definido como uma colegio de objetos de algum tipo familiar; rélacionados entre si, Teremos ainda ocasifo de wsnr esta téenica e, por iso, poderé haver certo interésse em apresenté-la na sus colocagko geral. Como de costume, comecemos com uma definigto. Definigo 1-10. Uma relagio de eguivaléneia & em um conjunto '5 6 um eonjunto de pares ordenades (c, y) de elementos de 3, sujeitos As seuintes eondigbes: (@) © par (;2) pertence a & para todo z de 8. Gi) Se (2, ») pertence a @, ento (y, 2) também pertence. G8) Se (c,¥) © (y,2) pertencom a ®, entio (2, ) pertence a &.“ SPAGOS VETORINS REAIS CAP, 1 ‘Sempre que um par ordenado (x, 2) pertence a ums relagto de equivaléncia em 8, dizse que z ¢ euivalene a y e esereve-se 2 ~ y. B costume, entio, proceituar que ossmbolo ~; em ved do préprio @, se refira& relagdo de equi ‘valéneia em &. Nestes termos, as condigbes de definigto de uma relegto de equivalénoia em 8 tormam-se: @ 2~2 pam todo x de 5. G) 2~y implion y~ 2, Gi) s~y © y~e implicam s ~ 2 Dine também que uma relaglo de equivaléncia 6 relia, simdtrica « transitive; sendo estes nomes dados, respectivatnente, &s propriededes Ge Gi, acima, Relag6es de equivelncia aparesom em todos os ramos da Matemética «, comuments, de maneims fundamental, coma o ilustram os seguintes exemplos. Exmurso 1.: A relajo de igualdade eplieada sos elementos de qualquer conjunto 8 6, obviamente, ums relapfo de'equivaléncia em 8. De fato, « nogéo de ums relapio de equivaléncia pode ser encarada como una forma senerslizada de igualdede. Exmirzo 2. Saja 8 0 conjunto de todos os triagulos no plano © seia A, ~ Ay signifeando que 4, ¢ A: sto.congruentes. Eutfo, ~ 6 uma relaglo de equivaléncis em 3. Exmurco 3. Seja $ 0 eonjunto de segmentos orientados no plano © seja HB ~ OD com o significado da Definiglo 18. Entdo, (1-38) a (1-38) ‘implica que ~ é uma relagdo de equivaléncia em 8. : ‘Exmurxo 4. Sxja 5 0 conjunto das fungées com valores reas, continuas «xa todos os ponies do intervalo (a), exceto num nimero fnito do pontos. Be J eg sto duis de tais fungbes, aja j ~ 9 signifieando que (2) = 02) para todos os valores de em (o,B), exceto num mimerofinito dles. Ent, ~ Gama relagte de equivalénia om & (veja Exeraiaio 1) Exmurio 5. Sea $ 0 conjunto de todos os “simbolos” da forma gf, ande a eb alo ineiros ob 0, Sela (ft) ~ (ed) 9, somente se, ad = be. Entdo, ~ 6 uma relaglo de equivaléncis em 5 (vola Exercicio 2). (Exata- ‘mente como flechas no plano representa vetores grométroos, 0 simbolo afb em 8 representa ndmeros racionais ¢ a relagio de equivaléncis introdu- ide aqui permiie-nos definir um nimero racional como uma exlegio de stmbolos, mutuamento equivalentes, da forma a/b. Esto exemplo 6 dis- cntido com maires detalhes no Exarlcio 6) —exereleios @ ‘Se ~ 6 uma relagio de equivaléncia em um eonjunto §, © 2 6 qualquer elemento de §, entio 0 conjunto de todos os elementos y de 8, tais que y ~ 2 6 chamado classe de equivaléncia delerminada por 2. Esta dlasse de equiva 1ncia 6 designada por {2 e qualquer elemento pertencente a ela dis-se um representante de lz]. Em particular, o préprio x ¢ representante da olasse de equivaléneia (el, j€ que 2 ~ 2. Chegsmnos, agora, ao teorema fundamental concernente a relagbes do ‘equivaléncia, sendo que um caso especial dele foi demonstrado na ultima seglo. ‘Teorema 1-9. Se ~ 6 wma relagio de equivaléncia em vim con undo 8, entdo todo slemento de $ perlence a uma, ¢ somente uma, classe de equivaléncia de elementos de 8, Para demonstmagio, veja ‘Teorema 1-8, B este resultado que justifica uso de relagbes de equivaléncia para, definir novos entes matemétioos. Os entes em questi sko as classes de cequivaléncia © 0 teorema acima afirma que qualquer um désses entes 6 eterminado precisamente por qualquer um de seus representantes. ste tipo de definigio é, algumas veres, chamado “definigdo por sbstragic”, porque ela passa do partioular pars o geral, considerando individues mutuse ‘mente equivelentes como idéaticos. EXERCICIOS 1, Demonsire que & relagéo definida no Exemplo 4, acima, é ums relago de equivalénci, 2, Demonstre qué « rélagio definide. no Exemplo 5, acima, 6 uma relago de equivaléncia. Qual 6 a classe de equivaléncia determinada por Y3f Por 4? Por 3/4 8. Seja 8 0 conjunto de todos os interos e seja m um intsiro positivo ixado, Se xe y pertencem a 8, eoloquemos z ~ y se, e somente se, ~ y 6 divistvel por mi. Demonstre que ~ 6 uma relepto de equivaléncis em 5, © enoontre fodas as classes de equivaléncia para esta relago quando m=2, 804. 4. Ums partipfo dé um eonjunto § 6 definida como sendo ums oo leg80.@ de subconjuntos de $, cada um dos quais contém, pelo menos, um clemento de 8 ¢ tal que todo elemento de 8 pertence a um, e somente um, dos subsonjuntos componentes de @. (Informelmente, uma partigho re-