TRABALHO DE LGEBRA

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 "

/a generali1a#o de par ordenado& mas com > elementos0

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

" Dsto assim por+!e "

Ae

&

" Dsto assim por+!e "

Ae

& ent#o "

" Dsto assim por+!e

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 "

Di1<se +!e !ma )!n#o

!ma tra"s#or$a%o li"ear se E "

E,emplos de trans)orma'es lineares3

a )!n#o a )!n#o

de de

em em

de)inida por de)inida por

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

n#o !ma trans)orma#o linear"

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

-ara +!al+!er aplica#o linear

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

Existn ia de uma transformao

Sejam V e W espaos vetoriais sobre um corpo K, onde a Seja uma base de V e Ento existe uma transformao linear . vetores quaisquer de W. .

N! leo de uma transformao linear

O "&cleo de !ma trans)orma#o linear de em & denotado por 0 em 3 de)inida por & o con$!nto

/onde o etor n!lo de E,emplo3 O n(cleo da )!n#o de

O con$!nto & ent#o

!m s!bespao etorial de 8& pois 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

Ae !ma aplica#o linear " Reciprocamente& se "

e& portanto& pela in$ecti idade de & ent#o

"ma#em de uma transformao linear

Ae$am e linear de espaos ectoriais sobre !m corpo em o con$!nto " Ae$am dois elementos da imagem de & % ectores & pelo +!e " Logo& !m s!bespao ectorial de " e se$am tais +!e " Ent#o& como e +!e " A imagem de !ma trans)orma#o

est#o na imagem de

$atri%es de transformaes lineares

Alg!ns casos especiais de trans)orma'es lineares do espao R6 s#o bastante el!cidati as3

rota#o de GH gra!s no sentido anti<%orrio3

rota#o por ' gra!s no sentido anti<%orrio3

re)le,#o em torno do ei,o (3

re)le,#o em torno do ei,o )3

-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.