Um mini-curso sobre tensores

Ivo Terek

Neste texto vamos discutir um pouco de tensores, focando mais na sua

interpretao como aplicaes multilineares na Seo 1. Apresentamos ba-
ses para os espaos de tensores, e introduzimos tambm a conveno de
Einstein (espero que no momento certo, para evitar maiores desconfortos).
Na Seo 2 vemos como um produto escalar no-degenerado se rela-
ciona com os tensores, seguindo a linha da seo anterior. Em particular,
explicamos como funciona a tcnica de levantamento e abaixamento de
ndices, utilizando os chamados isomorfismos musicais.
Na ltima seo, Seo 3, apresentamos brevemente a abordagem mais
algbrica via a propriedade universal, e damos algumas relaes com o
que foi exposto anteriormente.
Alguns poucos exerccios ficaro espalhados pelo caminho, para aju-
dar no entendimento do texto. Estes exerccios tm o intuito de serem
ilustrativos, e no devem causar dor de cabea.

Sumrio
1 Aplicaes multilineares 1

2 E quando temos um produto escalar? 15

3 A propriedade universal 26

1 Aplicaes multilineares
Fixe de uma vez por todas V um espao vetorial real de dimenso fi-
.
nita, V = { f : V R | f linear} o seu espao dual, e denote por Lin(V )
o espao dos operadores lineares em V.
Definio 1.1. Um tensor de tipo (r, s) em V uma aplicao multilinear
T : (V )r V s R. O conjunto dos tensores de tipo (r, s) em V deno-
tado por Trs (V ).

1
Observao.

Diremos tambm que T Trs (V ) r vezes contravariante, e s-vezes

covariante. O nmero r + s chamado rank ou valncia de T. Com
operaes definidas pontualmente, Trs (V ) torna-se um espao veto-
rial.

Note que T10 (V ) = V = V e que T01 (V ) = V . Recorde que a

identificao entre V e V dada por V 3 v 7 v V , onde v

.
definindo por v( f ) = f (v). A filosofia por trs de v simples: dados
apenas v V e f V , s tem um jeito razovel de produzir um
nmero real.

Exerccio 1.1. Mostre que V 3 v 7 v V de fato um isomor-

fismo linear, caso isto seja novidade.

Sugesto. No esquea de comear verificando que v de fato um

elemento de V .

Isto justifica chamar funcionais lineares de covetores. Alm disto, con-

vencionamos T00 (V ) = R.

s vezes possvel encontrarmos aplicaes multilineares definidas

em domnios que troquem a ordem de V e V. Por exemplo

T : V (V )3 V 2 V R,

e o conjunto das aplicaes multilineares com este domnio fica en-

to denotado por T1 32 1 (V ); ndices contravariantes em cima, e co-
variantes embaixo. Vamos chamar os domnios de tais tensores de
embaralhados.

Exemplo 1.2.

1. A avaliao : V V R dada por ( f , v) = f (v); T11 (V ).

2. Dados operadores lineares T, S Lin(V ) e B T02 (V ), o ( T, S)-

.
pull-back de B, ( T, S) B : V V R definido por ( T, S) B(v, w) =
B( Tv, Sw); ( T, S) B T02 (V ).

3. O determinante det : (Rn )n R, que toma n vetores e devolve o de-

terminante da matriz obtida colocando os vetores dados em linhas
(ou colunas); det T0n (Rn ).

2
 4. O trao tr : Mat(n, R

) R, que associa a uma matriz o seu trao;
tr T01 Mat(n, R) .

5. Dados f , g V , o produto tensorial de f e g, f g : V V R

.
definido por ( f g)(v, w) = f (v) g(w); f g T02 (V ).

6. Dados v V e f V , o produto tensorial de v e f , v f : V V

.
R definido por (v f )( g, w) = g(v) f (w); v f T11 (V ).

Exerccio 1.2. Convena-se de que os exemplos acima de fato so tensores.

Em alguns lugares na literatura, dizem que tensores so arrays n-

dimensionais de nmeros, ou uma generalizao de matrizes. Vejamos
como esta ideia nasce:

Definio 1.3. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V . Se

T Trs (V ), dizemos que as componentes de T na base B so os nmeros
.
T i1 ...ir j1 ...js = T (ei1 , . . . , eir , e j1 , . . . , e js ).

Observao.

Nunca consideraremos simultaneamente bases de V e V que no

sejam duais, ao calcular as componentes de um dado tensor em tal
base. Por isso, dizemos que as componentes de T esto apenas na
base B, sem mencionar a base B (que j est determinada por B).

Para algum tensor com o domnio embaralhado, como T T23 1 (V ),

temos que suas componentes so T i1 i2j1 j2 j3i3 = T (ei1 , ei2 , e j1 , e j2 , e j3 , ei3 ).

Exemplo 1.4.

1. Seja como em (1) do Exemplo 1.2 acima, e B = (ei )in=1 e B =

(ei )in=1 bases duais de V e V . Nesta base, temos por definio que
(
1, se i = j,
ij = (ei , e j ) = ei (e j ) =
0, se i 6= j.

Temos que o tensor o chamado delta de Kronecker. Suas compo-

nentes ij em qualquer base tambm levam o nome de delta de Kro-
necker, por simplicidade.

3
 2. Considere det T0n (Rn ). Se B = (ei )in=1 uma base ortonormal
e positiva de Rn (segundo o produto interno usual), denotamos as
componentes de det por
.
ei1 ...in = det(ei1 , . . . , ein )

1, se (i1 , . . . , in ) uma permutao par de(1, . . . , n)

= 1, se (i1 , . . . , in ) uma permutao mpar de(1, . . . , n)

0, caso contrrio.

Temos que ei1 ...in o chamado smbolo de Levi-Civita.

Exerccio 1.3. Se B = (ei )in=1 e B = (ei )in=1 so bases duais de V e V ,

mostre que v = in=1 ei (v)ei e f = in=1 f (ei )ei , para quaisquer v V e
f V . Seguindo a notao introduzida na Definio 1.3 acima, podemos
ento escrever v = in=1 vi ei e f = in=1 f i ei .

Sugesto. Voc pode verificar que ambos os lados das igualdades pro-
posta agem igualmente em alguma base do domnio. Por exemplo, B e
B .

Exerccio 1.4. Fixe B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .

Seguindo a notao do Exemplo 1.2 (p. 2), calcule:

(a) (( T, S) B)ij em termos das componentes de B e das matrizes ( T ij )i,j

n
=1
e (Sij )i,j
n
=1 de T e S na base B.

(b) (v f )i j em termos das componentes de v e f .

Proposio 1.5. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .

.
Ento B B = {ei e j | 1 i, j n} uma base para T11 (V ). Em
particular, dim T11 (V ) = n2 .

Demonstrao: Vejamos que B B linearmente independente. Supo-

nha que temos a seguinte combinao linear
n
ai j ei e j = 0.
i,j=1

Devemos provar que todos os coeficientes ai j so nulos. Avaliando ambos

4
os lados da igualdade no par (ek , e` ), obtemos
!
n n
0= ai j ei e j (ek , e` ) = ai j (ei e j )(ek , e` )
i,j=1 i,j=1
n n

j
= i
a j e k ( ei ) e j ( e ` ) = ai j ki `
i,j=1 i,j=1

= ak` ,

como desejado.
Para ver que B B gera T11 (V ), considere T T11 (V ). Aplicando o
Exerccio 1.3 acima, temos:
!
n n n
T ( f , v) = T f ( ei ) e , e ( v ) e j
i j
= f ( ei ) e j ( v ) T ( ei , e j )
i =1 i =1 i,j=1
n n
= T ij f (ei )e j (v) = T ij (ei e j )( f , v)
i,j=1 i,j=1
!
n
= T ij ei e j ( f , v ),
i,j=1

n
quaisquer que sejam f V e v V, donde T = i,j i j
=1 T j ei e , como
desejado.
.
Exerccio 1.5. Sejam (e1 , e2 ) uma base de R2 e T = e1 e1 + e2 e2 .

(a) Mostre que T no pode ser escrito na forma v1 v2 , quaisquer que

sejam v1 , v2 R2 .

(b) Encontre v1 , v2 , w1 , w2 R2 tais que T = v1 v2 + w1 w2 , mas que

v1 v2 e w1 w2 no sejam mltiplos de e1 e1 e e2 e2 .

Ento um tensor T de tipo (1, 1) pode ser representado por uma matriz
( T ij )i,j
n e um operador linear T Lin(V ) tambm. Isto nos faz descon-
=1 ,
fiar da existncia de um isomorfismo T1 (V ) = Lin(V ). O barato disto 1
tudo que no s tal isomorfismo existe, mas tambm natural, no de-
pendendo de nenhuma escolha de base para V.
.
Teorema 1.6. A aplicao : Lin(V ) T11 (V ) definida por ( T )( f , v) =
f ( T (v)) um isomorfismo linear.

5
Demonstrao: A verificao de que ( T ) T11 (V ) o Exerccio 1.6 a
seguir. Vejamos que um isomorfismo, utilizando bases duais B =
(ei )in=1 e B = (ei )in=1 de V e V .
Para tanto, basta notar que se T ij so as componentes de ( T ) na base
B, ento
n
( T ) = T ij ei e j e
i,j=1
n n n
T (e j ) = ei (Te j )ei = (T )(ei , e j )ei = Tij ei .
i =1 i =1 i =1

Em outras palavras, a matriz do operador linear na base B e as com-

ponentes do tensor associado, na mesma base, na verdade so a mesma
coisa!

Exerccio 1.6. Verifique na demonstrao acima que de fato ( T ) T11 (V ).

Por meio deste isomorfismo, possvel falar nas noes de trao e de-
terminante de um tensor de tipo (1, 1). O determinante no se generaliza
facilmente para tensores de maior valncia. Sendo assim, foquemos no
trao:

Proposio 1.7. Existe uma nica aplicao linear tr 11 : T11 (V ) R tal que
tr 11 (v f ) = f (v), para todos f V e v V. A operao tr 11 usualmente
chamada de contrao.

Demonstrao: Vejamos como esta aplicao deve funcionar, em coor-

denadas. Se B = (ei )in=1 e B = (ei )in=1 so bases duais de V e V e
T T11 (V ), ento
!
n n
tr 11 ( T ) = tr 11 T ij ei e j = T ij tr 11 (ei e j )
i,j=1 i,j=1
n n n
Tii .
j
= T ij e j (ei ) = T ij i =
i,j=1 i,j=1 i =1

.
Naturalmente, gostaramos de definir tr 11 ( T ) = in=1 T ii , onde ( T ij )i,j
n
=1 so
as componentes de T em uma dada base de V. Para legitimar tal definio,
ento imperativo mostrar que se B e = (eei )in=1 e B ei )in=1 so outras
e = (e
bases duais de V e V , vale in=1 T ii = in=1 Tei .
i

6
 Faremos isto aplicando o utilssimo Exerccio 1.3 (p. 4):
!
n n n n n
Tii = T (ei , ei ) = T ei (ee j )ee j , eek (ei )eek
i =1 i =1 i =1 j =1 k =1
!
n n n
= ei (e ek (ei ) T (e
e j )e ej, e
ek ) = ej e
T ke
k
ei (ee j )ei
i,j,k=1 j,k=1 i =1
n n n
ej e e j k = Te j ,
k j
= T k e (e
ej ) = T k j
j,k=1 j,k=1 j =1

como desejado.

Observao.

A notao tr 11 ficar mais clara quando discutirmos contraes para

tensores de tipo (r, s), em breve.

Observe que, seguindo a notao do Teorema 1.6 (p. 5), de fato temos
tr 11 ( T ) = tr (( T )), onde o segundo tr denota o trao de operadores
lineares.
1
De modo anlogo, h uma nica aplicao R-linear tr1 : T11 (V ) R
1
tal que tr1 ( f v) = f (v). Veremos na Seo 2 que na presena de
1
um produto escalar h, i em V, tr1 equivalente tr 11 .

Pela primeira vez acabamos precisando saber como as componentes

de um dado tensor em diferentes bases se relacionam. Isto acaba sendo de
muita importncia em Fsica, onde os problemas costumam ser tratados
por meio de coordenadas. Para tensores de tipo (1, 1) temos a:

Proposio 1.8. Sejam T T11 (V ) e

B = (ei )in=1 , B = (ei )in=1 , B ei )in=1

e = (e e e = (e
B ei )in=1

pares de bases duais de V e V . Se

n n
ej =
e ai j ei e ej = bijeei ,
i =1 i =1

ento
n
ei =
T j bik a`j T k` .
k,`=1

7
Demonstrao: Faamos o clculo diretamente:
!
n n n
T i i
e j ) = T b k e , a j e` =
e ,e
e = T (e
j
i k `
bik a`j T k` .
k =1 `=1 k,`=1

Exerccio 1.7. Assuma a notao da proposio acima.

ei = nk=1 bik ek e, alm disso, que ei =

(a) Mostre que de fato temos e
ej.
nj=1 ai je

Sugesto. Use o Exerccio 1.3 (p. 4).

(b) Mostre que as matrizes ( ai j )i,j

n i n
=1 e ( b j )i,j=1 so inversas.

Sugesto. Faa substituies e mostre o pedido via a definio de pro-

duto entre matrizes, verificando que nk=1 aik akj = nk=1 bik akj = ij .

ei = n
(c) Mostre que se T T12 (V ), ento T i p q `
jk `,p,q=1 b ` a j a k T pq . Voc con-
segue imaginar como fica a relao para tensores T Trs (V )? Spoiler:
Teorema 1.14 (p. 14, adiante).
O exerccio acima na verdade nos diz vrias coisas sobre como tensores
se comportam mediante mudana de base. Em particular, nos diz que a
base dual se transforma na direo oposta da base inicial. Isso pode ser
discutido para justificar a nomenclatura contravariante/covariante ado-
tada, mas no parece haver um acordo uniforme.
Agora que estamos um pouco acostumados com tensores de tipo (1, 1),
veremos que as adaptaes para o caso geral (r, s) so mnimas. Comece-
mos dando a definio de produto tensorial no caso geral (mencionado
brevemente nos itens (5) e (6) do Exemplo 1.2, p. 2):
0
Definio 1.9. O produto tensorial de T Trs (V ) e S Trs0 (V ) o tensor
r0
T S Tr+s+ s0 (V ) definido por
0
( T S)( f 1 , . . . , f r+r , v1 , . . . , vs+s0 )
. 0
= T ( f 1 , . . . , f r , v 1 , . . . , v s ) S ( f r +1 , . . . , f r +r , v s +1 , . . . , v s + s 0 ).

Exerccio 1.8.
(a) Mostre que associativo.

8
(b) D um exemplo que testemunhe que no , em geral, comutativo.

(c) Mostre que se B = (ei )in=1 e B = (ei )in=1 so bases duais de V e V ,

ento
i ...i 0 i ...i 0
( T S) 1 r+r j1 ...j 0 = T i1 ...ir j1 ...js S r+1 r+jsr+1 ...j 0 .
s+s s+s

(d) Alm do resultado do item acima, vemos que realmente se comporta

0
como um produto: mostre que se T1 , T2 , T Trs (V ), S1 , S2 , S Trs0 (V )
e R, ento:

( T1 + T2 ) S = T1 S + ( T2 S);
T (S1 + S2 ) = T S1 + ( T S2 );

Observao. Pode-se tambm definir o produto tensorial entre tensores

com domnios embaralhados, fornecendo os argumentos e alimentando
os tensores (em ordem) at esgot-los, de modo a tambm desembaralhar
o domnio do produto obtido. Por exemplo, se T T12 1 (V ) e S T21 (V ),
podemos definir T S T43 (V ) por

( T S)( f 1 , f 2 , f 3 , f 4 , v1 , v2 , v3 ) = T ( f 1 , v1 , v2 , f 2 )S( f 3 , f 4 , v3 ).

Tal definio nos d a relao (razovel de se esperar)

( T S)i1 i2 i3 i4j1 j2 j3 = T i1 j1 j2i2 Si3 i4j3 .

Exerccio 1.9. Defina T S T35 (V ) para T T13 (V ) e S T22 (V ), e

escreva suas componentes em termos das componentes de T e S.

Com isto, podemos generalizar a Proposio 1.5 (p. 4):

Proposio 1.10. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .

Ento
.
Br ( B )s = {ei1 eir e j1 e js | 1 i1 , . . . , ir , j1 , . . . , js n}

uma base para o espao vetorial Trs (V ). Em particular, dim Trs (V ) = nr+s .

Demonstrao: Para ver que Br ( B )s linearmente independente,

considere a combinao linear
n
ai1 ...irj1 ...jr ei1 eir e j1 e js = 0.
i1 ,...,ir ,j1 ,...,js =1

9
Aplicando os dois lados de tal igualdade em (ek1 , , ekr , e`1 , , e`s ) e
utilizando a definio do produto tensorial, obtemos
n
ai1 ...irj1 ...jr ek1 (ei1 ) ekr (eir )e j1 (e`1 ) e js (e`s ) = 0.
i1 ,...,ir ,j1 ,...,js =1

Simplificando, vem que

n

j j
ai1 ...irj1 ...jr ki11 kirr `1 `s s = 0,
1
i1 ,...,ir ,j1 ,...,js =1

donde segue precisamente que ak1 ...k`r ...`s = 0. Pela arbitrariedade dos n-
1
dices, conclumos que Br ( B )s linearmente independente.
Agora, vejamos que Br ( B )s gera Trs (V ). De fato, se T Tsr (V ),
afirmamos que
n
T= T i1 ...ir j1 ...js ei1 eir e j1 e js .
i1 ...ir ,j1 ,...,js =1

Com efeito, basta ver que ambos os lados agem igualmente sobre uma
base do domnio (V )r V s . Assim sendo, considere ndices arbitrrios
e a (r + s)-upla (ek1 , , ekr , e`1 , , e`s ). Aplicando tudo em tal (r + s)-
upla, do lado esquerdo obtemos T k1 ...kr` ...`s por definio, e do direito ob-
1
k1 ...kr
temos tambm T `1 ...`s , por um clculo anlogo ao feito para verificar a
independncia linear de Br ( B )s (envolvendo deltas de Kronecker).

Exerccio 1.10. Assuma a notao da proposio acima.

(a) Mostre que
n
T= T i1 ...ir j1 ...js ei1 eir e j1 e js
i1 ...ir ,j1 ,...,js =1

diretamente, calculando T ( f 1 , . . . , f r , v1 , . . . , vs ) para entradas arbitr-

rias, imitando o caso (r, s) = (1, 1) feito na demonstrao da Proposi-
o 1.5 (p. 4).

(b) Compare com ateno as demonstraes das Proposies 1.5 e 1.10

acima e convena-se que de fato nenhuma ideia nova foi introduzida
(alm talvez, do mencionado no item (a)).

10
Observao (Conveno de Einstein). A fim de evitar escrever coisas desa-
gradveis como in1 ...ir ,j1 ,...,js =1 , h a seguinte conveno, devida a Eins-
tein:
feito um acordo sobre qual conjunto os ndices percorrem. Por
exemplo, letras do incio ou do meio do alfabeto (a, b, c, . . ., ou ento
i, j, k, . . .) percorrem ndices de 1 a n, letras gregas (, , , . . .) percor-
rem ndices de 0 a 4 (comum em Relatividade Geral, para expressar
as componentes do tensor mtrico de um espao-tempo como g );
Omitem-se todos os smbolos de somatrio, ficando implcito que
se um mesmo ndice aparece uma nica vez em cima e em baixo,
estamos somando sobre ele. Por exemplo:
n
v= vi ei v = vi ei
i =1
n
f = fi ei f = f i ei
i =1
n
tr 11 ( T ) = Tii tr 11 (T ) = Tii
i =1

n
ei =
T j bik a`j T k` T
ei = b i a ` T k
j k j `
k,`=1
n
Ai = Bij C j Ai = Bij C j
j =1
n
Aiji Aiji
i =1
n
aik bkj = ij aik bkj = ij
k =1

Deve-se tomar cuidado com quais ndices so mudos e quais no

so. a mesma situao quando lidamos com ndices mudos em so-
matrios ou em variveis mudas em integrais indefinidas. Por exem-
plo, temos que
vi ei = v j e j = v k e k = ,
etc., mas note que nestas situaes, os ndices repetidos aparecem
uma nica vez em cima e em baixo. Sendo assim, expresses como
vi vi ou vi + ui no so compatveis com a conveno de Einstein. Por-
tanto, voltaremos com os smbolos de somatrio quando necessrio.

11
 Neste sentido, o delta de Kronecker tem a ao de trocar o ndice que
est sendo somado. Por exemplo, ij v j = vi , ij k` A j` = Aik , etc..

Quando fazendo substituies, deve-se tomar o cuidado de no re-

j
petir ndices mudos. Por exemplo, se ai = ai j v j e v j = b i wi , er-
j
rado escrever ai = ai j b i wi . Note que o ndice i aparece trs vezes no
j
lado esquerdo. O correto identificar que na expresso v j = b i wi ,
j
o ndice i mudo. Assim, podemos escrever v j = b k wk e substituir
j
ai = ai j b k wk , sem conflitos (observe o somatrio duplo implcito).

Exerccio 1.11.
(a) Suponha que vi = ai j w j e que (bij )i,j
n i n
=1 seja a matriz inversa de ( a j )i,j=1 .
Mostre que wi = bij v j .

Sugesto. Multiplique os dois lados de vi = ai j w j por bki e, depois de

simplificar, renomeie k i.

(b) Simplifique:
j
ij k ki .
j
e1jk` 2 k4 `3 .
ij vi u j .
j
2j k vk .
j
3j 1 ;
ei3k ip vk .
(c) O delta de Kronecker e o smbolo de Levi-Civita so tensores muito
particulares, que aps devidas identificaes (que veremos na Seo
2), podem ser identificados com tensores cujas componentes so, em
bases adequadas, ij e eijk , assumindo os mesmos valores que ij e eijk
(reveja o Exemplo 1.4, p. 3). Mostre que

eijk ek`m = i` jm im j` .

Sugesto. Tenha pacincia e analise casos, um exerccio de combina-

tria. Observe que no h nenhuma soma ocorrendo no lado direito,
somente no esquerdo.

12
(d) Refaa o Exerccio 1.7 (p. 8) utilizando a conveno de Einstein.
Adotaremos a conveno de Einstein deste ponto em diante.
Voltemos aos tensores. O mesmo raciocnio feito na demonstrao da
Proposio 1.10 (p. 9) nos permite encontrar bases para espaos de tenso-
res com domnios embaralhados. Por exemplo:
Exerccio 1.12. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .
Mostre que
.
B B B = {ei e j ek | 1 i, j, k n}

uma base para o espao vetorial T111 (V ), com operaes entre tensores
definidas ponto a ponto. Em particular, dim T111 (V ) = n3 .
Em geral, os vrios espaos de tensores com a mesma valncia so to-
dos isomorfos, independente de como os domnios esto embaralhados.
possvel exibir tais isomorfismos sem escolher bases de V e V , quando
dispomos de um produto escalar e no-degenerado h, i em V. Veremos
como isto funciona na Seo 2.
Na Proposio 1.7 (p. 6), apresentamos a contrao tr 11 : T11 (V ) R.
Para tensores de tipo (r, s), a contrao que definiremos a partir de tr 11 no
produz um nmero real, mas sim outro tensor:
Definio 1.11. Sejam r, s 1. A contrao no a-simo ndice contravari-
ante e no b-simo ndice covariante a aplicao tr ba : Trs (V ) Trs11 (V )
definida por
.
tr ba ( T )( f 1 , . . . , f r1 , v1 , . . . , vs1 ) =
.
= tr 11 T ( f 1 , . . . , f a1 , , f a , . . . , f r1 , v1 , . . . , vb1 , , vb , . . . , vs ) .

Essencialmente, trava-se todos os argumentos possveis de modo a

obter-se um tensor de tipo (1, 1), e ento faz-se a contrao usual.
Exemplo 1.12. Fixe B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .
1. Se : V V R dado por ( f , v) = f (v), como no Exemplo 1.2
(p. 2), ento tr 11 () = ii = n.

2. Se B T12 (V ) dado por B = Bijk ei e j ek , ento temos duas

contraes possveis, a saber:

tr 11 ( B) = Biik ek e tr 12 ( B) = Biji e j .

13
 ij
3. Se W T23 (V ) dado por W = W k`m ei e j ek e` em , temos
2 3 = 6 contraes (todas elas tensores de valncia 3). Algumas
delas so
ij ` m
tr 11 (W ) = W i `m e j e e ,
ij
tr 12 (W ) = W kim e j ek em , e
ij
tr 23 (W ) = W k ` j ei e k e ` .

Exerccio 1.13. Encontre as contraes restantes tr 13 (W ), tr 21 (W ) e

tr 22 (W ).

Uma vez entendido os exemplos acima, no surpreendente o enunci-

ado do caso geral ( um corolrio automtico da Proposio 1.7, p. 6):

Proposio 1.13. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V , e

T Trs (V ). Ento dados 1 a r e 1 b s, temos
i ...ir1 i ...i a1 ki a ...ir1
(tr ba ( T )) 1 j1 ...js1 =T1 j1 ...jb1 kjb ...js1 .

De modo paralelo ao feito anteriormente quando discutimos tensores

de tipo (1, 1), vejamos agora como as componentes de um tensor se com-
portam mediante mudana de base:

Teorema 1.14. Sejam T Trs (V ) e

B = (ei )in=1 , B = (ei )in=1 , B ei )in=1

e = (e e e = (e
B ei )in=1

pares de bases duais de V e V . Se e

e j = a i j e i e e j = b i je
ei ento

ei1 ...ir
T j1 ...js = bik1 1 bikr r a`j11 a`jss T k1 ...kr`1 ...`s .

Observao. Um jeito de pensar nesta lei de transformao em termos

de ( ai j )i,j
n i n
=1 , tendo em mente que ( b j )i,j=1 a sua matriz inversa (ns j vi-
mos isso no Exerccio 1.7, p. 8): para cada ndice covariante (inferior), um
termo a contribui, enquanto que para cada ndice contravariante (supe-
rior), um termo b contribui. Ou seja, termos co correspondem matriz
de coeficientes, e termos contra sua inversa.

14
Demonstrao: quase automtico, usando o Exerccio 1.7 (p. 8) e a con-
veno de Einstein:

ei1 ...ir
T = T (eei1 , . . . , eeir , ee j1 , . . . , ee js )
j1 ...js

= T (bik1 1 ek1 , . . . , bikr r ekr , a`j11 e`1 , . . . , a`jss e`s )

= bik1 1 bikr r a`j11 a`jss T (ek1 , . . . , ekr , e`1 , . . . , e`s )
= bik1 1 bikr r a`j11 a`jss T k1 ...kr`1 ...`s .

2 E quando temos um produto escalar?

Sabemos o que um produto interno positivo-definido em um espao
vetorial. A condio de que o produto seja positivo-definido pode ser en-
fraquecida sem que percamos resultados relevantes na nossa discusso
aqui. Vamos registrar a definio que usaremos, aproveitando a lingua-
gem de tensores que introduzimos at agora:

Definio 2.1. Um produto escalar (pseudo-Euclideano) em V um tensor

h, i T02 (V ) satisfazendo:
(i) h x, yi = hy, xi para todos os x, y V. Ou seja, h, i simtrico.

(ii) se h x, yi = 0 para todo y V, ento necessariamente x = 0. Ou seja,

h, i no-degenerado.
Observao. Em contextos um pouco mais gerais, um tal produto h, i
chamado um tensor mtrico.

Fixamos daqui em diante um produto escalar h, i em V.

Como h, i um tensor, em particular sabemos o que so suas compo-
.
nentes numa base B = (ei )in=1 de V: gij = hei , e j i. As imposies dadas
na definio de h, i nos do boas condies sobre tais componentes, qual-
quer que seja a base B escolhida:
n
A condio (i) garante que a matriz ( gij )i,j =1 simtrica;
n
A condio (ii) garante que a matriz ( gij )i,j =1 no-singular (ou seja,
possui inversa).

15
 n
A matriz inversa de ( gij )i,j ij 2
=1 usualmente denotada por ( g )i,j=1 . As
vantagens de possuir um produto escalar comeam quando utilizamos-o
para obter novas identificaes naturais (que no dependem da escolha de
uma base do espao).

Exerccio 2.1. Simplifique:

ij gki g j` k` .

e1`m gij g jk 1k `2 m3 .

Comecemos identificando decentemente V com o seu dual V , usando

h, i:
Proposio 2.2 (Isomorfismos musicais).
.
(i) A aplicao bemol [ : V V definida por v[ (w) = hv, wi um isomor-
fismo.

(ii) Dado f V existe um nico f ] V tal que f (v) = h f ] , vi, para todo
v V. Fica ento bem definida a aplicao sustenido ] : V V, que
isomorfismo inverso de bemol.

Demonstrao: Claramente [ linear. Como V tem dimenso finita, basta

provar que [ injetor. Mas se v ker [, temos hv, wi = 0 para todo
w V. Uma vez que h, i no-degenerado, segue que v = 0. Logo [
um isomorfismo, e assim fica bem definido o isomorfismo inverso ].
O prximo passo natural analisar como os isomorfismos musicais
funcionam em coordenadas:

Proposio 2.3. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .

Suponha que v = vi ei V e f = f i ei V . Ento v[ = vi ei e f ] = f i ei , onde

vi = gij v j e f i = gij f j .

Observao.

Observe os abusos de notao (v[ )i = vi e ( f ] )i = f i .

O produto h, i utilizado para subir e descer ndices das coordena-

das de v e f . Tal operao muito comum em Fsica e Geometria.
Note a semelhana da ao dos coeficientes gij e gij com o delta de
Kronecker.

16
 Isto justifica a nomenclatura de isomorfismos musicais: o isomor-
fismo [ abaixa meio tom (abaixa o ndice) das componentes de v
(vi vi ), enquanto o isomorfismo ] aumenta meio tom (aumenta
o ndice) das componentes de f ( f i f i ).

Mnemnico: vetores tem pontas afiadas (sharp), ento f ] um

vetor.

Demonstrao: Por um lado, a igualdade v[ (e j ) = hv, e j i se l como v j e j (ei ) =

hv j e j , ei i, ou seja, vi = g ji v j = gij v j , como desejado.
De outro lado, f (e j ) = h f ] , e j i se torna f i ei (e j ) = h f i ei , e j i, donde f j =
gij f i . Multiplicando tudo por gkj (e somando em j, claro), temos

gkj f j = gkj gij f i = ki f i = f k ,

e renomear k i nos d f i = gij f j , como no enunciado.

Proposio 2.4. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .

Ento
(ei )[ = gij e j e (ei )] = gij e j .
j
Demonstrao: Faamos o primeiro. Como ei = i e j , a proposio ante-
rior nos d que
(ei )[ = g jk ki e j = g ji e j = gij e j ,
como desejado.

Exerccio 2.2.

(a) Tenha certeza de que entendeu as manipulaes feitas utilizando a

conveno de Einstein nas duas ltimas demonstraes.

(b) Verifique que (ei )] = gij e j , completando a demonstrao acima.

Mudando um pouco o ponto de vista, o que acabamos de fazer foi ver

como usar h, i para identificar T01 (V ) e T10 (V ). Isto pode ser feito para
0
identificar Trs (V ) com Trs0 (V ), desde que r + s = r 0 + s0 . Vejamos alguns
casos com valncia baixa, para comear.
.
Proposio 2.5. A aplicao ]1 : T02 (V ) T11 (V ) dada por T ]1 ( f , v) = T ( f ] , v)
um isomorfismo.

17
Demonstrao: claro que ]1 linear, e como dim T20 (V ) = dim T11 (V ),
basta ver que ]1 injetor. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de
V e V . Note que

( T ]1 )i j = T ]1 (ei , e j ) = T ((ei )] , e j ) = T ( gik ek , e j ) = gik T (ek , e j ) = gik Tkj .

Se T ]1 = 0, ento gik Tkj = 0. Multiplicando tudo por g`i , temos

0 = g`i gik Tkj = k` Tkj = T` j ,

e como os ndices eram arbitrrios, segue que T = 0.

Observao. Ao invs de escrever ( T ]1 )i j = gik Tkj , usualmente escreve-se

apenas T ij = gik Tkj , como viemos fazendo com vetores e covetores.

Exerccio 2.3.
.
(a) Mostre que a aplicao [1 : T20 (V ) T11 (V ) definida por T[1 ( f , v) =
T ( f , v[ ) um isomorfismo.

(b) Caso j no tenha feito isso durante o item (a), verifique tambm que
T ij = g jk T ik .

Exerccio 2.4.

(a) Mostre que [1,2 : T20 (V ) T02 (V ) dada por T[1,2 (v, w) = T (v[ , w[ )
um isomorfismo.

(b) Caso j no tenha feito isso durante o item (a), verifique tambm que
Tij = gik g j` T k` .

Com isto, poderamos pensar que temos todas as identificaes pos-

sveis entre tensores de valncia igual a 2. Mas no nos esqueamos dos
tensores com domnios embaralhados:

Proposio 2.6. A aplicao ]1[ : T11 (V ) T11 (V ) dada por

1

T ]1[ ( f , v) = T ( f ] , v[ )
1

um isomorfismo.

18
Demonstrao: Como na Proposio 2.5 (p. 17), basta provar que ]1[
1
injetora. Faremos isto usando coordenadas, novamente: considere B =
(ei )in=1 e B = (ei )in=1 bases duais de V e V . Temos:

T ij = T ]1[ (ei , e j ) = T ((ei )] , (e j )[ ) = T ( gik ek , g j` e` ) = gik g j` Tk` .

1

Se T ]1[ = 0, ento gik g j` Tk` = 0. Multiplicando tudo por g pi gqj , obtemos

1

q q
0 = g pi gqj gik g j` Tk` = kp ` Tk` = Tp ,
e a arbitrariedade dos ndices nos diz que T = 0.
Observao.
Na demonstrao acima, multiplicar tudo por g pi gqj no foi um deus
ex machina, tirado da cartola. justamente o que faltava para que
surgissem os deltas de Kronecker necessrios para concluir o argu-
mento, tomando o cuidado para no repetir ndices em cima ou em
baixo (por isso os ndices novos p e q). Isto deve ter ficado mais claro,
caso voc tenha feitos os exerccios 2.3 e 2.4 acima.
Todas as facetas de um mesmo tensor acabam por ser representadas
pela mesma letra, no caso T. Em qual espao T est depende dos
seus argumentos, e do contexto.
Subindo e descendo o ndice do delta de Kronecker e do Smbolo
de Levi-Civita (cujas coordenadas independem da base) usando um
produto positivo-definido, conclumos que numericamente vale ij =
ij = ij = ji , bem como eijk = eijk = eijk , etc., justificando a notao
adotada no Exerccio 1.11 (p. 12). Por exemplo eijk = i` e` jk .
Registramos ento o caso geral:
0
Teorema 2.7. Se r + s = r 0 + s0 , ento Trs (V )
= Trs0 (V ).
Observao. Existem inmeras possibilidades de isomorfismos entre es-
tes espaos. Por exemplo, poderamos abaixar todos os ndices contrava-
riantes, obtendo isomorfismos com o espao T0r+s (V ).
Na seo anterior, vimos uma generalizao do trao: a contrao entre
ndices contravariantes e covariantes. Combinando isto com os isomorfis-
mos musicais, podemos definir traos entre ndices do mesmo tipo, como
tr a,b e tr a,b . Vejamos como fazer isto, comeando com casos de valncia
baixa, como sempre:

19
Definio 2.8.

(i) A contrao covariante a aplicao tr 1,2 : T02 (V ) R dada por

.
tr 1,2 ( T ) = tr 11 ( T ]1 ),

onde ]1 : T02 (V ) T11 (V ) o isomorfismo dado na Proposio 2.5

(p. 17).

(ii) A contrao contravariante a aplicao tr 1,2 : T20 (V ) R dada por

.
tr 1,2 ( T ) = tr 11 ( T[1 ),

onde [1 : T20 (V ) T11 (V ) o isomorfismo dado no Exerccio 2.3 (p.

18).

Exerccio 2.5. Mostre que se T um tensor de valncia igual a 2, e B =

(ei )in=1 e B = (ei )in=1 so bases duais de V e V , ento T ii = Ti i .
j
Observao. Em geral T ij 6= Ti . Este exerccio mostra que tambm pode-
ramos ter transferido toda a situao para T11 (V ) e usado a aplicao
1
tr1 , brevemente mencionada na Seo 1.

Proposio 2.9. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .

(a) Se T T02 (V ), temos que tr 1,2 ( T ) = gij Tij .

(b) Se T T20 (V ), temos que tr 1,2 ( T ) = gij T ij .

Demonstrao: Basta notar que T ii = gij Tij = gij T ij .

Exerccio 2.6. Complete os detalhes da demonstrao acima, caso no te-

nha se convencido.

Exemplo 2.10. Suponha que B = (ei )in=1 uma base ortonormal de V, e

que B = (ei )in=1 a correspondente base dual. Quando h, i no neces-
sariamente um produto positivo-definido, ortonormal quer dizer que
.
hei , e j i = 0 se i 6= j, e que para cada 1 i n tem-se ei = hei , ei i
n
{1, 1}. Ou seja, em forma matricial1 temos ( gij )i,j =1 = diag( e1 , . . . , en ) e,
em particular, ( gij )i,j
n n
=1 = ( gij )i,j=1 . Segue disto que:
1 A quantidade de e negativos a mesma para cada base ortonormal de V (este resul-
i
tado no-trivial conhecido como Lei da Inrcia de Sylvester).

20
 1. Se T T02 (V ), ento tr 1,2 ( T ) = in=1 ei T (ei , ei ).

2. Se T T20 (V ), ento tr 1,2 ( T ) = in=1 ei T (ei , ei ).

Lembre que o trao generalizado tr ba : Trs (V ) Trs11 (V ) era uma apli-
cao que diminuia a valncia de um dado tensor em 2. Isto continuar
sendo verdade:
Definio 2.11. Sejam a b inteiros no-negativos.
(i) Seja s 2. A contrao covariante nos ndices a e b a aplicao
tr a,b : Trs (V ) Trs2 (V ) definida por:
.
tr a,b ( T )( f 1 , . . . , f r , v1 , . . . , vs2 ) =
.
= tr 1,2 T ( f 1 , . . . , f r , v1 , . . . , , . . . , , . . . , vs2 ) ,

onde os esto nas a-sima e na b-sima entradas covariantes.

(ii) Seja r 2. A contrao contravariante nos ndices a e b a aplicao
tr a,b : Trs (V ) Trs2 (V ) definida por:
.
tr a,b ( T )( f 1 , . . . , f r2 , v1 , . . . , vs ) =
.
= tr 1,2 T ( f 1 , . . . , , . . . , , . . . , f r2 , v1 , . . . , , vs ) ,

onde os esto nas a-sima e na b-sima entradas contravariantes.

Exemplo 2.12. Fixe B = (ei )in=1 e B = (ei )in=1 bases duais de V e V .
1. Como h, i T02 (V ), faz sentido calcularmos tr 1,2 (h, i). A Propo-
j
sio 2.9 (p. 20) nos d tr 1,2 (h, i) = gij gij = g ji gij = j = n.

2. Temos que se det T0n (Rn ) e h, i o produto escalar usual em Rn ,

ento tr a,b (det) o tensor nulo, para quaisquer escolhas de a e b, pois
det totalmente anti-simtrico.
3. Se v, w V, ento tr 1,2 (v w) = hv, wi. De fato, pela Proposio
2.9 temos
tr 1,2 (v w) = gij (v w)ij = gij vi w j = hv, wi.

4. De modo anlogo ao exemplo anterior, se f , g V , ento temos que

tr 1,2 ( f g) = h f ] , g] i. Vejamos em coordenadas:
tr 1,2 ( f g) = gij ( f g)ij = gij f i g j
= gij gik f k g j` g` = i` gik f k g`
= gk ` f k g ` = h f ] , g ] i.

21
 Exerccio 2.7. J que falamos na quantidade h f ] , g] i, vamos definir
.
um novo produto h, i : V V R por h f , gi = h f ] , g] i. Mostre
que h, i um produto escalar no-degenerado em V . Quais so
n
suas componentes, em termos de ( gij )i,j =1 ?
Note que T02 (V ) = T20 (V ), ento quem chamamos de vetores
e quem chamamos de covetores na verdade depende do nosso
ponto de vista.
ij
5. Se W T23 (V ) dado por W = W k`m ei e j ek e` em , como
no Exemplo 1.12 (p. 13), temos que tr 1,2 (W ) T03 (V ) dado por
ij
tr 1,2 (W ) = gij W k`m e
k
e` em .
Tambm podemos calcular tr 1,3 (W ) T21 (V ):
ij
tr 1,3 (W ) = gkm W k `m ei e j e` .
Exerccio 2.8. Como fica tr 1,2 (W ) T21 (V )?

Exerccio 2.9 (Um gostinho de Geometria). Um tensor R T04 (V ) dito

de tipo curvatura se satisfaz
(i) R( x, y, z, w) = R(y, x, z, w) = R( x, y, w, z);
(ii) R( x, y, z, ) + R(y, z, x, ) + R(z, x, y, ) = 0;
(iii) R( x, y, z, w) = R(z, w, x, y).
Ento:
(a) Mostre que R0 : V 4 R definido por
.
R0 ( x, y, z, w) = hy, zih x, wi h x, zihy, wi
um tensor de tipo curvatura. O tensor R0 chamado a curvatura
fundamental de h, i.
(b) Se R um tensor de tipo curvatura, como h, i no-degenerado, fica
bem definido R : V 3 V tal que R( x, y, z, w) = h R( x, y)z, wi. O
tensor de Ricci associado R Ric T02 (V ), dado por
.
Ric( x, y) = tr ( R(, x)y).
Mostre que para a curvatura fundamental de h, i, vale a relao
Ric0 ( x, y) = (n 1)h x, yi.

22
 Observao. comum em Geometria escrever R( x, y)z ao invs de
R( x, y, z). No um engano.
.
(c) A curvatura escalar associada R definida por S = tr 1,2 (Ric). Para
a curvatura fundamental de h, i, use o item anterior e conclua que
S0 = n ( n 1).
De modo anlogo Proposio 1.13 (p. 14), registramos o caso geral
para as expresses das contraes em coordenadas:
Proposio 2.13. Sejam B = (ei )in=1 e B = (ei )in=1 bases duais de V e V , e
T Trs (V ).
(i) Se s 2, ento
(tr a,b ( T ))i1 ...ir j1 ...js2 = gk` T i1 ...ir j1 ...k...`...js2 .

(ii) Se r 2, ento
i ...ir2
(tr a,b ( T )) 1 j1 ...js = gk` T i1 ...k...`...ir j1 ...js .

Os ndices indicados em vermelho em T esto nas a-sima e b-sima posies.

Antes de partirmos para a Seo 3 falar de lgebra, vamos ver como
usar a linguagem de tensores para estabelecer de modo simples frmulas
envolvendo o produto vetorial em R3 . Suponha ento at o fim desta seo
que V = R3 e que h, i o produto interno usual. Vamos comear com
uma definio de produto vetorial que no dependa de coordenadas:
Definio 2.14. Sejam v, w R3 . O produto vetorial de v e w o nico
vetor v w R3 tal que hv w, xi = det(v, w, x), para todo x R3 .
Lema 2.15. Seja B = (ei )3i=1 uma base ortonormal e positiva de R3 . Ento vale
que (v w)i = eijk v j wk , onde eijk o smbolo de Levi-Civita (apresentado no
Exemplo 1.4, p. 3 e no Exerccio 1.11, p. 12) .
Demonstrao: Fazendo x = ei na definio de v w, de um lado temos
hv w, ei i = h(v w) j e j , ei i = (v w) j ji = (v w)i .
De outro lado:
det(v, w, ei ) = det(v j e j , wk ek , ei ) = v j wk e jki = eijk v j wk .

Portanto (v w)i = eijk v j wk . Levantando o ndice i nos dois lados segue

a concluso desejada.

23
Observao. Agora voc pode escrever a expresso para v w explicita-
mente e se convencer se que ele expresso via aquele determinante, como

voc aprendeu quando era criancinha ^.

Um exemplo de aplicao desta expresso o seguinte:

Proposio 2.16. Sejam v, w, z R3 . Ento vale que

(v w) z = hz, viw hz, wiv.

Demonstrao: Basta analisarmos a nvel de coordenadas, numa base or-

tonormal e positiva de R3 , utilizando o Exerccio 1.11. Temos:

((v w) z)i = eijk (v w) j zk

j
= eijk e `m v` wm zk
j
= eikj e m` v` wm zk
= (im k` i` km )v` wm zk
= im k` v` wm zk i` km v` wm zk
= k` zk v` wi km zk wm vi
= hz, viwi hz, wivi ,

como desejado.

Corolrio 2.17 (Identidade de Jacobi). Sejam v, w, z R3 . Ento vale que

(v w) z + (w z) v + (z v) w = 0.

Exerccio 2.10. Mostre o Corolrio acima.

Tais manipulaes tambm nos permitem estabelecer algumas identi-

dades envolvendo operadores diferenciais, como o gradiente, rotacional
e o divergente. Se can = (ei )3i=1 a base cannica, e = (1 , 2 , 3 )
o vetor de operadores diferenciais, recorde que se : R3 R suave, e
F : R3 R3 um campo de vetores suave em R3 , valem

grad = = (1 , 2 , 3 ),
div F = h, F i = 1 F1 + 2 F2 + 3 F3 e
ij
rot F = F = e k j F k ei .

Proposio 2.18. Seja : R3 R suave. Ento rot grad = 0.

24
 ij
Demonstrao: Basta observar que (rot grad )i = e k j k . Como os n-
ij
dices j e k so mudos, temos que e k j k = eikj k j = eikj j k , usando
no ltimo passo que derivadas parciais de segunda ordem comutam. Por
ij
outro lado, como o smbolo de Levi-Civita anti-simtrico, temos e k j k =
ij
eikj j k . Logo e k j k = 0.
Exerccio 2.11. Faa um argumento anlogo ao acima (prestando ateno
aos ndices mudos) e mostre que se F : R3 R3 um campo de vetores
suave em R3 , ento div rot F = 0.
Proposio 2.19. Seja F : R3 R3 um campo de vetores suave em R3 . Ento
rot rot F = grad(div F ) 2 F,
onde 2 F indica o Laplaceano (vetorial) de F.
Demonstrao: Vamos proceder como na Proposio 2.16 (p. 24), utili-
zando a identidade do Exerccio 1.11 (p. 12) com o balanceamento correto
de ndices. Temos que:
ij
(rot rot F )i = e k j (rot F )k
ij
= e k j ek`m ` F m
ij
= e k ek`m j ` F m
j
= (i` m im j` ) j ` F m
j
= i` m j ` F m im j` j ` F m
= i ` j ` F j j` j ` F i
= i` ` (div F ) j` j ` Fi
= (grad(div F ))i (2 F )i
= (grad(div F ) 2 F )i ,
como desejado.
Exerccio 2.12. Sejam F, G : R3 R3 so campos de vetores suaves em
R3 .
(a) Mostre que div( F G ) = hrot F, G i hrot G, F i.
(b) Mostre que
rot( F G ) = h G, i F + (div G ) F h F, i G (div F ) G,
onde h F, i G indica o operador diferential F1 1 + F2 2 + F3 3 agindo
em cada componente do campo G, etc..

25
(c) Mostre que
gradh F, G i = h G, i F + h F, i G (rot F ) G (rot G ) F.

3 A propriedade universal
Existe uma outra abordagem para este assunto, mais preferida por al-
gebristas, em Matemtica. Vamos discut-la um pouco e dar a relao com
tudo o que fizemos at agora. Fixe V e W dois espaos vetoriais (reais) de
dimenso finita, at o final da seo.
Definio 3.1. Um produto tensorial de V e W um par ( T, ), onde T
um espao vetorial e : V W T uma aplicao bilinear satisfa-
zendo a seguinte propriedade universal: dado qualquer espao vetorial Z e
qualquer aplicao bilinear B : V W Z, existe uma nica aplicao
linear B : T Z tal que B = B. Em outras palavras, o seguinte dia-
grama sempre se completa de forma nica:

V W Z
B
Figura 1: A propriedade universal de ( T, )

Observao. Normalmente j escreveriam ao invs de . Vamos car-

regar a notao at estabelecermos os isomorfismos necessrios para
identificar com a operao que estudamos nas sees 1 e 2.
Ou seja, um produto tensorial de V e W um espao vetorial munido
de uma aplicao que lineariza universalmente todas as aplicaes bi-
lineares definidas em V W. Tal produto tensorial na verdade age como
um tradutor, convertendo aplicaes bilineares B em aplicaes lineares
B que so, em um certo sentido, equivalentes B, e o seu dicionrio.
O problema com esta definio que no fica claro se um produto ten-
sorial entre dois dados espaos sequer existe, ou se nico. Como ocorre
frequentemente em Matemtica, a unicidade mais fcil de ser verificada
do que a existncia:

26
Proposio 3.2. Sejam ( T1 , 1 ) e ( T2 , 2 ) dois produtos tensoriais de V e W.
Ento existe um isomorfismo linear : T1 T2 tal que 1 = 2 .

T1 T2

1 2

V W
Figura 2: A unicidade do produto tensorial a menos de isomorfismo.

Demonstrao: Como 2 : V W T2 bilinear, a propriedade univer-

sal de ( T1 , 1 ) nos d uma nica : T1 T2 linear tal que 1 = 2 .

T1

V W T2
2
Figura 3: A existncia de .

Para ver que um isomorfismo, vamos exibir a sua inversa, repe-

tindo o argumento ao contrrio: como 1 : V W T1 bilinear,
a propriedade universal de ( T2 , 2 ) nos d uma nica aplicao linear
: T2 T1 tal que 2 = 1 .

T2

V W T1
1
Figura 4: A existncia de .

27
 Resta verificar que de fato a inversa de . Para tal, vamos ape-
lar para a unicidade garantida pelas propriedades universais. Explore-
mos agora a propriedade universal de ( T1 , 1 ) para a aplicao bilinear
1 : V W T1 . Claramente Id T1 : T1 T1 satisfaz Id T1 1 = 1 , mas
por outro lado

( ) 1 = ( 1 ) = 2 = 1 ,

de modo que = Id T1 .

T1 T1

Id T1
1 1

V W T1 V W T1
2 2
Figura 5: A demonstrao de = Id T1 .

Analogamente mostra-se que = Id T2 .

Para nosso conforto psicolgico, resta mostrar a existncia de um pro-
duto tensorial de V e W. Vamos lanar mo de uma construo um pouco
mais geral:

Exemplo 3.3 (Espao vetorial livre). Seja S um conjunto no-vazio e con-

sidere a coleo F(S) das funes f : S R tais que f (s) 6= 0 apenas para
uma quantidade finita de elementos de S. As operaes de adio e mul-
tiplicao real em F(S), ponto a ponto, o tornam um espao vetorial. Para
cada a S, defina a : S R por a ( x ) = 1 se x = a e 0 caso contrrio.

Exerccio 3.1. Mostre que {a | a S} uma base para F(S).

Ainda, a aplicao S 3 s 7 s {a | a S} uma bijeo, de modo

que podemos identificar a com a , para cada a S. Fica ento provado
que dado um conjunto no-vazio, existe um espao vetorial que tem este
conjunto como base.

28
 Para exibir um produto tensorial de V e W, consideramos o quociente
de F(V W ) pelo subespao X gerado pelos elementos da forma

( v1 + v2 , w ) ( v1 , w ) ( v2 , w ),
(v, w1 + w2 ) (v, w1 ) (v, w2 ),
(v,w) (v, w) e
(v, w) (v, w).

Suponha que : V W F(V W )/X a aplicao que associa cada

(v, w) a sua classe v w em F(V W )/X. Note que o quociente feito
nos d as relaes

( v1 + v2 ) w = v1 w + v2 w
v ( w1 + w2 ) = v w1 + v w2
(v) w = (v w) = v (w).

Compare-as com o Exerccio 1.8 (p. 8). Finalmente:

Proposio 3.4. O par ( F(V W )/X, ) um produto tensorial de V e W.

Demonstrao: A aplicao bilinear, por construo. Sejam Z um es-

pao vetorial qualquer e B : V W Z bilinear. Como V W uma
base de F(V W ), existe uma extenso linear B e : F(V W ) Z de
B. Sendo B bilinear, B se anula nos elementos de X, e portanto desce ao
e
quociente como uma aplicao linear B : F(V W )/X Z, satisfazendo
B(v w) = B(v, w), como desejado.
Sendo assim, denotamos V W = ( F(V W )/X, ). Antes de pros-
seguir, chamamos a ateno para dois detalhes importantes:

Um elemento genrico de V W no necessariamente da forma

v w para certos v V e w W, mas sim uma soma de elementos
dessa forma (chamados decomponveis).

Para definir aplicaes lineares em V W, necessariamente deve-

mos utilizar a propriedade universal. Isto evidenciado pela rea-
lizao como um quociente dada acima, mas o problema que um
dado elemento de V W pode ser representado de mais de uma
maneira. A propriedade universal garante que todas estas maneiras
foram contempladas.

Com isto em mente, a identificao que buscamos a seguinte:

29
Proposio 3.5. A aplicao

B : V W Lin2 (V W , R)
.
dada por B(v, w)( f , g) = f (v) g(w) induz um isomorfismo

VW
= Lin2 (V W ),

onde Lin2 (V W , R) = { T : V W R | T bilinear}.

Demonstrao: Claramente B bilinear. Pela propriedade universal de

V W, existe B : V W Lin2 (V W , R) linear tal que

B(v w)( f , g) = f (v) g(w).

Para verificar que B um isomorfismo, introduzamos uma notao con-

.
veniente: defina o produto tensorial v w V W por (v w)( f , g) =
f (v) g(w), agora entre vetores de espaos possivelmente diferentes. Deste
modo, temos B(v w) = v w.
Naturalmente vale um anlogo da Proposio 1.5 (p. 4): se B = (vi )in=1
e C = (wi )im=1 so bases de V e W, ento
.
B C = { vi w j | 1 i n e 1 j m}

uma base de Lin2 (V W , R), cuja dimenso ento nm.

Fixadas tais bases, o resto do argumento simplificado. Como os espa-
os tem dimenses diferentes, abandonamos a conveno de Einstein at
o fim desta demonstrao.

(i) Vejamos que B injetor: seja iN=1 xi yi um elemento genrico

j
de V W que esteja em ker B. Escrevendo xi = nj=1 a i v j e y =
nk=1 bki wk , temos
!
N N
0 = B xi yi = B(xi yi )
i =1 i =1
! !
N N n m
xi yi = a i v j bki wk
j
=
i =1 i =1 j =1 k =1
!
n m N
a i bki
j
= v j wk .
j =1 k =1 i =1

30
 j
Por independncia linear de B C, temos que iN=1 a i bki = 0 para
quaisquer 1 j n e 1 k m. Com isto, repetimos a conta acima
usando a bilinearidade de :
! !
N N n m
xi yi = a i vj bki wk
j

i =1 i =1 j =1 k =1
!
n m N
a i bki
j
= v j wk = 0,
j =1 k =1 i =1

como desejado.
(ii) Vejamos que B sobrejetor: seja T Lin2 (V W , R). Escrevendo
T = in=1 m ij
j=1 T vi w j , temos que
!
n m n m
B Tij vi w j = Tij B(vi w j )
i =1 j =1 i =1 j =1
n m
= Tij vi w j = T.
i =1 j =1

Exerccio 3.2. Mostre o anlogo da Proposio 1.5 (p. 4) mencionado na

demonstrao acima.
Note que o argumento acima mostra que (Lin2 (V W ), ) um pro-
duto tensorial de V e W, que denotaremos por V W. Ou seja, como
VW = V W, abandonamos para sempre a notao e a construo
complicada apresentada (que diga-se de passagem, na verdade no foi uti-
lizada concretamente em nenhum ponto), em favor de e de espaos de
aplicaes bilineares. Sendo assim, fazendo W = V e W = V , e tambm
tomar V no lugar de V, fica provado tambm que

T11 (V ) = V V , T11 (V ) = V V,
T20 (V ) = V V e T02 (V ) = V V .
Gostaramos de caracterizar os outros espaos Trs (V ) desta maneira.
Para tanto, precisamos generalizar a Definio 3.6 (p. 31):
Definio 3.6. Sejam V1 , . . . , Vp espaos vetoriais. Um produto tensorial de
V1 , . . . , Vp um par ( T, ), onde T um espao vetorial e
: V1 Vp T

31
 uma aplicao multilinear satisfazendo a seguinte propriedade universal:
dado qualquer espao vetorial Z e qualquer aplicao multilinear

B : V1 Vp Z,

existe uma nica aplicao linear B : T Z tal que B = B. Em outras

palavras, o seguinte diagrama sempre se completa de forma nica:

V1 Vp Z
B
Figura 6: A propriedade universal de ( T, ), novamente.

a mesma histria de antes: um produto tensorial lineariza universal-

mente todas as aplicaes multilineares, utilizando uma nica aplicao
. A filosofia por trs das ideias dadas at agora no muda.
Exerccio 3.3. Sejam V1 , . . . , Vp espaos vetoriais, e ( T1 , 1 ) e ( T2 , 2 ) dois
produtos tensoriais de V1 , . . . , Vp . Mostre que existe um isomorfismo li-
near : T1 T2 tal que 1 = 2 .

No que toca a existncia do produto tensorial neste caso, considera-

mos novamente um quociente da forma F(V1 Vp )/X, onde X o
subespao gerado por certos elementos que faro com que a projeo no
quociente restrita V1 Vp seja multilinear.

Exerccio 3.4. Tente descrever o subespao X quando p = 3.

E, como antes, prova-se que o produto tensorial de V1 , . . . , Vp assim

Np
construdo, denotado por i=1 Vi ou V1 Vp , isomorfo ao espao
das aplicaes multilineares de V1 Vp em R.
Np
Se V1 = = Vp = V, escrevemos apenas V p = i=1 Vi . Com esta
notao, fica ento estabelecido que

Trs (V ) = V r (V )s .

32
Exerccio 3.5. Escreva T12 2 (V ) e T123 (V ) como produtos tensoriais de V e
V.
Para concluirmos a discusso, vejamos algumas outras aplicaes da
propriedade universal:
Proposio 3.7 (Comutatividade). Sejam V e W dois espaos vetoriais. Ento
V W = W V.
Demonstrao: A esta altura, deve ser razoavelmente evidente que que-
remos B : V W W V, dada por B(v w) = w v. Para definir esta
aplicao rigorosamente, consideramos B : V W W V dada por
B(v, w) = w v. Como B bilinear, a propriedade universal de V W
nos fornece B.
V W

V W WV
B

Figura 7: Formalizando B(v w) = w v.

A fim de provar que B um isomorfismo, usa-se o mesmo argumento

para construir a sua inversa.
Exerccio 3.6. Construa formalmente a inversa de B.
Sugesto. No esquea de usar a unicidade da linearizao fornecida pela
propriedade universal para garantir que a inversa que voc construiu de
fato funciona, como fizemos na Proposio 3.2 (p. 27).
WV

WV V W
Figura 8: Dica.

33
 Tambm temos a:

Proposio 3.8 (Associatividade). Sejam V1 , V2 e V3 espaos vetoriais. Ento

(V1 V2 ) V3
= V1 V2 V3 .

Demonstrao: Queremos construir a aplicao que leva (v1 v2 ) v3

em v1 v2 v3 , e a ideia para tal utilizar propriedades universais de
trs pra frente. Fixado v3 V3 , defina v3 : V1 V2 V1 V2 V3 por
.
v3 (v1 , v2 ) = v1 v2 v3 . Note que v3 bilinear, ento a propriedade
universal de V1 V2 nos d uma aplicao linear

d v3 : V1 V2 V1 V2 V3

satisfazendo
d v3 ( v 1 v 2 ) = v 1 v 2 v 3 .

V1 V2

d v3

V1 V2 V1 V2 V3
v3

Figura 9: O primeiro passo.

Assim sendo, fica bem definida : (V1 V2 ) V3 V1 V2 V3 por

.
( v1 v2 , v3 ) = v1 v2 v3 .

Mas como d v3 linear, bilinear, e assim a propriedade universal de

(V1 V2 ) V3 nos d uma aplicao linear b : (V1 V2 ) V3 V1
V2 V3 satisfazendo

b ((v1 v2 ) v3 ) = v1 v2 v3 .

34
 (V1 V2 ) V3

(V1 V2 ) V3 V1 V2 V3

Figura 10: Concluindo a definio de .

b

A construo da inversa mais simples e s requer um passo: defina

: V1 V2 V3 (V1 V2 ) V3 por
.
( v1 , v2 , v3 ) = ( v1 v2 ) v3 .

Como trilinear, a propriedade universal de V1 V2 V3 nos d

b : V1
V2 V3 (V1 V2 ) V3 satisfazendo

b ( v1 v2 v3 ) = ( v1 v2 ) v3 .

V1 V2 V3

V1 V2 V3 (V1 V2 ) V3

Figura 11: Construindo a inversa .

b

Claramente
b e
b so inversas, o que estabelece o isomorfismo dese-
jado.
Pratique a escrita:

Exerccio 3.7. Sejam V1 , V2 e V3 espaos vetoriais. Mostre que

V1 (V2 V3 )
= V1 V2 V3 .

35
 Em geral, vale esta associatividade para o produto tensorial de uma
quantidade qualquer (finita, claro) de espaos vetoriais. Note que ento
no h ambiguidade em escrever Trs (V ) = V r (V )s .

Exerccio 3.8. Sejam V1 , W1 , V2 e W2 espaos vetoriais, e T : V1 W1 e

S : V2 W2 duas aplicaes lineares. Mostre que existe uma nica aplica-
o linear T S : V1 V2 W1 W2 tal que

( T S)(v1 v2 ) = T (v1 ) S(v2 ),

para todos v1 V1 e v2 V2 .

Observao.

Isto indica como generalizar o produto tensorial que definimos na

Seo 1 para aplicaes multilineares com contradomnios mais com-
plicados que R. Tenha em mente que R p = R, para todo p.
Pode-se mostrar que se B1 , B2 , C1 e C2 so bases de V1 , V2 , W1 e W2 ,
respectivamente (com dimenses n1 , n2 , m1 e m2 ), e [ T ] B1 , C1 = A =
( ai j ) e [S] B2 , C2 = B = (bij ), ento

a11 B a1n1 B
.
[ T S] B1 B2 , C1 C2 A B = ... ..
.
.. .
.
m1
a1 B amn11 B

A matriz A B chamada o produto de Kronecker de A e B. Tal pro-

duto tem algumas propriedades interessantes. Por exemplo, se A e
B so matrizes quadradas de ordens n e m, ento

det( A B) = (det A)m (det B)n .

Existem outras propriedades universais alm da apresentada para o

produto tensorial. Vamos dar um exemplo:

Definio 3.9 (Complexificao). Seja V um espao vetorial real. Uma com-

plexificao de V um par (VC , ), onde VC um espao vetorial complexo e
: V VC uma aplicao R-linear satisfazendo a seguinte propriedade
universal: dado qualquer espao vetorial complexo Z e uma aplicao R-
linear T : V Z, existe uma nica aplicao C-linear TC : VC Z tal que
TC = T. Ou seja, o seguinte diagrama sempre se completa de forma
nica:

36
 VC

TC

V Z
T
Figura 12: A propriedade universal de (VC , ).

O prximo resultado no deve ser surpreendente:

Proposio 3.10. Sejam V um espao vetorial real, e (VC 1 , 1 ) e (VC 2 , 2 ) duas

complexificaes de V. Ento existe um isomorfismo C-linear : VC 1 VC 2 tal
que 1 = 2 .

VC 1 VC 2

1 2

V
Figura 13: A unicidade da complexificao a menos de isomorfismo.

Felizmente, a construo de complexificaes mais simples. Uma das

mais usuais, que voc talvez j conhea, fica delinada no:

Exerccio 3.9. Defina no produto cartesiano V V a seguinte multiplica-

o por escalar complexo:
.
( a + bi )(u, v) = ( au bv, bu + av).

(a) Com esta multiplicao e a adio usual feita coordenada coorde-

nada, mostre que V V um espao vetorial complexo. Note que
.
(u, v) = (u, 0) + i (0, v). Assim, escrevemos V iV = V V.
Observao. Se voc se sentir confortvel, pode escrever u (u, 0)
e iv (0, v), de modo que (u, v) = u + iv, e fazer contas como se
estivesse em C.

37
(b) Mostre que se (vi )in=1 uma R-base de V, ento ((vi , 0))in=1 uma C-
base de VC . Portanto dimC VC = dimR V.
(c) Sendo : V V iV dada por (u) = (u, 0), mostre que (V iV, )
satisfaz a propriedade universal da complexificao.
(d) Bnus: suponha que h, i um produto escalar em V. Mostre que
.
hu1 + iv1 , u2 + iv2 iC = hu1 , u2 i + hv1 , v2 i + i (hv1 , u2 i hu1 , v2 i)
um produto sesquilinear2 e hermiteano em V iV, ou seja, linear na
primeira entrada e antilinear na segunda, e satisfaz hz, wiC = hw, ziC .
Vrias propriedades podem ser provadas a partir da unicidade dada
pela propriedade universal da complexificao. Por exemplo:
Exerccio 3.10. Seja (VC , ) uma complexificao de V. Mostre que se Z
um espao vetorial complexo, T, S : V Z so R-lineares e R, ento:
(a) ( T + S)C = TC + SC ;
(b) (T )C = TC .
Outra possibilidade de construo da complexificao por meio do
produto tensorial:
Proposio 3.11. O par (C V, 1 ) uma complexificao de V.
Demonstrao: Antes de qualquer coisa, note que a multplicao por es-
.
calar complexo definida por ( v) = () v torna C V um espao
vetorial complexo. Claramente a aplicao
V 3 v 7 1 v C V

R-linear. Ento sejam Z um espao vetorial complexo e uma aplicao

.
R-linear T : V Z. Definimos T
e : C V Z pondo Te(, v) = T (v).
CV

TC

CV Z
T
e

Figura 14: A construo de TC via a propriedade universal de C V.

2 Melhor que linear, mais fraco que bilinear: 1, 5-linear.

38
 Como T e R-bilinear, existe uma nica aplicao R-linear TC : C V
Z tal que
TC ( v) = T (v),
para todos C e v V. Em particular, TC ((v)) = T (v), e assim s
resta mostrarmos que TC na verdade C-linear. Mas

TC (( v)) = TC (() v) = () T (v) = (T (v)) = TC ( v),

como queramos.

39