Espacos vetoriais 87 Assim, quando os vetores de P3 sfo representados como combinacio linear dos vetores da base B= [vy,¥2,¥3, v4 !. a adigo de vetores ¢ a multiplicaggo por escalar se “oomportam™ exatamente da mesma forms coma se fossem quédruplas do IR* Em outcas palavras dirtamos que a correspondéncia biunivoca entre Py e IR* preserva as operagGes de adigdo de vetores ¢ multiplicagdo por escalar. isto ¢ Wtwhp=%y rey © GY, =kivg) @, nesse caso, dizemas que as espagos P; ¢ IR* séo isomorfos Observer os ainda que 0 espago vetorial M(2. 2) € também isomorfo ao IR* De forma andloga, prova-se que P, éisomorfo a IRS M(3.1) ¢isomorfo a IRS M(2.1) ¢isomorfo a R? ¢ assim por diante De um modo geral, tem-se “Se V é um espaco verorial sobre IR e dimV= n, entdo V e IR" sio isomorfos. 2.10 PROBLEMAS PROPOSTOS Nos problemas | a 7 apresenta-se um conjunto com as operagdes de adigdo € multiplicagao por escalar nele definidas. Verificar quais deles si espayos vetoriais. Para aqueles que no so espagos vetoriais, citar os axiomas que ndo se verificam 1 Ry toy, 2detet xy ty et zy Ky, 2) =(0,0,0) 21 4 (x, 2x, 3x); x & IR} com as operagées usuais 2 IR? (a, b) + (c,d) = (a. b) & (a, b) = (wa, ab)88 Algebra linear A OR Gy) tO y= Gt xy ty) © alxyy) = (07x, 07y) Sy OR (xy) tx y= etx y ty’) © ate, y) = (ax, 0) 6) A= {{a,y) © IR’/y = 5x} com as operacdes usuais 3) Oa A= € M(2,2)/a,b © R } comas operagdes usuais b oO Nos problemas 8 a 13 sao apresentados subconjuntos de IR?, Verificar quais deles sto subespagos vetoriais do IR? relativamente ds operagdes de adigdo © multiplicagdo por escalar usuais. 8) S= its yyy =-x} 9) S= {(x,x7), x © R} 10) S= {{x, yx + 3y=0} My $= {Q.yk ¥ © RE 12) S= {Oj y/y=xt 1} 13) S= {(, yx > 0} Nos problemas 14 a 25 sio apresentados subconjuntos de IR*. Verificar quais sfo seus subespagos em relagdo 4s operacaes de adic30 e multiplicagdo por escalar usuais. Para os que so subespacos, mostrar que as duas condiges esto satisfeitas. Caso contririo, citar um con- tra-exemplo. 14) S* L(x. y zine 4y € x=0} 15) S= ((,y,2)/e=2x-y} 16) S={(y, a/x=2?} 17) S={&y, Diy=xt2 e 2=0}Espacos vetoriais ay 18) 19) 20) 21) 22) 23) 24) S={(%%,9);x€ R} S= {(x, x, Ox © R} S= {GQ y, Dixy = 04 S= {x,y 2yx=0e y=l21) S= ((%, - 3x, 4x); x IR} S= {x y, ax 20} S={(x y, Dixtytz=0) S= {(4, 24, -1:te€ R} Verificar se os subconjuntos abaixo sao subespagos de M{2, 2): a b a)S= ;e=atbe d=0 ¢ d a b a) Se 3 a,b,¢ © Rf (manrizes triangulares superiores) 0 ° a b 3 a,b,c © Rf (matrizes simétricas) dy S=