3

Produto Tensorial
Sistemas quanticos individuais podem interagir para formarem sistemas
quanticos compostos. Existe um postulado em Mecanica Quantica que descreve
como o espaco de estados do sistema composto e construdo a partir dos espacos
de estados dos sistemas individuais. Entretanto, antes de apresenta-lo, vamos
desenvolver a nocao de produto tensorial de espacos vetoriais (7, 21).
3.1
Deni cao por Universalidade
Sejam V e W espacos vetoriais de dimensao n sobre um mesmo corpo K.
Diremos que um espaco vetorial denotado por V W, junto com uma aplicac ao
bilinear
i : V W V W
(v, w) v w
e o produto tensorial de V e W se, ao considerarmos um outro espaco vetorial
U sobre o mesmo corpo K e B tambem uma aplicacao bilinear:
B : V W U
(v, w) B(v, w) ,
armarmos que existe uma, e somente uma, transformacao linear
L : V W U
tal que
B(v, w) = L(v w) ,
isto e, B = L i:
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 20
Figura 3.1
Ou seja, dizemos que a aplicac ao i e uma aplicac ao bilinear universal,
pois qualquer outra e uma composic ao de i seguida por uma linear. Esta e
a propriedade universal do produto tensorial, tambem chamada mapeamento
universal ou universalidade.
Mais geralmente, o produto tensorial de n espacos vetoriais V
1
, . . . , V
n
e
dado por um espaco vetorial que denotaremos por V
1
. . . V
n
, junto com
uma aplicacao n-linear universal:
i : V
1
. . . V
n
V
1
. . . V
n
.
Precisamente, isto quer dizer que qualquer outra transformac ao n-linear B :
V
1
. . . V
n
U (onde U e outro espaco vetorial) pode ser escrita de forma
unica como:
B = L i ,
onde L : V
1
. . . V
n
U e uma transformac ao linear.

E interessante notar que esta propriedade tambem vale para aplicacoes

antilineares. Para mostrar isso, o principal e que se veja que uma aplicac ao
: V W e antilinear se e somente se : V W e linear, onde W e o
espaco conjugado a W. Este novo espaco difere de W apenas pelo fato de que,
se w W e z C, ent ao o produto escalar e denido por z w = zw.
O que queremos de fato provar e que o seguinte diagrama comuta:
Figura 3.2
onde i e denida como antes, e e sao antilineares. Utilizando o fato citado
anteriormente, podemos trocar W por W no diagrama anterior:
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 21
Figura 3.3
onde agora e linear. Assim, pela propriedade da universalidade para
aplicac oes lineares, armamos que : V W W (linear) existe e e unica.
Logo, garantimos o mesmo para a aplicacao antilinear : V W W.
Uma consequencia importante da propriedade universal e que quaisquer
dois produtos tensoriais sao isomorfos. De fato, vamos supor que o seguinte
diagrama comuta:
Figura 3.4
Observe que se = I, ent ao esta hipotese e satisfeita (ja que i = I i).
Assim, pela universalidade (que arma que e unica), podemos dizer que
I.
Agora consideremos um outro produto tensorial de V e W, o qual sera
caracterizado por V

W e

i : V W V

W. Pela propriedade fundamental,
a transformac ao linear : V W V

W que faz o seguinte diagrama
comutar e unica:
Figura 3.5
Entretanto, V

W tambem e um produto tensorial. Ou seja, e possvel
aplicar novamente o mapeamento universal e ent ao garantir a existencia e
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 22
unicidade de uma transformac ao linear

: V

W V W que faz o seguinte
diagrama comutar:
Figura 3.6
Como

: V W V W, esta composicao agora faz o papel de
no diagrama (1). Ou seja, como antes,

= I. Podemos tambem considerar


: V

W V

W e ent ao utilizarmos o mesmo argumento para armar
que

= I. Segue assim que dois produtos tensoriais quaisquer sao sempre
isomorfos.
3.2
Existencia do Produto Tensorial de Espacos Lineares
Nosso objetivo nesta secao sera apresentar uma demonstracao da ex-
istencia do produto tensorial.

E suciente trabalharmos com o produto de dois
espacos vetoriais, pois o caso com um n umero arbitrario de espacos e comple-
tamente analogo a este.
Dados V , W e U espacos vetoriais sobre um mesmo corpo K e uma
aplicac ao bilinear B : V W U, devemos ent ao provar a existencia de
um espaco V W e de uma aplicac ao i : V W V W, e depois a
existencia, unicidade e linearidade da transformac ao L : V W U, tal que
B(v, w) = L(v w). Ou seja, construiremos um produto tensorial e, a partir
da, mostraremos que a universalidade e valida.

E exatamente por isso que
armamos que esta propriedade e a que dene o produto tensorial.
Sejam V

e W

os espacos duais de V e W, ou seja, os espacos dos

funcionais lineares V K e W K, respectivamente. Dados v V e w W,
deniremos um funcional bilinear v w em V

atraves do seguinte:
v w : V

K
(, ) (v)(w). (3-1)
Sendo L(V

, W

; K) o espaco de todos os funcionais bilineares em V

, seja V W o subespaco deste conjunto, gerado por todos os vw. Sabemos

P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 23
que seus elementos podem ser escritos como:
=
n

i=1

i
v
i
w
i
,
onde assumimos que
i
,= 0, i.
Considerando uma aplicacao B : V W U bilinear, podemos armar
que, se existe uma aplicacao linear L : V W U tal que B(v, w) = L(vw),
ent ao, utilizando a linearidade de B, temos que L deve ser dada por
L() =
n

i=1
L(
i
v
i
w
i
)
=
n

i=1
B(
i
v
i
, w
i
)
=
n

i=1

i
B(v
i
, w
i
) ,
e da a unicidade de L segue de sua existencia. Mas nao basta apenas supor
que L existe e mostrar que ela e unica: tambem devemos provar que L e bem
denida. Para isso, vamos tomar = 0 e vericar que isto implica em L() = 0,
ou seja,
n

i=1

i
B(v
i
, w
i
) = 0 .
Uma simplicacao conveniente surge quando observamos dois fatos
obvios, meras consequencias da linearidade das aplicac oes:
n

i=1

i
v
i
w
i
=
n

i=1
(
i
v
i
) w
i
=
n

i=1
v
i
(
i
w
i
) ,
n

i1

i
B(v
i
, w
i
) =
n

i=1
B(
i
v
i
, w
i
) =
n

i=1
B(v
i
,
i
w
i
) .
Assim, ja que os coecientes
i
podem ser movidos livremente, vamos
considerar que
i
= 1, i.
A demonstrac ao de que L e bem denida vai ser dada por induc ao em n.
Ao tomarmos n = 1, teremos = v w. Nossa hipotese e que = 0, ou seja,
que v w = 0. A partir disto, temos que estudar dois casos:
Se v = 0 ou w = 0, entao L() = B(v, w) = 0, como queramos;
Se v ,= 0 e w ,= 0, ent ao existem elementos V

e W

tais que
(v) ,= 0 e (w) ,= 0. Entretanto, 0 = (v w)(, ) = (v)(w) ,= 0 ,
absurdo!
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 24
Logo, este segundo caso deve ser descartado, e a prova para n = 1 esta
completa.
A hipotese de inducao a ser considerada e a seguinte:
Se
=
n1

i=1
v
i
w
i
= 0 ,
entao
n1

i=1
B(v
i
, w
i
) = 0 .
Vamos entao `a demonstrac ao para o caso geral. Ao considerarmos
=
n

i=1
v
i
w
i
= 0 ,
queremos mostrar que
L() =
n

i=1
B(v
i
, w
i
) = 0 .
Entretanto, se algum v
i
ou algum w
i
forem iguais a zero, podemos
eliminar os termos correspondentes das duas equacoes e assim supor que v
i
,= 0
e w
i
,= 0, i. Em particular, podemos armar que existe um funcional
0
W

tal que
0
(w
n
) ,= 0.
Agora, utilizando a denic ao (3-1), temos:
0 = (,
0
) =
n

i=1
(v
i
)
0
(w
i
) =

i=1

0
(w
i
)v
i

.
Como esta expressao vale para todo V

, necessariamente teremos
n

i=1

0
(w
i
)v
i
= 0 .
Alem disso, como
0
(w
n
) ,= 0, podemos tomar

i
=

0
(w
i
)

0
(w
n
)
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 25
e obtermos

0
(w
n
)v
n
+
n1

i=1

0
(w
i
)v
i
= 0
v
n
+
n1

i=1

i
v
i
= 0
v
n
=
n1

i=1

i
v
i
(3-2)
Logo, utilizando esta ultima igualdade,
0 = =
n

i=1
v
i
w
i
=
n1

i=1
v
i
w
i
+v
n
w
n
=
n1

i=1
v
i
w
i
+

n1

i=1

i
v
i

w
n
=
n1

i=1
v
i
(w
i

i
w
n
) .
Novamente utilizando (3-2), podemos tambem escrever o seguinte:
L() =
n

i=1
B(v
i
, w
i
) =
n1

i=1
B(v
i
, w
i
) +B(v
n
, w
n
)
=
n1

i=1
B(v
i
, w
i
) +B

n1

i=1

i
v
i
, w
n

=
n1

i=1
B(v
i
, w
i

i
w
n
) ,
ja que, assim como a aplicacao , B tambem e bilinear.
Agora, pela hipotese de induc ao,
n1

i=1
B(v
i
, w
i

i
w
n
) = 0 .
Logo, L() = 0, como queramos demonstrar.
A ultima propriedade a ser demonstrada, a linearidade de L, segue
claramente da construc ao.
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 26
3.3
Aplica coes da Universalidade
Consideremos os operadores lineares
A : V
1
V
2
e B : W
1
W
2
.
Como a aplicac ao (v, w) Av Bw e bilinear, utilizamos a universali-
dade para denir a seguinte transformac ao linear:
A B : V
1
W
1
V
2
W
2
v w Av Bw .
Um caso particular desta construcao que sera importante no captulo 6
e o seguinte: seja V
2
= K (vale lembrar que K e o corpo onde todos os espacos
vetoriais em questao sao denidos). Assim,
A : V
1
K ,
ou seja, A e um funcional linear pertencente a V

1
. A partir de agora, vamos
denota-lo por .

E facil mostrar que KW

2
e isomorfo a W
2
. Explicitamente, o isomor-
smo pode ser dado por
KW
2
W
2
w w,
a qual e bem denida por universalidade e obviamente sobrejetora. Ja a
injetividade segue pelo fato de que se KW
2
, entao:
=
1
w
1
+
2
w
2
+. . . +
n
w
n
=
1
(1 w
1
) +. . . +
n
(1 w
n
)
= 1
1
w
1
+. . . + 1
n
w
n
= 1 (
1
w
1
+. . . +
n
w
n
)
= 1 w

.
Agora, utilizando o resultado K W
2

= W
2
, podemos denir por
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A
Captulo 3. Produto Tensorial 27
universalidade (assim como no caso geral) a seguinte aplicac ao:
B : V
1
W
1
W
2
v w (v)Bw.
Se tomarmos ainda W
2
= W
1
e B = I, teremos denido o produto interno
parcial (ou contracao):
| : V
1
W
1
W
1
v w (v)w.
3.4
Produto Tensorial de Espacos de Hilbert
Os espacos vetoriais mais importantes nesta dissertacao possuem algumas
propriedades adicionais: sao espacos de Hilbert nito-dimensionais, os quais,
como ja vimos, sao espacos de estados associados a sistemas quanticos.
Apresentaremos agora mais um ponto relevante para nossos desenvolvi-
mentos posteriores: a denic ao do produto interno em H
1
H
2
, onde H
1
e
H
2
sao dois espacos deste tipo. A seguinte condic ao dene de forma unica,
tambem por universalidade, esta operac ao:
(h
1
k
1
, h
2
k
2
) = (h
1
, h
2
)(k
1
, k
2
).
Neste ponto vale ainda a pena adicionar alguns novos termos ao dicionario
que iniciamos na subsecao 2.3.2:
Matematico Fsico
v w [v)[w)
(, )|(v w) [v)[w)
Com a noc ao de produto tensorial bem construda, estamos agora aptos
a avancar no estudo dos fundamentos da Mecanica Quantica. No proximo
captulo serao apresentados os conceitos de estados produto e emaranhado, e
poderemos ent ao explicar como a universalidade simplica a demonstrac ao do
teorema de composicionalidade de Coecke.
P
U
C
-
R
i
o

-

C
e
r
t
i
f
i
c
a

o

D
i
g
i
t
a
l

N

0
4
2
1
0
3
7
/
C
A