ALGEBRA LINEAL Y GEOMETRIA

TEMA 4: Aplicaciones Multilineales y Tensores

Convenios previos. En adelante, K denotara un cuerpo conmutativo. Tpicamente, se puede suponer que K es el cuerpo R de los n
umeros reales o el cuerpo C de los
complejos. No obstante, la u
nica restriccion adicional que en alg
un momento necesitaremos para los cuerpos conmutativos, sera que tengan caracterstica distinta de dos
(esto es, que verifiquen 1 + 1 6= 0, lo que excluye, por ejemplo, a Z/2Z); en este caso,
lo se
nalaremos explcitamente.
V (K) denotara un espacio vectorial sobre K. Aunque las definiciones generales seran
validas para espacios de cualquier dimension, cuando se trabaje con bases la dimension
sera finita n N, excepto que se expecifique lo contrario.

Previos: repaso y notaci

on sobre el espacio dual
El objetivo de esta seccion es doble. En primer lugar, se hace un repaso de algunos
elementos del espacio dual que seran u
tiles para estudiar los tensores. En segundo,
introduciremos la notacion de ndices arriba y abajo que resultara muy conveniente
para el estudio sistematico de tensores arbitrarios.
(1) Concepto de dual algebraico. Sea V (K) un espacio vectorial de dimension n
sobre K. Se define el espacio dual V (K) de V (K) como:
V (K) := (L(V, K) =){ : V K : lineal}.
A cada elemento del dual V (K) se le llama forma lineal. El espacio dual V (K),
dotado de sus operaciones naturales, es un espacio vectorial de dimension n(= dim V
dim K). Si fijamos una base ordenada B = (v1 , . . . , vn ) de V (K) y tomamos {1} como
base de K(K) entonces para cada V (K) podemos calcular la matriz de la aplicacion
expresada en dichas bases M (, B, {1})( M
{1} B)), matriz que resulta ser
P(,
n
igual a ((v1 ) . . . (vn )). De esta forma, si v = i=1 ai vi V entonces

1
a
n
X

(v) =
(vi )ai = ((v1 ) . . . (vn )) ...
i=1
an

a1

= M (, {1} B) ... K.
an
(2) Base dual. Consideremos los espacios vectoriales V (K), V (K) y fijemos una base
B = (v1 , . . . , vn ) de V (K). Es conocido el siguiente resultado:
1

Teorema 0.1 Existe una u

nica base B = (1 , . . . , n ) de V (K) que verifica
i (vj ) = ji

(donde ji es la delta de Kronecker).

i, j {1, . . . , n},

A esta base B se la llama base dual de la base B. Ademas, para los elementos de esta
base se tiene
M (1 , {1} B) = (1, 0, . . . , 0)
..
..
.
.
M (n , {1} B) = (0, 0, . . . , 1).
Fijada
y su base dual B = (1 , . . . , n ) se verifica j (v) =
Pn la ibase BP=n (v1i, .j. . , vn ) P
j
( i=1 a vi ) = i=1 a (vi ) = ni=1 ai ij = aj . Esto es,
v = 1 (v)v1 + + n (v)vn =

n
X

i (v)vi ,

v V.

i=1

Analogamente, si V y =

Pn

i
i=1 bi

entonces (vj ) =
n

= (v1 ) + + (vn ) =

n
X

Pn

(vi )i ,

i
i=1 bi j

= bj . Esto es,

V .

(1)

i=1

v1 , . . . , vn ) dos bases de V (K)

(3) Cambio de base dual. Sean B = (v1 , . . . , vn ), B = (
1
n

1
n
y B = ( , . . . , ), B = ( , . . . , ) sus respectivas bases duales. Supongamos que
vj =

n
X

ai j v i ,

j {1, . . . , n}

(2)

i=1

es decir,

a11 . . . a1n

(3)
M (IdV , B B) = (ai j )i,j = ... . . . ... .
n
n
a 1 ... a n
P
P
P
Entonces, si v V y v = ni=1 ai vi = nj=1 aj v j se tiene ai = ni=1 ai j aj . Esto es,

a1
..

. = M (IdV , B B)
an

a1
.. .
.
an

Comprobemos a continuacion que

M (IdV , B B ) = M (IdV , B B)t .

(4)
P
Observese que, si escribimos k = nj=1 bjk j entonces los elementos de la matriz (bjk )

seran los de la matriz M (Id, , B B ), pero el ndice superior indicara ahora columna
y no fila (como en (ai j )). As, (4) se sigue de bjk = k (
vj ) = akj (la primera igualdad
por (1)).
P
P
j
Como consecuencia de (4), si = ni=1 bi i = nj=1 bj se tiene
bj =

n
X
i=1

ai j b i ,

(o bien, directamente, bj = (v j ) =

Pn

i=1

ai j (vi ) =

Pn

i=1

ai j bi ).

n de una aplicacio
n lineal. Sean V (K), V 0 (K) dos espacios vec(4) Trasposicio
toriales y f : V V 0 una aplicacion lineal entre ellos. Para cada 0 V 0 (K) podemos
definir la aplicacion 0 f : V K. Como 0 f es una composicion de aplicaciones
lineales se tiene que 0 f es tambien lineal y, por tanto, 0 f V (K).
Definici
on 0.2 Definimos la aplicacion traspuesta f t de la aplicacion lineal f : V
V 0 como la aplicacion
f t : V 0 V
0 7 f t (0 ) := 0 f.
Se tiene entonces el siguiente resultado:
Teorema 0.3 La aplicacion traspuesta f t de una aplicacion lineal f : V V 0 verifica:
(i) Es lineal.
(ii) Si B y B 0 son bases de V y V 0 , respectivamente, entonces
M (f t , B B 0 ) = M (f, B 0 B)t .
(iii) La aplicacion trasposicion
t : L(V, V 0 ) L(V 0 , V )
f 7 f t
es lineal. De hecho, es un isomorfismo de espacios vectoriales.
(5) Teorema de reflexividad. Como una nota previa, sobre todas las cuestiones
relativas al teorema de reflexividad la dimension n de V (K) se considerara finita,
Sean V (K) y V (K) un espacio vectorial y su dual, respectivamente. Podemos considerar el dual de V (K), o bidual de V (K): V (K) = (V (K)) . Estos tres espacios
vectoriales tienen igual dimension y, por tanto, son isomorfos. Sin embargo, mientras
que no existe ning
un isomorfismo canonico general entre V (K) y V (K), s podemos
definir uno entre V (K) y V (K). Ello, en la practica, equivale a considerar ambos
espacios como iguales.
Concretamente, fijado un vector v V definimos la aplicacion
v : V K
7 (v)
que es lineal y, por tanto, pertenece al bidual V (K). No es difcil demostrar el siguiente
resultado:
Teorema 0.4 (de Reflexividad). La aplicacion
: V V
v 7 v
es un isomorfismo de espacios vectoriales.

Otro modo de construir este isomorfismo es el siguiente (pruebese como ejercicio). Sean
B, B dos bases de V (K). Existe un u
nico isomorfismo F : V V que, de manera
ordenada, aplica B en B . Analogamente, existe un u
nico isomorfismo G : V V

que aplica B en B . Con B obtenemos analogamente isomorfismos F , G. En general,

F 6= F y G 6= G. Sin embargo, G F = G F , y ambos coinciden con el isomorfismo
que proporciona el Teorema de Reflexividad.
Una consecuencia inmediata del Teorema de Reflexividad es que cualquier base
0
B = (1 , . . . , n ) de V (K) es la base dual de una u
nica base B de V (K). En efecto,
0
si tomamos la base dual de B , podemos escribir B 0 = (v1 , . . . , vn ) donde B =
(v1 , . . . , vn ) es una base de V (K). Entonces, se comprueba facilmente que B = B 0 .

1.

Concepto de aplicaci
on multilineal y tensor

Definici
on 1.1 Sean V1 , . . . , Vm , W espacios vectoriales sobre un mismo cuerpo K. Una
aplicacion
F : V1 Vm W
se dice multilineal cuando es lineal en cada una de sus m variables, esto es, se verifica:
F (w1 , . . . , wi1 , awi + bwi , wi+1 , . . . , wm ) =
= aF (w1 , . . . , wi1 , wi , wi+1 , . . . , wm ) + bF (w1 , . . . , wi1 , wi , wi+1 , . . . , wm )
para todo wj Vj , j {1, . . . , m}, wi Vi , a, b K y para todo i {1, . . . , m}.
En particular, sea V (K) un espacio vectorial de dimensi
on finita n N. Un tensor


s
r veces covariante y s veces contravariante (o tipo r ) sobre V (K) es una aplicacion
aplicacion multilineal con el siguiente dominio y codominio:
T : V (r) V V . . .(s) V K
(u1 , . . . , ur , 1 , . . . , s )
7 T (u1 , . . . , ur , 1 , . . . , s )


Denotaremos por Trs (V ) al conjunto de los tensores tipo rs sobre V (K). De manera natural se puede definir en este conjunto una suma y un producto por escalares.
Concretamente,
(1) si T, T 0 Trs (V ) su suma T + T 0 se define por:
(T + T 0 )(u1 , . . . , ur , 1 , . . . , s ) =
T (u1 , . . . , ur , 1 , . . . , s ) + T 0 (u1 , . . . , ur , 1 , . . . , s );
(2) si T Trs (V ), a K el producto escalar a T de a por T se define por:
(a T )(u1 , . . . , ur , 1 , . . . , s ) = a T (u1 , . . . , ur , 1 , . . . , s ).
(siempre para cualesquiera u1 , . . . , ur V, 1 , . . . , s V ).
De hecho, es un ejercicio mecanico comprobar que las aplicaciones T + T 0 y a T son
multilineales y, por tanto, T + T 0 , a T Trs (V ). Analogamente, es directo comprobar
que estas operaciones generan una estructura de espacio vectorial, siendo el 0 de este
espacio el tensor nulo T0 definido por T0 ((u1 , . . . , ur , 1 , . . . , s ) = 0. En resumen:
Proposici
on 1.2 (Trs (V ), +, K) tiene estructura de espacio vectorial, que sera denotado simplemente como Trs (V ).
4

Ejemplos:
(1) Claramente, T10 (V ) = V y T01 (V ) = V . Ahora bien, puesto que por el Teorema
de Reflexividad podemos identificar V con el propio V , podemos considerar
T01 (V ) = V . Esto es, un vector v V se identificar con el tensor 1-contravariante:
v :V K
7 (v).
(2) El producto escalar elemental en Rn (R), (~u, ~v ) 7 ~u ~v (o, con mas generalidad, las
metricas que se veran mas adelante) son tensores 2-covariantes. Analogamente,
el producto vectorial sobre R3 (R) de la geometra elemental (visto como una
aplicacion R3 R3 R3 , (~u, ~v ) 7 ~u ~v ) es una aplicacion multilineal.
(3) Consideremos la aplicacion det : Rn (n) Rn R definida por



 a11 . . . a1n 
a11
a1n


..
..
 .. . .

.
.
( . , . . . , . ) 7  .
. . .


 an1 . . . ann 
an1
ann
Es directo comprobar que det Tn0 (Rn ).
(4) Sea f : V V un endomorfismo de espacios vectoriales y consideremos la aplicacion
Tf : V V R
(5)
(u, ) 7 (f (u)).
Se demuestra facilmente que Tf T11 (V ).
Observaci
on 1.3 Definimos por completitud, T00 (V ) = K. As, se puede considerar
que el concepto de tensor incluye simultaneamente los de escalar (por este convenio),
vector y forma lineal (por el ejemplo (1)). Mas a
un, posteriormente se comprobara que
1
la aplicacion End(V ) T1 (V ), f 7 Tf (con Tf definido en el ejemplo (4)) es un
isomorfismo de espacios vectoriales. De este modo, tambien los endomorfismos podran
verse como casos particulares de tensores.
En adelante simplificaremos la notacion escribiendo, por ejemplo, V r (V )s en
lugar de V (r) V V . . .(s) V .

2.

Producto tensorial

El producto tensorial resultara u
til para estudiar tensores tipo rs a partir de tensores de tipo inferior
en r o s. El objetivo

final sera poder estudiar todos los tensores a


0
1
partir de los 1 (formas lineales) y 0 (vectores).
0

Definici
on 2.1 Sean T Trs (V ) y T 0 Trs0 (V ). Se define el producto tensorial de T
0
por T como
0

T T 0 : V r+r (V )s+s R
0
0
((u1 , . . . , ur+r0 ), (1 , . . . , s+s )) 7 T T 0 (u1 , . . . , ur+r0 , 1 , . . . , s+s ),
siendo

T T 0 (u1 , . . . , ur+r0 , 1 , . . . , s+s ) =

0
= T (u1 , . . . , ur , 1 , . . . , s ) T 0 (ur+1 , . . . , ur+r0 , s+1 , . . . , s+s ).
5

Propiedades. Se comprueba facilmente:

0

s+s
(1) T T 0 es multilineal y, por tanto, T T 0 Tr+r
0 (V ).

(2) La operacion producto tensorial es lineal en cada variable, en el sentido:

(aT + bT ) T 0 = a(T T 0 ) + b(T T 0 )
0
0
T (aT 0 + bT ) = a(T T 0 ) + b(T T )
0

para todo T, T Trs (V ) y T 0 , T Trs0 (V ).

(3) La operacion producto tensorial es asociativa (aunque no conmutativa).

3.
3.1.

r
e

Tensores tipo

con r + s = 2

Tensores 2-covariantes

Consideremos en primer lugar el espacio vectorial T20 (V ). Acabamos de ver que si

, V (= T10 (V )) entonces T20 (V ), siendo
( )(v, w) = (v) (w),

v, w V.

Consideremos fijada una base B = (v1 , . . . , vn ) de V , y su correspondiente base dual

B = (1 , . . . , n ). Nuestro objetivo sera demostrar que una base de T20 (V ) es el conjunto de todos los productos tensoriales de elementos de B , esto es
B20 = {i j : i, j {1, . . . , n}}.
Lema 3.1 Si T =
{1, . . . , n}.

Pn

i
i,j=1 tij

j T20 (V ) entonces tkl = T (vk , vl ) para todo k, l

Demostracion. Basta con aplicar las definiciones para obtener:

T (vk , vl ) =

n
X

tij ( )(vk , vl ) =

i,j=1

n
X

tij ki lj = tkl . 2

i,j=1

Teorema 3.2 El conjunto B20 es una base del espacio T20 (V ).

un, la coordenada tkl de un tensor T T20 (V )
En consecuencia, dim T20 = n2 . Mas a
0
en la base B2 coincide con T (vk , vl ).
Demostraci
on. En primer lugar veamos que B20 es linealmente independiente. En efecto,
Pn
si i,j=1 tij i j = T0 (tensor nulo) entonces, por el Lema 3.1,
i, j {1, . . . , n}.

tij = T0 (vi , vj ) = 0,

Para demostrar que B20 es P

un sistema de generadores basta comprobar que para todo
n
0
i
j
T T (V ) se tiene T =
i,j=1 tij , siendo tij = T (vi , vj ). En efecto, si u =
Pn 2i
Pn j
i=1 a vi , v =
j=1 b vj entonces
n
n
n
X
X
X
T (u, v) = T (
ai v i ,
bj v j ) =
T (vi , vj )ai bj
i=1

j=1

i,j=1

n
X

tij ai bj =

i,j=1

n
X

!
tij i j

(u, v)

i,j=1

Por u
ltimo, la cuestion sobre la dimension es inmediata, y la afirmacion final se sigue
del Lema 3.1. 2
Observaci
on. Las coordenadas tij de T en B20 se

T (v1 , v1 )

..
MB (T ) = (tij )i,j =
.

pueden escribir de modo matricial

. . . T (v1 , vn )

..
...
.
.
T (vn , v1 ) . . . T (vn , vn )

Por tanto, si u =

Pn

i=1

ai v i , v =

Pn

j=1

bj vj entonces:

b1

T (u, v) = (a1 , . . . , an )MB (T ) ... .

bn


Observaci
on. Todos los tensores tipo 02 se pueden escribir como productos tensoriales
del tipo o sumas finitas de ellos. Esto lleva a usar a veces la notacion T20 (V ) =
V V (producto directo de V por V ).
Ejercicio. Sea B = (1 , . . . , n ) una base de V con n 2. Pruebese que no existen
, V tales que = 1 2 + 2 1 .
= (
Estudiemos a continuacion que sucede cuando tomamos otra base B
v1 , . . . , vn )

1
n

con base dual B = ( , . . . , ), y construimos la correspondiente base

20 = {i j : i, j {1, . . . , n}}.
B
de T20 (V ). Consistentemente con las formulas (2) y (3), escribimos vj =
donde los escalares ai j definen la matriz M (IdV , B B).

Pn

i=1

ai j vi

Teorema 3.3 Sea T T20 (V ) y tomemos sus coordenadas (tij )i,j y (tk,l )kl de T en B20
0 resp., esto es:
yB
2
n
n
X
X
i
j
T =
tij =
tkl k l
i,j=1

k,l=1

Entonces:
tkl =

n
X

ai k ajl tij ,

i,j=1

o, matricialmente, poniendo P = M (IdV , B B):

MB (T ) = P t MB (T ) P.
Demostracion. (En adelante, el rango de variacion de los ndices es siempre 1, . . . , n.)
Simplemente, tengase en cuenta:
X
X j
X
tkl = T (
vk , vl ) = T (
ai k vi ,
a l vj ) =
ai k ajl T (vi , vj )
i

i,j

donde se sabe que T (vi , vj ) = tij . Finalmente, para obtener

la forma
matricial P t


P
P
j
(MB (T ) P ), reagr
upese la u
ltima expresion como i ai k
j tij a l . 2
7

3.2.

Tensores 2-contravariantes

Un desarrollo analogo al que hemos hecho para T20 (V ) se puede llevar a cabo para
T02 (V ). As, dados dos vectores u, v V ( T01 (V )) ahora tambien podemos considerar
su producto tensorial:
uv :VV R
(, ) 7 (u) (v).
En consecuencia, fijada una base B = (v1 , . . . , vn ) de V y su correspondiente base dual
B = (1 , . . . , n ), podemos construir el conjunto B02 = {vi vj : i, j {1, . . . , n}} de
manera que se verifica:
P
Lema 3.4 Si T = ni,j=1 tij vi vj entonces tkl = T (k , l ).
Teorema 3.5 El conjunto B02 es una base del espacio T02 (V ).
un, la coordenada tkl de un tensor T en la
En consecuencia, dim T02 (V ) = n2 . Mas a
k
l
2
base B0 coincide con T ( , ).
Observaci
on. Se suele usar tambien la notacion T02 (V ) V V (producto directo de
V por V ).
Para
P estudiar el cambio de coordenadas al tomar dos bases B, B, recordemos que si
v j = i ai j vi (consistentemente con (2)), entonces las bases duales B = (1 , . . . , n ),

B = ( , . . . , ) verifican (ai j )i,j = M (IdV , B B )t , esto es:

i =

n
X

ai j ,

i {1, . . . , n}

j=1

por lo que llamando bi j a los elementos de la matriz inversa de los ai j (esto es, (bi j )i,j =

M (IdV , B B )t ) se tiene:
i

n
X

bi j j ,

i {1, . . . , n}

(6)

j=1

Razonando ahora como en el caso 2-covariante se tiene:

Teorema 3.6 Sea T T02 (V ) y tomemos sus coordenadas (tij )i,j y (tkl )k,l de T en B02
2 resp., esto es:
yB
0
n
n
X
X
ij
T =
t vi vj =
tkl vk vl
i,j=1

k,l=1

Entonces:
tkl =

n
X

bki bl j tij ,

i,j=1

o, matricialmente, manteniendo P = M (IdV , B B):

MB (T ) = P 1 MB (T ) (P 1 )t .
Demostracion. Se tiene ahora:
X
X
X


tkl = T k , l = T (
bki i ,
bl j j ) =
bki bl j tij
i

i,j

Para la forma matricial, reagr

upese la u
ltima expresion, p. ej.:
8

P P
j

bki tij bl j . 2

3.3.

Tensores 1-covariantes, 1-contravariantes

Finalmente, consideremos el espacio vectorial T11 (V ). Dados V y u V podemos considerar su producto tenssorial
u:V V R
(v, ) 7 (v) (u).
Observaci
on. Seg
un la definicion general de producto tensorial que estamos considerando, se verifica u = u, por lo que se pueden considerara indistintamente ambas
expresiones.
se
Nuestro objetivo sera comprobar nuevamente que, fijada una base B y su dual B
tiene entonces que
B11 = {j vi (= vi j ) : i, j {1, . . . , n}}
es una base, as como estudiar cambios de base. Para ellos, repasamos pasos analogos
a los de los tensores 2-covariantes y 2-contravariantes, que se pueden completar como
ejercicio.
P
Lema 3.7 Si T = ni,j=1 ti j j vi entonces tl k = T (vk , l ).
Observaci
on. Notese que la notacion ti j no tiene que ver con que los ndices i y j
aparezcan antes o despues (mas a la izquierda o a la derecha) en la expresion j vi ,
puesto que esta expresion es equivalente a vi j .
Teorema 3.8 El conjunto B11 es una base del espacio T11 (V ).
En consecuencia, dim T11 = n2 . Mas a
un, la coordenada tl k de un tensor T correspondiente al elemento l vk de la base B11 coincide con T (vl , k ).
Observaci
on. Este resultado justifica las notaciones V V o bien V V (productos
directos) para T11 (V ).
Para el cambio entre bases B y B se tiene:
Teorema 3.9 Sea T T11 (V ) y tomemos sus coordenadas (ti j )i,j y (tkl )k,l de T en B11
11 resp., esto es:
yB
n
n
X
X
T =
ti j j vi =
tkl l vk
i,j=1

k,l=1

Entonces:
tkl =

n
X

ajl bki ti j ,

i,j=1

o, matricialmente, manteniendo P = M (IdV , B B):

MB (T ) = P 1 MB (T ) P.
Demostracion. El resultado se sigue de:
X j
X
X j
X


tkl = T vl , k = T (
a l vj ,
bki i ) =
a l bki T (vj , i ) =
bki ti j ajl .
j

i,j

i,j

Definici
on 3.10 Dos matrices A, C Mn (K) se dicen congruentes (resp. semejantes)
cuando existe una matriz regular P tal que
C = P A Pt

(resp.

C = P A P 1 )

Del estudio hecho se deduce facilmente que, si

(resp. semejantes)

Ay

C son congruentes


0
2
1
y A = MB (T ) para alg
un tensor T que sea 2 o 0 (resp. 1 ) y alguna base B, entonces
tal que C = MB (T ).
existe una segunda base B
9

3.3.1.

Relaci
on con los endomorfismos

Del estudio anterior, se sabe que la dimension de cualquier espacio de tensores rs
con r+s = 2 es n2 . En consecuencia, estos espacios son isomorfos a al espacio End(V

) de
1
todos los endomorfismos de V (K). Una propiedad particular
de
los
tensores
es que
1


1
existe un isomorfismo canonico entre los tensores 1 y End(V ), en un sentido similar
al de la existencia de un isomorfismo canonico entre V y V , proporcionado por el
Teorema de Reflexividad.


Recordemos que para cada endomorfismo f se definion en (5) un tensor 11 mediante
Tf (v, ) := (f (v)).
Teorema 3.11 La aplicacion
End(V ) T11 (V )
f 7 Tf
es un isomorfismo de espacios vectoriales. Ademas, se verifica
MB (Tf ) = M (f, B)
para cualquier base B de V .
Demostracion. Es facil comprobar que Taf +bf = aTf + bTf para todo a, b K y
f, f End(V ), lo que demuestra la linealidad. La inyectividad se sigue de que si Tf = T0
(tensor nulo) entonces, escogido v V , se tiene:
V ,

0 = T0 (v, ) = Tf (v, )) = (f (v)),

lo que implica que f (v) = 0 y, al ser v arbitrario, f es el endomorfismo nulo. Como

End(V ) y T11 tienen la misma dimension, esto prueba que la aplicacion es un isomorfismo. Sobre las bases, poniendo (ti j )i,j = MB (Tf ) y (ai j )i,j = M (f, B) se sigue:
X
X
akj i (vk ) = ai j .
akj vk ) =
ti j = Tf (vj , i ) = i (f (vj )) = i (
k

4.
4.1.

Tensores tipo

s
r

Bases y propiedades generales

Consideremos r formas lineales 1 , . . . , r en V y s vectores u1 , . . . , us en V . Usando

la asociatividad de puede escribirse inequvocamente 1 r u1 us
Trs (V ). Explcitamente,
1 r u1 us : V r (V )s R
(w1 , . . . , wr , 1 , . . . , s ) 7 1 (w1 ) r (wr ) 1 (u1 ) s (us ).
Para construir una base de Trs (V ) consideramos una base B = (v1 , . . . , vn ) de V y su
base dual B = (1 , . . . , n ) de V . Definimos entonces
Brs = {i1 ir vj1 vjs : i1 , . . . , ir , j1 , . . . , js {1, . . . , n}}.
Argumentos analogos a los del caso r + s = 2 permiten demostrar:
10

Lema 4.1 Si T Trs (V ) satisface

T =

n
X

j1
jr
s
tij11...i
...jr vi1 vis

i1 ,...,js =1
...ks
= T (vl1 , . . . , vlr , k1 , . . . , ks ).
entonces tkl11...l
r

Teorema 4.2 Brs es una base de Trs (V ).

1
s
s
En consecuencia, dim Trs (V ) = nr+s . Mas a
un la coordenada tij11...i
...jr de T en Br
coincide con T (vj1 , . . . , vjr , i1 , . . . , is ).
Para el cambio entre bases B y B se tiene:
s
s
s
k1 ...ks
Teorema 4.3 Sea T Trs (V ) y tomemos sus coordenadas tij11...i
...jr y tl1 ...lr T en Br y Br
resp., esto es:
Pn
T =
ti1 ...isr j1 jr vi1 vis
Pin1 ,...,js =1 jk11...j
lr k vks
...ks l1
=
1
k1 ,...,ls =1 tl1 ...lr v

Entonces:
...ks
=
tkl11...l
r

n
X

s
aj1l1 . . . ajrlr bki11 . . . bkiss tij11...i
...jr

i1 ,...,js =1

4.2.

Contracci
on tensorial

P
Recordemos que la traza de f es la suma i ai i de los elementos diagonales de la
matriz M (f, B), y que resulta independiente de la base escogida B.

Debido a la relacion
estudiada en el Teorema 3.11 entre endomorfismos y tensores 11 , se puede definir una
traza para estos tensores, sin mas que asignar a cada T T11 (V ) la traza del u
nico
endomorfismo f tal que Tf = T . De hecho, si B = (v1 , . . . , vn ) es una base de V y
B = (1 , . . . , n ) su base dual:
traza Tf := traza f =

n
X

(f (vi )) =

i=1

n
X

Tf (vi , i ),

i=1

Esto se puede hacer tambien directamente sin hacer mencion a los endomorfismos:
Proposici
on 4.4 Sea T T11 (V ), B una base y MB (T ) = (T (vi , j ))i,j . El valor de
C11 (T )

:=

n
X

T (vi , i ) (= traza(MB (T ))

i=1

es independiente de la base B escogida.

se tiene:
Demostracion. Para cualquier otra base B




traza(MB (T )) = traza (P 1 MB (T )) P = traza P.(P 1 MB (T )) = traza(MB (T )).


1
se obtiene la
Esta proposicion puede interpretarse
como
sigue.
Dado
un
tensor
1


0
1
contraccion C1 (T ) que

es un tensor 0 . Tal construccion se puede generalizar a cualquier
tensor T que sea rs con r, s 1, sin mas que tener en cuenta la siguiente observacion.
Si fijamos los argumentos de todas las variables de T
salvo la j-esima covariante y la
i-esima contravariante, entonces se tiene un tensor 11 que se puede contraer en esas
variables. Ello asegura la consistencia de la siguiente definicion.
s
Abusando del lenguaje se dir
a que los escalares tij11,...,i
,...,jr son las coordenadas de T en B (en lugar
s
de en Br ).

11

Definici
on 4.5 Sea T Trs (V ) con r, s 1 y escojamos j {1, . . . , r}, i {1, . . . , s}.
La contraccion de T con respecto a la j-esima variable covariante y la i-esima contras1
(V ) definido por:
variante es el tensor Cji (T ) Tr1
1
sa
Cji (T ) (u
P1n, . . . , ur1 , , . . . , ) =
1
i1
=
, k , i , . . . , s1 )
k=i T (u1 , . . . , uji , vk , uj , . . . ur1 , , . . . ,
u1 , . . . , ur1 V,
1 , . . . , s1 V

donde B = (v1 , . . . , vn ) es cualquier base de V y B = (1 , . . . , n ) su base dual.

Ejercicio. Se considera el espacio vectorial P2 (R) de todos los tensores de grado 2,
= (1 + x, 1 x, x2 ).
sea B0 = (1, x, x2 ) su base usual y B
(A) Se define la aplicacion:
T : P2 (R) P2 (R) P2 (R) R
(p1 , p2 , ) 7 p1 (1)(p2 )
1. Demostrar que T es un tensor y calcular sus coordenadas en las bases de tensores

apropiadas generadas a partir de las bases B0 y B.

2. Se puede escribir T como producto tensorial de dos tensores?
3. Calcular C11 (T ), C21 (T ) y sus coordenadas en las bases de tensores generadas por

B y B.
R1
(B) Se considera la forma lineal P2 (R) dada por (p) = 0 p(x)dx para todo
p P2 (R), y la aplicacion
T : P2 (R) P2 (R) R
(p, ) 7 (p0 )
donde p0 denota la derivada de p.
1. Demostrar que T es un tensor y calcular las coordenadas de T en las bases

de tensores generadas a partir de las bases B0 y B.

2. Calcular C11 (T ), C21 (T ) y C11 ( T ), as como sus coordenadas en las
bases de tensores generada por B0 .

5.
5.1.

Tensores sim
etricos y antisim
etricos
Caso de tensores 2-covariantes

Definici
on 5.1 (1) Diremos que un tensor T T20 (V ) es simetrico si T (v, w) =
T (w, v), v, w V . Denotaremos por T2S (V ) al conjunto de todos los tensores simetricos sobre V .
(2) Diremos que un tensor T T20 (V ) es antisimetrico si T (v, w) = T (w, v),
v, w V . Denotaremos por T2A (V ) al conjunto de todos los tensores antisimetricos
sobre V .

12



Observaciones. (1) En caso de
tensores tipo 20 se puede dar una definicion analoga;
en cambio, para tensores tipo 11 esto no tiene sentido.
(2) Diremos que T T20 (V ) es alternado si T (v, v) = 0 para todo v V . Es
facil comprobar que todo tensor alternado es antisimetrico (0 = T (v + w, v + w) =
T (v, v) + T (v, w) + T (w, v) + T (w, w) = T (v, w) + T (w, v)) y que el recproco es cierto si
la caracterstica del cuerpo K es distinta de dos (si T es antisimetico, T (v, v) = T (v, v)
lo que implica 2T (v, v) = 0 donde 2:=1+1 y 1 es la unidad de K). En adelante, se
supondr
a siempre que la caracterstica del cuerpo es distinta de 2.
Proposici
on 5.2 T2S (V ) y T2A (V ) son subespacios vectoriales de T20 (V ). Ademas:
T20 (V ) = T2S (V ) T2S (V )
Demostracion. Es inmediato comprobar que son subespacios vectoriales y que T2S (V )
T2S (V ) = {0}. Para la expresion como suma, observese que 2T = T S + T A con T S
T2S (V ), T A T2A (V ) definidos por T S (v, w) = T (v, w) + T (w, v), T A (v, w) = T (v, w)
T (w, v) para todo v, w V . 2
Proposici
on 5.3 Sea T T20 (V ). Son equivalentes:
(i) T es simetrico (resp. antisimetrico).
(ii) Existe una base B = (v1 , . . . , vn ) de V tal que T (vi , vj ) = T (vj , vi ) (resp. T (vi , vj ) =
T (vj , vi )), i, j {1, . . . , n}.
(iii) Cualquier base verifica la propiedad (ii).
Demostracion. Las implicaciones
y (iii) (ii) son triviales. Para (ii) (i)
P (i) (iii) P
tengase en cuenta que si v = ni=1 ai vi w = nj=1 bj vj entonces:
!
n
n
X
X
T (v, w) = T
ai vi ,
bj vj
i=1

n
X
i,j=1

i j

a b T (vi , vj ) =

n
X

j=1

ai bj T (vj , vi ) = T (y, x). 2

i,j=1

Definici
on 5.4 Para cada T T20 (V ) se define su tensor traspuesto T t : V V K
por:
T t (v, w) = T (w, v)
v, w V.
Resulta inmediato demostrar las siguientes propiedades.
Proposici
on 5.5 T t es un tensor 2-covariante y se verifica:
(a) T es simetrico (resp. antisimetrico) si y solo si T = T t (resp. T = T t ).
(b) Para cualquier T T20 (V ), el tensor T + T t es simetrico (resp. T T t es
antisimetrico).
(c) La aplicacion trasposicion
t : T20 (V ) T20 (V )

T 7 T t

es lineal, verifica t t = IdT20 (V ) (aplicacion identidad) y sus subsespacios propios son

V1 = T2S (V ), V1 = T2A (V ).
13

Resulta incomediato comprobar que si , V entonces el tensor + es

simetrico mientras que el tensor es antisimetrico.
Definici
on 5.6 Si , V se define su producto exterior como el tensor antisimetrico = y su producto simetrizado como s = .
Construyamos a continuacion bases de tensores simetricos y antisimetricos a partir de
una B = (1 , . . . , n ) de V . Definimos entonces los conjuntos
B2S = {i s j = i j + j i : 1 i < j n} {i i : 1 i n},
B2A = {i j = i j j i : 1 < i < j < n}
Teorema 5.7 B2S y B2A son bases de los espacios T2S (V ) y T2A (V ), respectivamente.
Por tanto, la dimension de T2S (V ) es n(n + 1)/2 y la de T2A (V ) es n(n 1)/2.
Observaci
on. El conjunto {i s j = i j + j i : 1 i j n} forma
tambien una base de que difiere de B2S solo en que cada elemento i i de esta base
se reemplaza por 2i i .

6.

Estudio especial de tensores antisim

etricos

En esta seccion estudiaremos tensores antisimetricos, extendiendo nuestro estudio

de los 2-covariantes a r-covariantes. Un estudio de los simetricos podra hacerse de
manera similar. No obstante, nos centraremos en el caso antisimetrico por el especial
interes a posteriori del caso r = n.

Repaso sobre el grupo de permutaciones

Definici
on 6.1 Sea S(r) = {1, 2, . . . , r} N. Llamaremos permutacion de S(r) (o
de r elementos) a toda aplicacion biyectiva : S(r) S(r). Al conjunto de todas las
permutaciones de S(r) lo denotaremos por Sr .
Propiedades b
asicas:
(1) El conjunto de las permutaciones Sr junto con la operacion de composicion tiene
estructura de grupo abeliano. Ademas, su cardinal es r!
(2) Toda permutacion Sr se puede escribir como composicion de trasposiciones,
esto es, permutaciones que actuan sobre S(r) u
nicamente intercambiando dos de
sus elementos (dos ndices).
(3) Aunque, existen muchas maneras de escribir una misma permutacion como
composicion de trasposiciones, se puede escoger un modo canonico tomando un
n
umero [] de trasposiciones de ndices contiguos, de modo que se vayan reordenando los ndices de menor a mayor.
(4) Fijada una permutacion , cuando se escriba de dos maneras distintas como composicion de trasposiciones, el n
umero de trasposiciones necesarias de cada una de
las dos maneras tendra siempre la misma paridad, esto es, o bien se requerira un
n
umero par de permutaciones en ambos casos o bien un n
umero impar.
(5) Se define entonces la signatura de como sig() := (1)[] . La permutacion se
dice par (resp. impar) si sig() = 1 (resp. sig() = 1).
(6) La aplicacion sig : Sr {1, 1} es un homomorfismo de grupos.
14

6.1.

Tensores antisim
etricos r covariantes

Definici
on 6.2 Diremos que un tensor r-covariante T Tr0 (V ) es antisimetrico si
verifica:
T (y1 , . . . , yi , . . . , yj , . . . , yr ) = T (y1 , . . . , yj , . . . , yi , . . . , yr )
1 i < j r, para todo y1 , . . . , yr V , esto es, si T es antisimetrico respecto a
cualquier par (i, j), i < j de sus variables.
Es directo comprobar que el conjunto de todos los tensores r-covariantes es un subespacio vectorial de Tr0 (V ), que se denotara indistintamente r (V ) o r (V ). Esta notacion
incluye 1 1(V ) = V y 0 (V ) = R.
Proposici
on 6.3 Sea T r (V ). Si el conjunto de r vectores (posiblemente repetidos)
{w1 , . . . , wr } V es linealmente dependiente entonces T (w1 , . . . , wr ) = 0.
P
i
Demostracion. Sin perdida de generalidad, se puede suponer que wr = r1
i1 a wi y por
tanto
r1
r1
X
X
i
T (w1 , . . . , wr ) = T (w1 , . . . ,
a wi ) =
ai T (w1 , . . . , wi ) = 0,
i=1

i=1

la u
ltima igualdad porque, al ser T antisimetrico, tambien es alternado respecto a cada
par de ndices (i, r) (veanse las observaciones a la Definicion 5.1), con lo que cada
sumando se anula. 2
El siguiente resultado es directo de las definiciones de tensor antisimetrico y signatura de una permutacion, y puede considerarse como una definicion alternativa de
tensor antisimetrico:
Proposici
on 6.4 Si T r (V ) y Sr entonces, para cualesquiera w1 , . . . , wr V :
T (w(1) , . . . , w(r) ) = sig()T (w1 , . . . , wr ).
Se puede construir un tensor antisimetrico a partir de formas lineales como sigue:
Proposici
on 6.5 Para cualesquiera 1 , . . . , r V :
X
sig() (1) (r) r (V )
Sr

Demostracion. Sea Sr la permutacion de dos ndices i 6= j, entonces:

P
P
(1)
(r)
(1)
sig()

(w
,
.
.
.
,
w
)
=
(w (1) ) . . . (r) (w (r) )

(1)

(r)
S
Sr sig()
Pr
P
(1)
(w1 )P
. . . (r) (wr ) = Sr sig( ) (1) (w1 ) . . . (r) (wr )
Sr sig()
= Sr sig() (1) (r) (w1 , . . . , wr ),
lo que demuestra que es antisimetrico respecto a cada par de variables i, j. 2
Esta proposicion sugiere generalizar el producto exterior de dos formas lineales visto
en la seccion anterior (Definicion 5.6) al caso de r formas lineales como sigue:
X
1 r :=
sig() (1) (r)
Sr

Este producto exterior puede verse como un caso particular del producto exterior de
dos tensores antisimetricos, cuyas propiedades se detallen en el apendice a esta seccion.
Nos centraremos a continuacion u
nicamente en construir una base de r (V ) y estudiar
su dimension.
15

Proposici
on 6.6 Sea B = (1 , . . . , n ) una base de V , se verifican:
(i) El conjunto {i1 ir : 1 i1 < < ir n} es una base de r (V ).
(ii) Si T r (V ) entonces:
X

T =

ti1 ...ir i1 ir ,

1i1 <<ir n

donde ti1 ...ir = T (vi1 , . . . , vir ) y B = (v1 , . . . , vn ) tiene por base dual a B .
 
n
(iii) dim r (V ) =
si r n, y 0 si r > n.
r
Demostracion. Obviamente, (ii) se deduce directamente de (i). Para comprobar la independencia lineal del conjunto en cuestion, supongamos que
X
ai1 ...ir i1 ir = 0.
1i1 <<ir n

Entonces, aplicando los dos miembros de la expresion al vector (vl1 , . . . , vlr ), 1 l1 <
< lr n, obtenemos que al1 lr = 0.
Escribiendo como hasta ahora ti1 ir = T (vi1 , . . . , vir ) la antisimetra de T implica:
ti(1) ...i(r) = sig()ti1 ...ir .
Por tanto, T se puede escribir como la combinacion lineal:
P
T = ni1 ,...,ir =1 ti1 ,...,ir i1 ir
P
P
= 1i1 <<ir n Sr ti(1) ...i(r) i(1) i(r)
P
P
= P1i1 <<ir n Sr sig()ti1 ...ir i(1) i(r)
= P1i1 <<ir n ti1 ...ir hr (i1 ir )
= 1i1 <<ir n ti1 ...ir i1 ir ,
lo que prueba que el conjunto requerido es un sistema de generadores, concluyendose
(i), as como (ii). El punto (iii) es solo un ejercicio de combinatoria. 2
Ejercicio. Consideremos 1 , . . . , r V . Demuestrese que el conjunto {1 , . . . , r }
es linealmente independiente si y solo si 1 r 6= 0.
Llamaremos algebra exterior sobre V al espacio
(V ) := (nr=0 r (V ), ),
donde nr=0 r (V ) no es mas que una notacion natural para el espacio cartesiano producto los espacios r (V ) y el producto exterior se supone definido para cualesquiera
par de elementos de (V ) (extendiendolo de manera natural por bilinealidad).

6.2.

Ap
endice: Simetrizadores y producto exterior

Como extension del punto anterior, consideraremos ahora la posibilidad de simetrizar o antisimetrizar tensores, as como la de definir un produccto exterior para tensores
antisimetricos arbitrarios; esta construccion se puede extender facilmente a la de un
producto tensorial simetrizado para cualesquiera tensores simetricos.
16

Definici
on 6.7 Se define el antisimetrizador de orden r N para el espacio vectorial
V como la aplicacion
Tr0 (V )
hr : Tr0 (V ) P
T
7 Sr sig()T ,
donde T (y1 , . . . , yr ) := T (y(1) , . . . , y(r) ) para todo y1 , . . . , yr V .
No es difcil comprobar las siguientes propiedades:
Propiedades:
(1) hr es lineal y hr (T ) = sig() hr (T ).
(2) Im hr r (V ), y si T r (V ) entonces hr (T ) = r! T .
(3) Para todo T Tr0 (V ), T 0 Tr00 (V ) se tiene
0

hr+r (hr (T ) T 0 ) = r! hr+r (T T 0 ),

0

hr+r (T hr (T 0 )) = r0 ! hr+r (T T 0 ).
0

(4) hr+r (T T 0 ) = (1)rr hr+r (T 0 T ).

Definici
on 6.8 Se definen los siguientes productos exteriores:
0

: r (V ) r (V ) r+r (V )
(T, T 0 ) 7 T T 0 =
0

0
1
hr+r (T
r!r0 !

T 0)

: r (V ) r (V ) r+r (V )
1
r+r0
(T, T 0 ) 7 T T 0 = (r+r
(T T 0 ).
0 )! h
Es inmediato comprobar que estos productos pueden expresarse del siguiente modo:
P
P
T T 0 = k!k1 0 ! Sr+r0 sig()(T T 0 ) = r,r0 sig()(T T 0 )
P
1
0
T T 0 = (k+k
0 )!
Sr+r0 sig()(T T ) ,
donde r,r0 = { Sr+r0 : (1) < < (r) y (r + 1) < < (r + r0 )}.
Propiedades: Los productos exteriores , son:
(1) bilineales (obviamente),
(2) asociativos (para lo cual resulta esencial la eleccion hecha de los factores r!r0 ! o
(r + r0 )!), y
(3) antisimetricos, en el siguiente sentido:
0

T T 0 = (1)r+r T 0 T,

T T 0 = (1)r+r T 0 T,

para T r (V ), T 0 r (V ).
Nota. A lo largo de todo nuestro desarrollo, se escoge siempre el producto exterior .

17

7.

Tensores antisim
etricos con r = n

7.1.

Elementos de volumen

De nuestro desarrollo anterior se sabe que, si la dimension de V (K) es n N (con

n 1)), entonces la dimension de n (V ) es igual a 1.
Definici
on 7.1 Dada una base (ordenada) B = (v1 , . . . , vn ) y su correspondiente base

dual B = (1 , . . . , n ) llamaremos tensor determinante en la base B a

detB := 1 n ( n (V )).
Proposici
on 7.2 (i) {detB } es una base de n (V ).
(ii) Sean w1 , . . . , wn V . Entonces detB (w1 , . . . , wn ) coincide con el determinante
de la matriz que tiene por columnas, ordenadamente, las coordenadas de w1 , . . . , wn en
la base B (esto es, la matriz cuya columna j-esima esta formada por las coordenadas
de wj en B, para todo j).
(iii) Sea n (V ). Entonces
= (v1 , . . . , vn ) detB .
= (
(iv) Si B
v1 , . . . , vn ) es otra base ordenada entonces
B)) detB .
detB = det(M (IdV , B

(7)

B) es la matriz de cambio de base de B a B

(esto es, la matriz en
donde M (IdV , B
cuyas columnas aparecen, ordenadamente, las coordenadas de los elementos de la base

B en B).
Demostracion. (i) Puesto que dim(n (V ) = 1, basta con comprobar que detB 6= T0
(tensor n-covariante nulo). Pero
detB (v1 , . . . , vn ) = 1 n (v1 , . . . , vn ) = 1 6= 0.
P
(ii) Si wj = i aij vi entonces
detB (w1 , . . . ,P
wn ) =
P
P
= detB ( ni1 ai11 vi1 , . . . , nin ainn vin ) = ni1 ,...,in =1 ai11 . . . ainn detB (vi1 , . . . , vin )
P
P
i
i
= 1i1 <...,<in n Sn a1(1) . . . an(n) detB (vi(1) , . . . , vi(n) )
P
P
(1)
(n)
(1)
(n)
= Sn a1 . . . an detB (v(1) , . . . , v(n) ) = Sn sig() a1 . . . an
donde el u
ltimo miembro es el determinate de la matriz (aij )i,j .
(iii) Inmediato del punto (i) anterior y de la Proposicion 6.6(ii).
(iv) Aplquese primero el punto (iii) y despues el (ii) anteriores. 2
Definici
on 7.3 Llamaremos elemento de volumen de V a todo n (V ) no nulo.
El nombre elemento de volumen sugiere que |(w1 , . . . , wn )| mide el volumen del
paraleleppedo generado por w1 , . . . , wn .

18

7.2.

Orientaci
on en un espacio vectorial real

El siguiente concepto tiene sentido en un espacio vectorial real, por lo que que en
esta seccion V (R) denotara un espacio vectorial de dimension n N sobre el cuerpo R.
Consideremos el conjunto B de todas las bases (ordenadas) de V (R), y se considera
la relacion binaria:

B) > 0,
B.
BB

det M (IdV B
B, B
(8)
Resulta inmediato comprobar:
Proposici
on 7.4 (1) La relacion es de equivalencia.
(2) Existen exactamente dos clases de equivalencia, a saber [B] y [B ] donde B =
(v1 , v2 , . . . , vn ) y B := (v1 , v2 , . . . , vn ).
Ello permite introducir el siguiente concepto.
Definici
on 7.5 Una orientacion en el espacio vectorial real V (R) es una eleccion de
una de las dos clases. Una vez hecha una tal eleccion [B], llamaremos al par (V (R), [B])
tales que B
[B] (resp. B
6 [B])
espacio vectorial orientado, de todas las bases B
diremos que estan positivamente ordenadas (resp. negativamente ordenadas).
El concepto de orientacion permite formalizar ideas intuitivas de clasificar las bases de
V (R) con n = 1, 2, 3 mediante conceptos tales como:
n = 1: bases que apuntan a la derecha y bases que apuntan a la izquierda,
n = 2: bases ordenadas seg
un el sentido opuesto al giro de las agujas del reloj y
bases ordenadas seg
un el sentido contrario.
n = 3 bases ordenadas seg
un el sentido de giro de un sacacorchos y bases ordenadas seg
un el sentido contrario.
Como ejercicio, el lector puede comprobar que se puede introducir el concepto de orientacion en V (R) de un modo completamente equivalente mediante elementos de volumen
como sigue:
(a) Consideremos la relacion de equivalencia en n (V ) {0} definida por: 1 2
si y solo si w1 = a w2 , a > 0.
(b) Llamamos orientacion en V a cada una de las dos u
nicas clases de equivalencia
definidas por . Fijada una de estas clases, [], al par (V, []) le llamaremos espacio
vectorial orientado.
(c) Sea (V, []) un espacio vectorial orientado. Diremos que una base (ordenada)
B = (v1 , . . . , vn ) esta positivamente orientada (resp. negativamente orientada) si su
correspondiente base dual B = (1 , . . . , n ) verifica detB := 1 n [] (resp.
detB 6 []).
(d) Fijada [], las bases positivamente ordenadas para (V, []) constituyen una de
las dos clases de equivalencia definidas seg
un (8). Recprocamente, si se fija una de
estas dos clases de equivalencia [B] entonces la clase del elemento de volumen [detB ] es
[B] que se escoja.
independiente del representante B

8.
8.1.

Consecuencias para los endomorfismos

Aplicaci
on inducida sobre espacios tensoriales

Con el objetivo de dar una definicion intrnseca de determinante de un endomorfismo

en la proxima seccion, justifiquemos a continuacion como es posible usar los homomorfismos entre espacios vectoriales para transportar tensores r-covariantes (en particular
19

los antisimetricos). Usando la traspuesta de esa aplicacion se puede, como ejercicio, hacer un estudio paralelo para tensores s-covariantes (y combinando ambos estudios para
tensores (r, s) arbitrarios). En adelante, V (K) y V 0 (K) seran dos espacios vectoriales
sobre el mismo cuerpo K.
Definici
on 8.1 Sea f : V V 0 lineal y T 0 Tr0 (V 0 ). Se define el tensor inducido o
pull-back f T 0 : V r K de T 0 por f como
f T 0 (w1 , . . . , wr ) = T 0 (f (w1 ), . . . , f (wr )),

w1 , . . . wr V.

La siguiente proposicion es un ejercicio simple que resume las propiedades del pull-back.
Proposici
on 8.2 Se verifica:
(1) f T 0 Tr0 (V ), la aplicacion f : Tr0 (V 0 ) Tr0 (V ) es lineal y, en particular, se
verifica para los tensores antisimeticos f (r (V 0 )) r (V ).
(2) Si f = IdV entonces f = IdTr,0 (V ) .
(3) Si se tiene otra aplicacion lineal g : V 0 V 00 entonces (g f ) = f g .
(4) Si f es biyectiva entonces (f 1 ) = (f )1 . En particular, f es biyectiva y
f (r (V 0 )) = r (V ).
Se define entonces f = (f 1 ) y, en el caso de que g tambien sea biyectiva, verifica
(g f ) = g f .
(5) f (T10 T20 ) = f (T10 ) f (T20 ).

8.2.

Determinante de un endomorfismo

El hecho de que n (V ) tenga dimension 1 permite redefinir el determinante de un

endomorfismo f de manera independiente del estudio de matrices. Para ello, observese
primero que, de la primera propiedad del pull-back antes estudiada, f induce un endomorfismo de n (V ) y este nuevo endomorfismo debe ser un m
ultiplo de la identidad,
precisamente porque dim(n (V ))=1.
Definici
on 8.3 Sea f un endomorfismo de V (K), y consideremos el correspondiente
endomorfismo
f : n (V ) n (V )
7 f
del espacio vectorial monodimensional n (V ). Llamamos determinante de f al u
nico
escalar det f K que verifica
f = det f Idn (V ) .
Comprobemos a continuacion que esta definicion coincide, para cualquier base B =
(v1 , . . . , vn ), con la del determinante usual de la matriz M (f, B) cuya columna j-esima
esta formada por las coordenadas de f (vj ) en B.
Proposici
on 8.4 Si f es un endomorfismo de V y B = (v1 , . . . , vn ) es una base
ordenada suya, entonces el valor de det f (seg
un la Definicion 8.3) verifica
det f = det(M (f, B)),
con independencia de la base B escogida.
20

Demostracion. De acuerdo con la Definicion 8.3,

f (detB ) = det f detB
y aplicando ambos miembros sobre B = (v1 , . . . , vn )
det f = detB (f (v1 ), . . . , f (vn )) = det(M (f, B)).
la u
ltima igualdad por la Proposicion 7.2(ii). 2 Cmo una consecuencia sencilla, se
prueban la siguiente propiedades de los determinantes, que sera difcil demostrar de
otro modo.
Proposici
on 8.5 (1) Sean f, g End(V ). Entonces det (f g) = detf detg.
(2) Sean A, C Mn (K). Entonces det (A C)= detA det C.
Demostracion. (1) De la Definicion 8.3, para cualesquiera n (V ), w1 , . . . , wn V :
det(f g) (w1 , . . . , wn ) = (f g) (w1 , . . . , wn ) = (f (g(w1 )), . . . , f (g(wn )))
= (f )(g(w1 ), . . . , g(wn )) = [g [(f )](w1 , . . . , g(wn ))
= detg [(f )](w1 , . . . , g(wn ))
= detg detf (w1 , . . . , g(wn ))
(9)
por lo que escogiendo y los wi con (w1 , . . . , wn ) 6= 0 se obtiene la igualdad.
(2) Considerese Kn (K) con su base usual B0 , y sean f, g End(Kn los endomorfismos
que verifican A = M (f, B0 ), C = M (g, B0 ), de modo que AC = M (f g, B0 ). Entonces:
det(A C) = det(f g) = detf detg = detA detC,
donde en la primera y u
ltima igualdades se usa la Proposicion 8.4 y en la segunda el
apartado (1) anterior. 2
Observaci
on 8.6 (1) Es de remarcar que en la segunda lnea de (9) se esta implcitamente probando que la aplicacion (f g) : n (V ) n (V ) verifica (f g) = g f
(lo cual ya se haba establecido con mas generalidad en la Proposicion 8.2 (3)), y que
esta igualdad junto a la Definicion 8.3 conduce directamente al resultado.
(2) En la demostracion del resultado para matrices, se podra escoger cualquier
espacio vectorial de dimension n sobre K y cualquier base suya B en lugar de Kn (K) y
B0 , y la demostracion permanecera inalterada.
Ejercicio. Sea V (R) un espacio vectorial real. Se dice que f End V preserva las
orientaciones (resp. invierte las orientaciones) si para cualquier base ordenada B =
(v1 , . . . , vn ) se verifica que (f (v1 ), . . . , f (vn )) es una base ordenada en la misma (resp.
distinta) orientacion que B. Demostrar que equivalen:
(a) f preserva (resp. invierte) las orientaciones.
(b) detf > 0 (resp. detf < 0).
(c) Existe una base ordenada B = (v1 , . . . , vn ) tal que (f (v1 ), . . . , f (vn )) es una base
ordenada en la misma (resp. distinta) orientacion que B.
(d) Existe un elemento de volumen tal que f determina la misma (resp. distinta)
orientacion que .
(e) Para todo elemento de volumen se tiene que f determina la misma (resp.
distinta) orientacion que .
En particular, concluir que f verifica una de las siguientes tres posibilidades excluyentes:
(i) no es un automorfismo, (ii) es un automorfismo que preserva las orientaciones, (iii)
es un automorfismo que invierte las orientaciones.
21