Notas sobre tensores

Algebra Lineal - Observatorio

Introducci on
Estas notas estan pensadas como una introduccion elemental a la teora de tensores,
desde un punto de vista coordenado. De esta forma, no desarrollamos el producto ten-
sorial de espacios vectoriales sino que introducimos la nocion de tensor de forma aislada
para despues ponerla dentro de un contexto mas generico.
Para la comprension completa de este material , el lector debera realizar los ejercicios
que estan entre el texto de la teora (pues en ellos se desarrollan varios puntos teoricos
adicionales). En la parte nal, se detalla una lista de ejercicios adicionales para la completar
la practica de este tema.
1. Ejemplos de tensores
Comenzamos con una serie de ejemplos sobre tensores, en los cuales jamos una no-
tacion conveniente para el desarrollo de estas notas. Mas adelante damos la denicion
formal y los resultados basicos de la teora de tensores. Por simplicidad vamos a suponer
que los cuerpos considerados son k = Q, o k = R o k = C.
1.1. Funcionales lineales sobre V
Sea V un k-espacio vectorial con dim
k
V = n, con base B = v
1
, . . . , v
n
. Sea f V

un funcional lineal y sea

v =
1
v
1
+ . . . +
n
v
n
un vector v V (notamos el ndice de la coordenada arriba; la conveniencia de esta
notacion se vera mas adelante). Luego
f(v) = k
1

1
+ . . . + k
n

n
,
donde k
i
= f(v
i
), i = 1, . . . , n. Consideremos una nueva base B

= w
1
, . . . , w
n
y consid-
eremos las representaciones lineales
w
i
= c
1
i
v
1
+ . . . + c
n
i
v
n
=
n

l=1
c
l
i
v
l
, i = 1, . . . , n.
De esta forma construimos la matriz cambio de base
M
B, B
=

c
1
1
. . . c
1
n
.
.
.
.
.
.
.
.
.
c
n
1
. . . c
n
n

,
donde convenimos en emplear el ndice superior para indicar la la y el inferior para indicar
la columna. Recordemos que en este caso, la matriz de cambio base M
B, B
de la base B

1
en la base B es inversible y su inversa esta dada por M
1
B, B

= M
B

, B
, es decir la matriz
de cambio de base de la base B en la base B

.
Supongamos que en la base B

se tiene v =

n
l=1

l
w
l
; en este caso
f(v) =
n

i=1
h
i

i
(1)
donde
h
i
= f(w
i
) = f(
n

l=1
c
l
i
v
l
) =
n

l=1
c
l
i
k
l
, i = 1, . . . , n. (2)
Notaci on 1.1. Convengamos ahora en abreviar las notaciones siguiendo la regla de Ein-
stein: si en una expresion cualquiera se repite dos veces, una arriba y otra vez abajo, un
mismo ndice - digamos i - esto signica que se realiza la sumacion respecto a este ndice
- en este caso i - en los correspondientes lmites de sumacion (i = 1, . . . , n). De esta forma
omitimos el signo de sumatoria

n
i=1
.
Por ejemplo, seg un la convencion anterior se tiene:
c
l
i
v
l
=
n

l=1
c
l
i
v
l
, c
l
i

i
=
n

l=1
c
l
i

i
, b
p q
l
a
l
p
=
n

l=1
n

p=1
b
p q
l
a
l
p
.
En particular, las identidades (1),(1) se escriben
f(v) = h
i

i
, h
i
= c
l
i
k
l
.
Por otro lado, con las notaciones anteriores se tiene: [f]
B
= (k
i
)
n
i=1
, [f]
B
= (h
i
)
n
i=1
y vale
la relacion
[f]
B
= [f]
B
M
B, B
. (3)
Notemos que de esta forma estamos considerando las representaciones matriciales de los
funcionales como vectores la.
1.2. Vectores de V
Con las notaciones anteriores, dada la base B de V, todo vector v V queda rep-
resentado por sus coordenadas [v]
B
= (
1
, . . . ,
n
). En la base B

este mismo vector se

representa por las coordenadas [v]
B
= (
1
, . . . ,
n
) y las relaciones entre estos dos vectores
de coordenadas esta dada por la matriz de cambio de base

l
= c
l
i

i
.
Claro que para calcular las coordenadas [v]
B
en terminos de [v]
B
necesitamos la matriz de
cambio de base M
B

, B
= M
1
B, B

(como hemos visto en la teora). De esta forma, recordemos

que se tiene
[v]
B
= M
B

,B
[v]
B
. (4)
Los dos ejemplos considerados (el de funcional lineal y el de vector) tienen algo en
com un que permite incluirlos dentro de una denicion mas general. Dada una base, tanto
un funcional como un vector quedan determinados por n coecientes (coordenadas), de
forma que al pasar a una nueva base estos coecientes se transforman linealmente (a traves
de la matriz de cambio de base). Los coecientes de una funcinal lineal as como los de
un vector son ejemplos de tensores, entendiendo por un tensor una familia de n-uplas de
2
coecientes que representan coordenadas en alguna base y que se transforman linealmente
al cambiar una base por otra.
Es claro que, con respecto al espacio vectorial V los vectores y funcionales son entidades
bien distintas. El hecho de que se trate de objetos distintos queda de maniesto en la forma
diferente (comparar las ecuaciones (3) y (4)) de pasar de un sistema de coordenadas a otro.
Mencionamos que ambos ejemplos son de tensores univalentes ya que se determinan
por un sistema de n umeros que dependen de un ndice.
1.3. Transformaciones lineales
Como antes, sea V un k-espacio vectorial con dim
k
V = n, con base B = v
1
, . . . , v
n
.
Consideremos ahora un operador lineal T L(V). Entonces T queda representado, con
respecto a la base B por su matriz [T]
B
= (a
i
j
)
n
i, j =1
k
nn
(recordemos que, seg un hemos
convenido, el ndice superior indica las las y el inferior las columnas de la matriz de T).
Al pasar la base B

= w
1
, . . . , w
n
entonces la matriz de T cambia seg un
[T]
B
= M
B

, B
[T]
B
M
B, B
, (5)
donde M
B, B
= (c
i
j
), M
B

, B
= (b
i
j
) k
nn
son las matrices de cambio de base y [T]
B
=
(d
i
j
) k
nn
es la matriz de T en la base B

. La formula en (5) tambien puede escribirse

como
d
i
j
= b
i
l
a
l
t
c
t
j
(6)
donde hemos utilizado la convencion de Einstein y omitido dos signos de sumatoria
(cuales?!)
Por consiguiente, un operador lineal T se determina en una base dada mediante un
sistema formado por n
2
coecientes a
i
j
que dependen de dos ndices, el superior y el inferior,
y que al pasar a una nueva base se transforman seg un la formula (6). Tenemos ahora un
ejemplo de tensor, que en este caso es de valencia dos (pues depende de dos ndices).
Ademas notemos la conveniencia de que un ndice sea superior y el otro inferior (que se
ve reejada en la sencillez de la formula (6)).
2. Denici on y propiedades elementales de un tensor
Denicion 2.1 (Tensor). Sea V un k-espacio vectorial con dim
k
V = n. Supongamos que
para toda base B de V se tienen n
p+q
coecientes a
i
1
...i
q
j
1
...j
p
(B) con 1 i
1
, . . . , i
q
n y
1 j
1
, . . . , j
p
n tal que, al considerar otra base B

vale la relacion
a
i
1
...i
q
j
1
...j
p
(B

) = b
i
1
l
1
b
i
q
l
q
a
l
1
...l
q
t
1
...t
p
(B) c
t
1
j
1
c
t
p
j
p
,
M
B, B
= (c
i
j
), M
B

, B
= (b
i
j
) k
nn
son las matrices de cambio de base. Decimos entonces
que la familia de coecientes a
i
1
...i
q
j
1
...j
p
(B) forma un tensor (p + q)-valente p-covariante
y q-contravariante.
Un escalar, es decir, una magnitud que tiene el mismo valor en todos los sistemas de
coordenadas puede ser considerado un tensor de valencia nula.
Ejemplo 2.2. Sea V un k-espacio vectorial con dim
k
V = n y sea T L(V) un operador
lineal. A partir de T construimos un tensor 1-covariante 1-contravariante como sigue. Para
cada base B de V consideramos [T]
B
= (a
i
j
)
n
i, j=1
y denimos a
i
j
(B) = a
i
j
, 1 i, j n.
Entonces la ecuacion (6) en la seccion 1.3 muestra que la familia as denida es un tensor
de la estructura mencionada.
3
De forma analoga, un vector induce (puede considerarse como) un tensor 1-contravariante
0-covariante (que llamaremos simplemente 1-contravariante) - a partir de sus coordenas
en bases - y un funcional induce un tensor 1-covariante - a partir de sus n valores en los
elemetos de las bases (ver las ecuaciones (3) y (4)).
Ejercicio 2.3. Sea V un k-espacio vectorial con dim
k
V = n y sea / : V V k
una forma bilineal. Para cada base B = v
1
, . . . , v
n
de V y para cada 1 j
1
, j
2
n
consideramos a
j
1
j
2
(B) = /(v
j
1
, v
j
2
) k. Probar que de esta forma / induce un tensor
2-covariante (0-contravariante). (Sugerencia: utilizar la formula de cambio de base para
las formas bilineales).
Observacion 2.4 (Como construir tensores). Sea V un k-espacio vectorial con dim
k
V = n
y sea B una base de V. Sean a
i
1
...i
q
j
1
...j
p
k, 1 i
1
, . . . , i
q
n y 1 j
1
, . . . , j
p
n. Entonces
denimos un tensor (p + q)-valente p-covariante y q-contravariante de la siguiente forma:
si B

es otra base de V entonces

a
i
1
...i
q
j
1
...j
p
(B

) := b
i
1
l
1
b
i
q
l
q
a
l
1
... l
q
t
1
... t
p
c
t
1
j
1
c
t
p
j
p
(7)
donde M
B, B
= (c
i
j
), M
B

, B
= (b
i
j
) k
nn
son las matrices de cambio de base (donde la
expresion de la izquierda es, por denicion, la expresion que gura a la derecha).
Veamos que esta denicion corresponde a un tensor: en efecto, si B
1
y B
2
son dos bases
de V entonces se verican las identidades
a
i
1
...i
q
j
1
...j
p
(B
1
) := b
i
1
l
1
b
i
q
l
q
a
l
1
... l
q
t
1
... t
p
c
t
1
j
1
c
t
p
j
p
(8)
donde M
B, B
1
= (c
i
j
), M
B
1
, B
= (b
i
j
) k
nn
y
a
i
1
...i
q
j
1
...j
p
(B
2
) := d
i
1
l
1
d
i
q
l
q
a
l
1
... l
q
t
1
... t
p
e
t
1
j
1
e
t
p
j
p
(9)
donde M
B, B
2
= (e
i
j
), M
B
2
, B
= (d
i
j
) k
nn
. Deseamos vericar la relacion
a
i
1
...i
q
j
1
...j
p
(B
1
) := f
i
1
l
1
f
i
q
l
q
a
l
1
... l
q
t
1
... t
p
(B
2
) g
t
1
j
1
g
t
p
j
p
(10)
donde M
B
2
, B
1
= (g
i
j
), M
B
1
, B
2
= (f
i
j
) k
nn
. Pero (10) es una consecuencia de (8) y (9)
junto con las identidades (vericadas en la teora)
M
B
1
, B
2
= M
B
1
, B
M
B, B
2
, M
B
2
, B
1
= M
B
2
, B
M
B, B
1
o, en terminos de las coordenadas (siguiendo siempre la convencion de Einstein)
f
i
j
= b
i
l
e
l
j
, g
i
j
= d
i
l
c
l
j
.
El tensor denido en (7) es llamado tensor inducido por los coecientes a
i
1
...i
q
j
1
...j
p
k, 1
i
1
, . . . , i
q
n y 1 j
1
, . . . , j
p
n en la base B.
Si dos tensores de la misma estructura tienen las mismas coordenadas con respecto a
una base B determinada, entonces es claro que los tensores son iguales ya que al pasar
a una base nueva las coordenadas se transforman de la misma manera (seg un la formula
(7)).
Por ello, la construccion descripta arriba determina todos los posibles tensores de una
estructura dada. Enunciamos este hecho elemental en la siguiente
4
Proposicion 2.5. Sea V un k-espacio vectorial con dim
k
V = n y sea B una base de V. Si /
es un tensor p-variante y q-contravariante entonces existen a
i
1
...i
q
j
1
...j
p
k, 1 i
1
, . . . , i
q
n
y 1 j
1
, . . . , j
p
n tal que / es el tensor inducido por a
i
1
...i
q
j
1
...j
p
k, 1 i
1
, . . . , i
q
n y
1 j
1
, . . . , j
p
n en la base B.
A continuacion introducimos dos conceptos importantes dentro de los tensores. Para
comprender el signicado de estas nociones consideramos algunos ejemplos mas adelante.
Denicion 2.6. Sea V un k-espacio vectorial con dim
k
V = n. Sea / un tensor p-
convariante y q-contravariante y sea l
1
, . . . , l
k
1, . . . , q (respectivamente l
1
, . . . , l
r

1, . . . , p). Decimos que / es simetrico con respecto al conjunto de super-ndices l
1
, . . . , l
k

(respectivamente sub-ndices l
1
, . . . , l
r
) si existe una base B de V tal que las coorde-
nadas de / en la base B no cambian al transponer dos cualesquiera de los super-ndices
l
1
, . . . , l
k
(respectivamente de los sub-ndices l
1
, . . . , l
r
).
Ejemplo 2.7. V un k-espacio vectorial con dim
k
V = n Sea V un k-espacio vectorial
con dim
k
V = n. Sea / un tensor 2-covariante y 4-contravariante. Dada una base B de V
entonces las coordenadas de / seran a
i
1
i
2
i
3
i
4
j
1
j
2
(B) para 1 i
1
, i
2
, i
3
, i
4
n y 1 j
1
, j
2
n.
Consideramos ahora el conjunto 1, 3, 4 1, 2, 3, 4. Las transposiciones de los
ndices con los elementos de este subconjunto son: i
1
con i
3
, i
1
con i
4
, i
3
con i
4
(notemos
que transponer i
3
con i
1
es lo mismo que transponer i
1
con i
3
que ya fue considerada). De
esta forma, para vericar que / es simetrico respecto de 1, 3, 4 1, 2, 3, 4 se debe en-
contrar una base B en la cual se veriquen las identidades: para todos 1 i
1
, i
2
, i
3
, i
4
n
y 1 j
1
, j
2
n
a
i
3
i
2
i
1
i
4
j
1
j
2
(B) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B), a
i
4
i
2
i
3
i
1
j
1
j
2
(B) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B), a
i
1
i
2
i
4
i
3
j
1
j
2
(B) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B).
Supongamos que B es una base de V en donde valen las ecuaciones de arriba. Con-
centremos nuestra atencion en una de las identidades anteriores, por ejemplo: para todos
1 i
1
, i
2
, i
3
, i
4
n y 1 j
1
, j
2
n a
i
3
i
2
i
1
i
4
j
1
j
2
(B) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B). Sea B

otra base de V con

lo cual
a
i
3
i
2
i
1
i
4
j
1
j
2
(B

) = b
i
3
l
1
b
i
2
l
2
b
i
1
l
3
b
i
4
l
4
a
l
1
l
2
l
3
l
4
t
1
t
2
(B) c
t
1
j
1
c
t
2
j
2
= b
i
3
l
1
b
i
2
l
2
b
i
1
l
3
b
i
4
l
4
a
l
3
l
2
l
1
l
4
t
1
t
2
(B) c
t
1
j
1
c
t
2
j
2
= b
i
1
l
3
b
i
2
l
2
b
i
3
l
1
b
i
4
l
4
a
l
3
l
2
l
1
l
4
t
1
t
2
(B) c
t
1
j
1
c
t
2
j
2
= b
i
1
l
1
b
i
2
l
2
b
i
3
l
3
b
i
4
l
4
a
l
1
l
2
l
3
l
4
t
1
t
2
(B) c
t
1
j
1
c
t
2
j
2
= a
i
1
i
2
i
3
i
4
j
1
j
2
(B

)
donde la primer igualdad es por denicion de tensor, la segunda por simetra en la base
B, la tercera es por conmutacion (del primer y tercer factor en la expresion) y la cuarta
es porque las variables l
1
, . . . , l
4
son mudas (o de sumacion).
Con respecto a esta ultima armacion, conviene notar que las expresiones (para r, s, t
jos) a
j
1
t j
2
c
j
1
r
c
j
2
s
y a
j
2
t j
1
c
j
2
r
c
j
1
s
coinciden, pues se tiene
a
j
1
t j
2
c
j
1
r
c
j
2
s
=
n

j
1
=1
n

j
2
=1
a
j
1
t j
2
c
j
1
r
c
j
2
s
=
n

j
1
=1
n

j
2
=1
a
j
2
t j
1
c
j
2
r
c
j
1
s
= a
j
2
t j
1
c
j
2
r
c
j
1
s
puesto que j
1
y j
2
son ndices de sumacion.
Notemos que en consecuencia se obtiene la igualdad: para todos 1 i
1
, i
2
, i
3
, i
4
n
y 1 j
1
, j
2
n a
i
3
i
2
i
1
i
4
j
1
j
2
(B

) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B

). Argumentando de forma similar podemos ver

5
que todas las identidades anteriores se preservan, es decir: para todos 1 i
1
, i
2
, i
3
, i
4
n
y 1 j
1
, j
2
n
a
i
3
i
2
i
1
i
4
j
1
j
2
(B

) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B

), a
i
4
i
2
i
3
i
1
j
1
j
2
(B

) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B

), a
i
1
i
2
i
4
i
3
j
1
j
2
(B

) = a
i
1
i
2
i
3
i
4
j
1
j
2
(B

),
donde B

es cualquier otra base de V.

Como consecuencia de argumentos similares a los descritos en el ejemplo anterior (pero
de escritura mas tecnica) se puede probar la siguiente:
Proposicion 2.8. Sea V un k-espacio vectorial con dim
k
V = n. Sea / un tensor p-
convariante y q-contravariante que es simetrico con respecto a l
1
, . . . , l
k
1, . . . , q
(respectivamente l
1
, . . . , l
r
1, . . . , p). Entonces para toda base B de V las coorde-
nadas de / en la base B no cambian al transponer dos cualesquiera de los super-ndices
l
1
, . . . , l
k
(respectivamente de los sub-ndices l
1
, . . . , l
r
).
La propiedad enunciada en el resultado anterior es importante pues reduce el problema
de la simetra al de la simetra con respecto a cualquier base conveniente de V.
Ejercicio 2.9. Sea V un k-espacio vectorial con dim
k
V = n y sea / : V V k una
forma bilineal simetrica. Probar que el tensor 2-covariante inducido por / es simetrico
respecto de 1, 2.
Denicion 2.10. Sea V un k-espacio vectorial con dim
k
V = n. Sea / un tensor p-
convariante y q-contravariante y sea l
1
, . . . , l
k
1, . . . , q (respectivamente l
1
, . . . , l
r

1, . . . , p). Decimos que / es antisimetrico con respecto al conjunto de super-ndices
l
1
, . . . , l
k
(respectivamente sub-ndices l
1
, . . . , l
r
) si existe una base B de V tal que
las coordenadas de / en la base B cambian de signo y preservan el modulo al transpon-
er dos cualesquiera de los super-ndices l
1
, . . . , l
k
(respectivamente de los sub-ndices
l
1
, . . . , l
r
).
Proposicion 2.11. Sea V un k-espacio vectorial con dim
k
V = n. Sea / un tensor p-
convariante y q-contravariante que es antisimetrico con respecto a l
1
, . . . , l
k
1, . . . , q
(respectivamente l
1
, . . . , l
r
1, . . . , p). Entonces para toda base B de V las coordenadas
de / en la base B cambian de signo y preservan el modulo al transponer dos cualesquiera
de los super-ndices l
1
, . . . , l
k
(respectivamente de los sub-ndices l
1
, . . . , l
r
).
3. Operaciones con tensores
A continuacion describimos una serie de construcciones que se pueden realizar con
tensores. En lo que sigue, V denota un k-espacio vectorial con dim
k
V = n.
3.1. Suma de tensores
Sean /, T dos tensores p-covariantes y q-contravariantes (es decir, de la misma estruc-
tura) de coordenadas a
i
1
...i
q
j
1
...j
p
() y d
i
1
...i
q
j
1
...j
p
() respectivamente. Denimos el tensor suma /+T
de la siguiente forma. Si B denota una base de V entonces: para todos 1 i
1
, . . . , i
q
n
y 1 j
1
, . . . , j
p
n
(/+T)
i
1
...i
q
j
1
...j
p
(B) = a
i
1
...i
q
j
1
...j
p
(B) + d
i
1
...i
q
j
1
...j
p
(B).
Ejercicio 3.1. Probar que la suma / + T denida arriba es un tensor p-covariante y
q-contravariante sobre V.
6
3.2. Multiplicaci on de tensores
Sean / y T tensores p-covariante y q-contravariante y r-covariante y s-contravariante
respectivamente sobre V. Denimos el tensor producto / T de la siguiente forma. Si B
denota una base de V entonces: para todos 1 i
1
, . . . , i
q+s
n y 1 j
1
, . . . , j
p+r
n
(/ T)
i
1
...i
q+s
j
1
...j
p+r
(B) = a
i
1
...i
q
j
1
...j
p
(B) d
i
q+1
...i
q+s
j
1+p
...j
p+r
(B)
Ejercicio 3.2. Probar que el producto / T denido arriba es un tensor p +r-covariante
y q + s-contravariante sobre V.
Observacion 3.3. La operacion de multiplicacion no es conmutativa. Para vericar este
hecho consideramos el siguiente ejemplo de producto de dos tensores univalentes covari-
antes en el caso en que n = 2. Sean entonces / y T tales tensores con coordenadas a
i
(B),
d
i
(B), i = 1, 2, donde B denota una base de V.
El producto ( = / T es un tensor 2-covariante de coordenadas
c
11
= a
1
(B) b
1
(B), c
12
= a
1
(B) b
2
(B), c
21
= a
2
(B) b
1
(B), c
22
= a
2
(B) b
2
(B)
mientras que (

= T / es un tensor 2-covariante de coordenadas

c

11
= b
1
(B) a
1
(B), c

12
= b
1
(B) a
2
(B), c

21
= b
2
(B) a
1
(B), c

22
= b
2
(B) a
2
(B) .
Es claro que en general las segundas coordenadas (en las listas de arriba) no seran iguales
(dar un ejemplo concreto!).
3.3. Accion de los escalares en tensores
La accion de los escalares sobre los tensores es en realidad un caso particular de la multi-
plicacion por tensores, considerando a los escalares como 0-tensores (es decir, 0-covariante y
0-contravariante). De esta forma, si / es un tensor p-covariante y q-contravariante sobre V
y d k denimos el tensor d/ a partir del producto, es decir: para todos 1 i
1
, . . . , i
q
n
y 1 j
1
, . . . , j
p
n
(d /)
i
1
...i
q
j
1
...j
p
(B) = d a
i
1
...i
q
j
1
...j
p
(B).
De esta forma el conjunto de todos los tensores p-variantes y q-contravariantes sobre
V forma un espacio vectorial con la suma y la accion por escalar antes descripta (Vericar
la armacion anterior como un ejercicio).
Ejercicio 3.4. Mostrar que la dimension del k-espacio vectorial formado por todos los
tensores p-variantes y q-contravariantes sobre V es n
p+q
. Hallar una base de este espacio
vectorial.
3.4. Contracci on de tensor
Esta es una operacion fundamental entre tensores que engloba varias operaciones del
algebra lineal. Sea / un tensor p-covariante y q-contravariante de coordenadas a
i
1
...i
q
j
1
...j
p
().
Sean 1 r p y 1 s q dos ndices (uno correspondiente a los super-ndices y otro a
los sub-ndices). Decimos que /

se obtiene a partir de / por contraccion de los indices

(r, s) si se verica: para todos 1 i
1
, . . . , i
q1
n y 1 j
1
, . . . , j
p1
n
(/

)
i
1
...i
q1
j
1
...j
p1
(B) = a
i
1
...i
s1
l i
s
...i
q1
j
1
...i
r1
l i
r
...j
p1
(B)

=
n

l=1
a
i
1
...i
s1
l i
s
...i
q1
j
1
...i
r1
l i
r
...j
p1
(B)

,
donde B denota una base arbitraria de V.
7
Ejemplo 3.5. Consideremos el caso en que n = 2 y / es un tensor 2-covariante y 1-
contravariante. De esta forma, dada una base B de V entonces / tiene ocho coordenadas
con respecto a esta base, /
i
j k
(B), 1 i, j, k 2. Contrayendo a este tensor con respec-
to a los ndices 1 (superior) y 1 (inferior) se obtiene un tensor /

1-contravariante de
coordenadas
/

(B)
1
= /
1
11
+/
2
21
, /

(B)
2
= /
1
12
+/
2
22
.
Por otro lado, si contraemos con respecto a 1-(superior) y 2-(inferior) se obtiene el tensor
/

1-contravariante de coordenadas
/

(B)
1
= /
1
11
+/
2
12
, /

(B)
2
= /
1
21
+/
2
22
.
Ejercicio 3.6. Probar que si /

se obtiene a partir del tensor / p-covariante y q-

contravariante, por contraccion de los indices (r, s) es un tensor (p 1)-covariante y
(q 1)-contravariante.
Ejemplo 3.7. Sea T L(V) un operador lineal sobre V y consideremos el tensor T 1-
covariante y 1-contravariante inducido por T (ver Ejemplo 2.2). Si contraemos a T por el
ndice superior e inferior obtenemos un tensor 0-valente, es decir un escalar. De hecho, si
t k denota dicha contraccion se tiene que
t = a
l
l
=
n

l=1
a
l
l
que es lo que hemos llamado la traza de T. El hecho de que la traza de T sea un tensor
indica que este escalar es independiente de la base en que se lo calcule!!
Frecuentemente, la operacion de contraccion se aplica al producto de dos tensores
tomando ndices en diferentes factores del producto. Veamos algunos ejemplos:
1. Sean S, T L(V) dos operadores lineales y sean / = a
i
j
(), T = d
i
j
() los tensores
inducidos por estos operadores sobre V. Entonces el producto / T es un tensor
2-covariante y 2-contravariante. Si contraemos al producto por los ndices 1-inferior
y 2-superior y denotamos a esta contraccion por c entonces
c
i
j
(B) = a
i
l
(B) b
l
j
(B),
donde B denota una base arbitraria de V. Es sencillo vericar que el tensor 1-
covariante y 1-contravariante c es el inducido por el operador producto S T L(V).
2. Sea / el tensor 2-covariante inducido por una forma bilineal A : V V k (de
forma que /
i j
(B) = A(v
i
, v
j
), para una base arbitraria B = v
1
, . . . , v
n
de V).
Sean u, v V vectores y |, 1 los tensores 1-contravariantes que inducen. De esta
forma obtenemos el producto |/V que es un tensor 2-covariante y 2-contravariante.
Contrayendo este vector dos veces obtenemos el escalar
u
l
a
l k
v
k
= A(u, v).
3.5. Simetrizaci on y alternacion de un tensor
El proceso de simetrizar o alternar un tensor es fundamental para las aplicaciones de
esta teora. Solo consideramos las deniciones basicas de estas construcciones. Es conve-
niente recordar las deniciones 2.6, 2.10
8
Sea I = 1, . . . , s. En lo que sigue S
I
denota el conjunto de todas las funciones
f : I I biyectivas. Como I es un conjunto de s elementos se deduce (es un ejercicio de
algebra I) que la cantidad de elementos de S
I
es s! = s (s 1) . . . 1. Los elementos
de S
I
seran denotados por letras como , , etc. Notemos que si , S
I
entonces la
composicion , denotaremos simplemente por es tambien un elemento de S
I
. Mas
a un, la funcion L

: S
I
S
I
dada por L

() = es una biyeccion del conjunto S

I
: en
efecto, si L

() = L

) entonces =

pero entonces
= id[
I
= (
1
) =
1
( ) =
1
(

) = (
1
)

donde id[
I
denota la funcion identidad de I y
1
es la funcion inversa de (que existe
pues es biyeccion). Ademas, L

es suryectiva pues dada S

I
entonces L

(
1
) = .
Para desarrollar de forma breve esta seccion he incluido un apendice con algunos hechos
basicos de la funcion signo.
3.5.1. Simetrizacion de un tensor
Sea / un tensor p-covariante y q-contravariante sobre V con coordenadas a
i
1
...i
q
j
1
...j
p
() y
consideremos un subconjunto I = 1, . . . , s 1, . . . , q (esta eleccion de I es por sim-
plicidad) (respectivamente J = 1, . . . , r 1, . . . , p) del conjunto de ndices. Decimos
que T se obtiene por simetrizacion de / con respecto a I (respectivamente a J) si
T
i
1
...i
q
j
1
...j
p
(B) =
1
s!

S
I
a
i
(1)
...i
(s)
i
s+1
... i
q
j
1
...j
p
(B)
respectivamente
T
i
1
...i
q
j
1
...j
p
(B) =
1
s!

S
J
a
i
1
... i
q
j
(1)
...j
(r)
j
r+1
... j
p
(B).
Ejemplo 3.8. Supongamos que, con las notaciones anteriores se tiene I = 1, 2 de forma
las unicos elementos de S
I
son la identidad y la funcion (1 2) : 1, 2 1, 2 tal que
(1 2)(1) = 2, (1 2)(2) = 1. Entonces
T
i
1
...i
q
j
1
...j
p
(B) =
1
2

a
i
1
i
2
i
3
... i
q
j
1
...j
p
(B) + a
i
2
i
1
i
3
... i
q
j
1
...j
p
(B)

.
Notemos que como consecuencia de lo anterior
T
i
1
i
2
i
3
...i
q
j
1
...j
p
(B) = T
i
2
i
1
i
3
...i
q
j
1
...j
p
(B)
es decir, T es simetrico con respecto al conjunto de ndices superiores 1, 2. Mas a un, si
suponemos que / es un tensor simetrico con respecto al conjunto de ndices superiores
1, 2 entonces / = T.
Ejercicio 3.9. Probar que la simetrizacion del tensor / p-covariante y q-contravariante
con respecto al conjunto I (respectivamente J) es un tensor p-covariante y q-contravariante
sobre V.
Como conclusion del ejemplo anterior observamos que la simetrizacion de / con re-
specto a I produce un tensor simetrico con respecto al conjunto I. Mas a un, los tensores
simetricos con respecto a I no cambian al simetrizarlos con respecto a I.
9
3.5.2. Alternacion de un tensor
Sea / un tensor p-covariante y q-contravariante sobre V con coordenadas a
i
1
...i
q
j
1
...j
p
() y
consideremos un subconjunto I = 1, . . . , s 1, . . . , q (esta eleccion de I es por simpli-
cidad) (respectivamente J = 1, . . . , r 1, . . . , p) del conjunto de ndices. Decimos que
T se obtiene por alternacion (o anti-simetrizacion) de / con respecto a I (respectivamente
a J) si
T
i
1
...i
q
j
1
...j
p
(B) =
1
s!

S
I
sgn() a
i
(1)
...i
(s)
i
s+1
... i
q
j
1
...j
p
(B)
respectivamente
T
i
1
...i
q
j
1
...j
p
(B) =
1
s!

S
J
sgn() a
i
1
... i
q
j
(1)
...j
(r)
j
r+1
... j
p
(B),
donde sgn() denota la funcion signo de la permutacion (ver seccion 5 - Apendice)
Ejemplo 3.10. Supongamos que, con las notaciones anteriores se tiene I = 1, 2 de
forma las unicos elementos de S
I
son la identidad y la funcion (1 2) : 1, 2 1, 2 tal
que (1 2)(1) = 2, (1 2)(2) = 1. Entonces
T
i
1
...i
q
j
1
...j
p
(B) =
1
2

a
i
1
i
2
i
3
... i
q
j
1
...j
p
(B) a
i
2
i
1
i
3
... i
q
j
1
...j
p
(B)

.
Notemos que como consecuencia de lo anterior
T
i
1
i
2
i
3
...i
q
j
1
...j
p
(B) = T
i
2
i
1
i
3
...i
q
j
1
...j
p
(B)
es decir, T es anti-simetrico con respecto al conjunto de ndices superiores 1, 2. En
particular,
T
i
1
i
2
i
3
...i
q
j
1
...j
p
(B) = 0 siempre que i
1
= i
2
.
Mas a un, si suponemos que / es un tensor anti-simetrico con respecto al conjunto de
ndices superiores 1, 2 entonces / = T.
Ejercicio 3.11. Probar que la alternacion del tensor / p-covariante y q-contravariante
con respecto al conjunto I (respectivamente J) es un tensor p-covariante y q-contravariante
sobre V.
Como conclusion del ejemplo anterior observamos que la alternacion de / con respecto
a I produce un tensor anti-simetrico con respecto al conjunto I. Mas a un, los tensores anti-
simetricos con respecto a I no cambian al alternarlos con respecto a I.
4. Tensores en espacios Eucldeos
Sea V un R-espacio vectorial, dim
R
(V) = n, con producto interno , ) : V V R
(espacio Eucldeo n-dimensional). Por supuesto, en este caso valen todas las considera-
ciones hechas hasta ahora. Veremos que en este caso los tensores tienen cierta propiedad
adicional.
Recordemos que entonces, el producto escalar es en este caso una forma bilineal simetri-
ca. Sea ( el tensor 2-covariante inducido por el producto escalar (pensado como f.b.) y
denotemos las coordenadas de ( mediante g
ij
(). Al tensor ( se lo llama tensor metrico
del espacio Eucldeo (V, , )).
10
Si u, w V son vectores y |, J son los tensores 1-contravariantes inducidos por u y
w respectivamente, con coordenadas u
i
(), w
i
() entonces se verica que
u, w) = u
i
(B) g
ij
(B) w
j
(B), para toda base B.
La contraccion del producto del tensor metrico con el tensor J cuyas coordenadas son
w
i
(B) = g
ij
(B) w
j
(B)
es un tensor univalente 1-covariante. Las coordenadas de este tensor son llamadas coor-
denadas covariantes del vector w V (a diferencia de sus coordenadas contravariantes -
usuales). Puesto que dada una base B = v
1
, . . . , v
n

w
i
(B) = g
ij
(B) w
j
(B) =
n

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

j=1
w
j
(B) v
j
) = v
i
, w)
vemos que las coordenadas covariantes de w son las proyecciones de w sobre los elementos
de la base B (donde hemos usado la identidad w =

n
j=1
w
j
(B) v
j
). As, en el caso par-
ticular de una base ortonormal (b.o.n.) B entonces se tiene w
j
(B) = w
j
(B) es decir, las
coordenadas covariantes y contravariantes coinciden.
Notemos que, por propiedad basica de un tensor, si B
1
, B
2
son bases de V entonces
g
ij
(B
1
) = g
k l
(B
2
) c
k
i
c
l
j
, 1 i, j n
donde M
B
2
, B
1
= (c
i
j
) es la matriz cambio de base. En particular, se verica la relacion
matricial
(g
ij
(B
1
))
n
i, j=1
= M
t
B
2
, B
1
(g
ij
(B
2
))
n
i, j=1
M
B
2
, B
1
.
Si B
1
es una base arbitraria y B
2
es una b.o.n. (que existe por ortogonalizacion de una
base arbitraria de V) entonces
(g
ij
(B
1
))
n
i, j=1
= M
t
B
2
, B
1
M
B
2
, B
1
ya que (g
ij
(B
2
))
n
i, j=1
es la matriz identidad. En particular, (g
ij
(B
1
))
n
i, j=1
es una matriz
inversible (pues es producto de matrices de cambio de base, que son inversibles).
En este caso, denimos el tensor 2-contravariante (

cuyas coordenadas estan dadas

por
g
ij
(B) = A
ij
, donde A = A(B) = ((g
ij
(B))
n
i, j=1
)
1
R
nn
es decir, la coordenada g
ij
(B) de (

es la entrada (i, j) de la matriz A (que depende de

B) inversa de la matriz (g
ij
(B))
n
i, j=1
.
Ejercicio 4.1. Probar que (

denido como antes es de hecho un tensor 2-contravariante

sobre V.
El tensor (

se llama tensor metrico contravariante. Notemos que entonces se tiene,

por construccion de (

la indentidad
g
ij
(B) g
jk
(B) =
i
j
(B) , g
jk
(B) g
ij
(B) =
i
j
(B)
donde
i
j
(B) denotas las coordenadas del tensor 1-variante 1-contravariante inducido por
el operador lineal identidad id[
V
L(V).
El paso de las coordenadas contravariantes del vector w a sus coordenadas covariantes
se llama operacion de descenso del ndice. Para elevar el ndice, es decir, pasar de sus
coordenadas covariantes a las contravariantes observamos que tomando la contraccion del
producto
g
ij
(B) w
j
(B) = g
ij
(B) g
jk
(B) w
k
(B) = w
i
(B)
se recuperan las coordenadas contravariantes a partir de las covariantes.
11
5. Apendice: la funci on signo
Sea I(n) = 1, . . . , n y consideremos S
n
= S
I(n)
el conjunto de las biyecciones (per-
mutaciones) de n elementos. Si S
n
(es decir, : I(n) I(n) es una funcion biyectiva)
construimos la matriz P

R
nn
dada por (P

)
ij
=
i (j)
, 1 i, j n.
Por ejemplo, si S
3
es la permutacion dada por (1) = 2, (2) = 3, (3) = 1
entonces la matriz P

es
P

0 1 0
0 0 1
1 0 0

.
A partir de la matriz P

denimos el signo de , notado sgn() mediante

sgn() = det(P

).
Un hecho fundamental es que para toda S
n
sgn() 1, 1
En caso del ejemplo anterior es facil ver que sgn() = 1. A partir de la denicion anterior
se puede ver que si , S
n
entonces
sgn( ) = sgn() sgn().
Hay otras formas posibles de denir esta funcion, que dependen de ciertas descomposi-
ciones de permutaciones.
6. Ejercicios
1. Considerar el tensor (1 1) (es decir, 1-covariante, 1-contravariante) cuyas coorde-
nadas en una base ja e
1
, e
2
, . . . , e
n
se determinan por

i
j
=

1, si i=j
0, si i ,= j
,
probar que las coordenadas del tensor
i
j
son las mismas en todos los sistemas de
coordenadas.
2. Dar un ejemplo de un tensor simetrico y de uno antisimetrico.
3. Mostrar que todo tensor (11) puede considerarse como el conjunto de los elementos
de la matriz de un operador lineal.
4. Contraer el tensor a
ij
klm
respecto de los ndices j y l, considerando n = 2. Detallar
los valores que se obtienen.
5. Mostrar que al contraer p veces un tensor de tipo (p p) se obtiene como resultado
un escalar (invariante).
6. Sea el tensor a
ij
(que determina una forma bilineal A(x, y)). Analizar que se ob-
tiene al contraer este tensor con un par de vectores x = (x
1
, x
2
, . . . , x
n
) e y =
(y
1
, y
2
, . . . , y
n
).
7. Sea un tensor de tipo (1 2) a
ij
k
.
a) Analizar que tipo de tensor se obtiene al contraerlo con un tensor metrico g
pj
.
b) Y al contraerlo con un tensor metrico de tipo g
qk
?
12
Referencias
[1] L.I. Golovina, Algebra Lineal y algunas de sus aplicaciones, Editorial M.I.R., Mosc u,
1974.
13