Professional Documents
Culture Documents
TRABALHO DE LGEBRA
Espao vetorial
Um dos conceitos bsicos em lgebra linear o espao etorial o! espao linear" A no#o com!m de etores como ob$etos com taman%o& dire#o e sentido& $!ntamente com as opera'es de adi#o e m!ltiplica#o por n(meros reais )orma a idia bsica de !m espao etorial" Deste ponto de partida ent#o& para de)inirmos !m espao etorial& precisamos de !m con$!nto de elementos e d!as opera'es de)inidas sobre os elementos deste con$!nto& adi#o e m!ltiplica#o por n(meros reais" A m!ltiplica#o por reais pode ser trocada ainda por algo mais geral como mostrado a seg!ir" *#o necessrio +!e os etores ten%am interpreta#o geomtrica& mas podem ser +!ais+!er ob$etos +!e satis)aam os a,iomas abai,o" -olin.mios de gra! menor o! ig!al a / N0 )ormam !m espao etorial& por e,emplo& assim como gr!pos de matri1es 2 e o espao de todas as )!n'es de !m con$!nto no con$!nto R dos n(meros reais"
Definio
Um espao etorial !ma entidade )ormada pelos seg!inte elementos3 4" Um corpo & o! se$a& !m con$!nto dotado de d!as opera'es internas com propriedades distrib!ti as& elemento in erso& etc" c!$os elementos ser#o c%amados de escalares" Os n(meros reais& em rela#o 5 adi#o e m!ltiplica#o& s#o !m e,emplo de corpo" 6" Um con$!nto dotado de !ma opera#o binria /representada a+!i pelo sinal 70 de em " Os elementos de 8 ser#o c%amados de etores" 9" Uma opera#o . de em " Obser a#o3 na de)ini#o acima e nas propriedades abai,o& s#o !sados os s:mbolos de soma /70 e prod!to /"0 para representar& em cada caso& d!as )!n'es distintas3 para elementos de n#o o mesmo +!e para elementos de & assim como para elementos de n#o o mesmo +!e +!ando e " ;aso possa %a er
con)!s#o& recomenda<se o !so de s:mbolos di)erentes para essas opera'es& por e,emplo !sar em para as opera'es de e para as opera'es de em e de " *este caso& cost!ma<se di1er +!e o espao vetorial a s=,t!pla ordenada "
Os seg!intes a,iomas /alm de K ser !m corpo0 de em aler para +!e os elementos acima constit!am !m espao ectorial3 4" para u& v e w elementos de V /associati idade0 6" H !m elemento & tal +!e& para cada & /e,ist=ncia de elemento ne!tro0 9" -ara cada & e,iste tal +!e /e,ist=ncia de elemento oposto0 ?" -ara cada & /com!tati idade0 @" -ara cada >" Ae a !nidade de B" -ara cada C" -ara cada e cada & & ent#o& para cada & & e cada &
e cada
Os a,iomas de 4 a ? mostram +!e com rela#o a opera#o de adi#o !m espao etorial !m gr!po abeliano" O elemento c!$a e,ist=ncia garantida pelo terceiro a,ioma (nico /como em +!al+!er gr!po0 e representa<se por " O conceito de espao etorial /e os etores como se!s elementos0 inteiramente abstrato& como os conceitos de gr!pos& anis& corpos& etc" -ara determinar se !m con$!nto !m espao etorial& temos apenas +!e especi)icar o con$!nto& o corpo & e de)inir adi#o em e m!ltiplica#o por escalar em " Ent#o se satis)i1er as condi'es acima ele ser !m espao etorial sobre o corpo " Em !ma demonstra#o rigorosa& os a,iomas 6 e 9 /elemento ne!tro e elemento oposto em V0 podem ser omitidos& por+!e eles podem ser )acilmente ded!1idos a partir dos o!tros a,iomas3
Ae$am 0 e 1 os elementos ne!tros aditi o e m!ltiplicati o de K" Ent#o& como 1.v = v +!al+!er +!e se$a v& temos +!e 0.v + v = 0.v + 1.v = (0+1).v = 1.v = v & o! se$a& 0.v o elemento ne!tro de V Em K& e,iste !m elemento -1 tal +!e -1 + 1 = 0" Logo& (-1).v + v = (-1).v + 1.v = (-1 + 1).v = 0.v& o! se$a& (-1).v o elemento in erso de v"
Exemplos
Ae$a V )ormado por !m (nico elemento a" Ent#o& de)inindo<se a + a = a e k a = a para todo elemento k de !m corpo K& temos +!e V !m espao etorial com K como corpo de escalares" Ob iamente& como a o elemento ne!tro de V& este espao etorial representado por V = { 0 }" O!tro e,emplo tri ial considerar V = K& e as opera'es de espao etorial sendo as mesmas opera'es do corpo"
Ae$a V = K2 o con$!nto dos pares ordenados de elementos de K" Ent#o& de)inindo<se (a,b) + (c, ) = (a+c, b+ ) e k . (a,b) = (ka, kb)& temos +!e V !m espao etorial" Ae$a ! !m con$!nto +!al+!er /c%amado& neste conte,to& de con$!nto de indices0" Ent#o o con$!nto das )!n'es de ! em K !m espao etorial& de)inindo<se nat!ralmente a soma de d!as )!n'es e o prod!to de !m escalar por !ma )!n#o" Este (ltimo e,emplo & de )orma geral& a )orma de +!al+!er o!tro espao etorial& porm este res!ltado re+!er& em s!a demonstra#o& conceitos abstratos como a teoria das ;ategorias e o a,ioma da escol%a"
Propriedades
Ae
& ent#o
Ae
&
Ae
Funes Vetoriais
Em Matemtica, uma transformao linear um tipo particular de funo entre dois espaos vetoriais que preserva as operaes de adio vetorial e multiplicao por escalar. Uma transformao linear tambm pode ser chamada de aplicao linear ou mapa linear. No caso em que o dom nio e contradom nio coincidem, usada a e!presso operador linear. Na lin"ua"em da l"ebra abstrata, uma transformao linear um homomorfismo de espaos vetoriais. #efinio e consequ$ncias imediatas
Ae$am e espaos etoriais sobre o mesmo corpo de em "
a )!n#o a )!n#o
de de
em em
E E
a )!n#o de em de)inida por E se )or o espao das )!n'es deri eis de R em R e se )or o espao de todas as )!n'es de R em R& ent#o a deri a#o /isto & a )!n#o de em +!e en ia cada )!n#o na s!a deri ada0 linear" F & ent#o a )!n#o de em de)inida por
Em contrapartida& se
Ae )or !ma )!n#o de !m espao etorial n!m espao etorial & ent#o a)irmar +!e linear e+!i ale a a)irmar +!e preser a combina'es lineares de pares de etores& isto & para +!ais+!er dois etores e dois escalares 3
de
em
tem<se3 "
se
& pois
&
ent#o "
&
pois
Transformaes Lineares
Uma )!n#o onde e s#o espaos etoriais sobre !m corpo dita !ma tra"s#or$a%o li"ear se& para todos e para todo tem<se
e se
& o! se$a& de " em )or in$ecti a& ent#o &o (nico ector tal +!e in$ecti a& pois& dados & pois
est#o na imagem de
-ro$e#o no ei,o )3
&pli aes
As matri1es s#o m!ito !tili1adas na comp!ta#o para representarmos transla#o& rota#o& escala de ob$etos em comp!ta#o gr)ica& para se resol er sistemas de e+!a'es& etc" *a
engen%aria eltrica& m!ito di):cil resol er problemas de circ!itos eltricos e lin%as de transmiss#o de energia eltrica sem matri1es" Trabal%ar com !ma mal%a de lin%a de transmiss#o e passar esse circ!ito para )orma matricial& mais )cil" *a mecInica tambm m!ito importante& pois os tensores /grande1a0 sJ s#o )ornecidos em )orma de matri1" Os determinantes simpli)icam e sistemati1am a resol!#o de sistemas de e+!a'es lineares" Katri1 +!adrada a +!e tem o mesmo n(mero de lin%as e de col!nas /o! se$a& do tipo m,n0" A toda matri1 +!adrada est associado !m n(mero ao +!al damos o nome de determinante" Dentre as rias aplica'es dos determinantes na Katemtica& temos3 <resol!#o de alg!ns tipos de sistemas de e+!a'es linearesE <clc!lo da rea de !m triIng!lo sit!ado no plano cartesiano& +!ando s#o con%ecidas as coordenadas dos se!s rtices" 'ma apli ao ( En#en)aria *ivil+ o pro,eto de uma estrutura omposta por vi#as met-li as exi#e resolver um sistema de e.uaes lineares/ .uanto mais omplexa for esta estrutura0 maior ser- o n!mero de e.uaes e de vari-veis. & matri% dos oefi ientes do sistema deve ser invert1vel para .ue a estrutura no olapse. Para uma mesma estrutura su,eita a foras externas vari-veis0 pode2se en ontrar a matri%2 oluna das foras .ue atuam so3re as vi#as multipli ando2se a inversa da matri% .ue modela a estrutura met-li a pela matri%2 oluna das foras externas. &utor+ Prof. Ri ardo Ta4a)as)i0 Departamento de $atem-ti a.