Instituto Superior Tcnico e Departamento de Matemtica a Seco de Algebra e Anlise ca a

GEOMETRIA DIFERENCIAL FICHA 6 (no para entregar) a e

Algebra Multilinear

Seja V um espao vectorial de dimenso n. Um tensor-k (ou funo k-linear) em V c a ca e uma funo t : V . . . V R tal que ca
k

t(v1 , . . . , vi1 , avi + bvi , vi+1 , . . . , vk ) = at(v1 , . . . , vi1 , vi , vi+1 , . . . , vk ) + bt(v1 , . . . , vi1 , vi , vi+1 , . . . , vk ) para quaisquer i {1, 2, . . . , k}, a, b R e vs em V . Um tensor-1 simplesmente um e elemento do dual V , ou seja, uma funo linear V R. Um tensor-0 um nmero real. ca e u Seja T k o conjunto de todos os tensores-k em V . (1) Para t, u T k e a, b R, seja (at + bu)(v1 , . . . vk ) = at(v1 , . . . vk ) + bu(v1 , . . . vk ) . Mostre que at + bu um tensor-k, pelo que T k um espao vectorial. e e c (2) O produto tensorial t u de tensores t T k e u T l um tensor-(k + l) em V denido e por t u(v1 , . . . , vk , vk+1 , . . . , vk+l ) = t(v1 , . . . , vk ) u(vk+1 , . . . , vk+l ) . Verique que o produto tensorial associativo, isto , (t u) w = t (u w), mas no e e a comutativo, ou seja, d um exemplo onde t u = u t. e e (3) Seja e1 , . . . , en uma base para V . Denem-se aplicaes lineares duais co e : V R , i e (c1 e1 + . . . + cn en ) = ci , i i = 1, 2, . . . , n . Mostre que e , . . . , e uma base para V . n e 1 (4) Daqui em diante e1 , . . . , en uma base para V e e , . . . , e a base dual para V . Mostre e n e 1 k da forma que qualquer t T e t= ti1 ...ik e1 . . . ek i i
def

onde a soma sobre todos os e ndices 1 i1 , . . . , ik n e os ti1 ...ik s so nmeros reais. a u

Sugesto: ti1 ...ik = t(ei1 , . . . , eik ). a

(5) Mostre que {e1 . . . ek | 1 i1 , . . . , ik n} uma base para T k . Qual a dimenso e e a i i k? de T

Sugesto: O exerc 4 mostra que este conjunto gera T k . Para a independncia a cio e linear, suponha que ti1 ...ik e1 . . . ek = 0 e avalie ambos os lados desta i i igualdade de tensores em (ej1 , . . . , ejk ).

Ao espao vectorial c T = T 0 T 1 T 2 . . . equipado com o produto tensorial chama-se a lgebra tensorial de V . a

R V def

GEOMETRIA DIFERENCIAL FICHA 6

(6) Uma permutao de {1, 2, . . . , k} uma aplicao bijectiva : {1, 2, . . . , k} {1, 2, . . . , k}. ca e ca Uma permutao par (respectivamente, ca e mpar) se for a composio de um nmero par ca u (respectivamente, mpar) de transposies, sendo uma tranposio uma permutao que co ca ca xa todos os elementos de {1, . . . , k} excepto dois que so trocados; qualquer permutao a ca ou par ou e e mpar. Um tensor-k, t : V . . . V R, alternante se para toda a e permutao de {1, . . . , k} e para quaisquer vectores v1 , . . . , vk V , se tem ca t(v1 , . . . , vk ) = (1) t(v(1) , . . . , v(k) ) onde (1) representa o sinal da permutao : ca (1) = + se par e se e mpar .

Seja k o conjunto de todos os tensores-k em V alternantes. Em particular, 0 = T 0 = R e 1 = T 1 = V . Mostre que k um subespao vectorial de T k (mas no uma sublgebra). e c a a (7) Dena-se a aplicao linear alt : T k k , t talt com a expresso ca a talt (v1 , . . . , vk ) = (1) t(v(1) , . . . , v(k) )

onde a soma sobre todas as permutaes de {1, . . . , k}. e co a Verique que se l1 , . . . , lk V e v1 , . . . , vk V , ento l1 (v1 ) . . . l1 (vk ) . . . . (l1 . . . lk )alt (v1 , . . . , vk ) = det . . . (v ) . . . l (v ) lk 1 k k Mostre que, se i1 < . . . < ik e j1 < . . . < jk , ento a (e1 . . . ek )alt (ej1 , . . . , ejk ) = i i 1 0 se i1 = j1 e . . . e ik = jk caso contrrio. a

(8) Mostre que, se t k T k , ento talt = k!t. Logo, a aplicao alt sobrejectiva. a ca e (9) O produto exterior t u de tensores alternantes t k e u l o tensor-(k + l) e alternante denido por (t u)(v1 , . . . , vk+l ) = (1) t(v(1) , . . . , v(k) ) u(v(k+1) , . . . , v(k+l) )

onde a soma sobre todas as permutaes de {1, . . . , k + l} tais que (1) < . . . < (k) e co e (k + 1) < . . . < (k + l). Verique que o produto tensorial associativo. e (10) Verique que e e + e e = 0 e, mais geralmente, i j j i e1 . . . er er+1 . . . ek = e1 . . . er+1 er . . . ek . i i i i i i i i (11) Mostre que B = {e1 . . . ek | 1 i1 < i2 < . . . < ik n} uma base para k . Qual e i i a dimenso de k ? Em particular, qual a dimenso de n ? e a e a
Sugesto: A imagem por alt da base de T k no exerc a cio 5 gera k porque alt sobrejectiva. Pelo exerc e cio 10, o subconjunto B ainda gera k . Para a independncia linear, suponha que e ai1 ...ik e1 . . . ek = 0 (onde se soma i i sobre 1 i1 < i2 < . . . < ik n) e avalie ambos os lados desta igualdade em (ej1 , . . . , ejk ) com 1 j1 < j2 < . . . < jk n usando o exerc 7. cio

(12) Mostre que t u = (1)kl u t para t k e u l . Ao espao vectorial c = 0 1 2 . . . equipado com o produto exterior chama-se a lgebra exterior de V . a
Outono de 2000 R V def