Algebra

lineal y Geometra I
Gloria Serrano Sotelo

Departamento de MATEMATICAS

Indice
1. Tensores covariantes de orden p contravariantes de orden q
1.1. Producto tensorial
1.2. Expresion en coordenadas. Base y dimension de Tpq (E). Cambio de base
1.3. Cambio de base en el espacio de tensores
2. Tensores covariantes. Tensores simetricos y hemisimetricos
2.1. Producto exterior de formas lineales
2.2. Tensores hemisimetricos en coordenadas. Base de p (E)
2.3. Contraccion interior de un vector e y un tensor Tp Tp (E). Comportamiento
frente a productos tensoriales y exteriores
2.4. Problema resuelto
2.5. Morfismos inducidos en los espacios de tensores
2.6. Problemas resueltos
2.7. Determinante de un endomorfismo
3. Producto vectorial

2
2
4
5
6
7
8
8
9
10
11
13
14

TENSORES

1.

Tensores covariantes de orden p contravariantes de orden q

Definici
on 1.1. Un tensor p veces covariante q veces contravariante (tensor de tipo (p, q))
sobre un k-espacio vectorial E es una aplicacion multilineal
Tpq

E .p). . E E .q). . E k
(e1 , . . . , ep , 1 . . . q ) 7 Tpq (e1 , . . . , ep , 1 . . . q )
Representaremos por Tpq (E) el conjunto de los tensores de tipo (p, q) sobre E.
Proposici
on 1.2. Tpq (E) es un k-espacio vectorial con las operaciones:
Suma de tensores
(T q + Tq )(e1 , . . . , ep , 1 . . . q ) = T q (e1 , . . . , ep , 1 . . . q ) + Tq (e1 , . . . , ep , 1 . . . q )
p

Multiplicacion de un tensor por un escalar

(Tpq )(e1 , . . . , ep , 1 . . . q ) = Tpq (e1 , . . . , ep , 1 . . . q )
Ejemplo 1.3.

k lineales} = E
T10 (E) = {E
e
T01 (E) = {E
k lineales} = E ' E
T1

1
k bilineales} se identifica con Endk E por la formula:
T11 (E) = {E E

T11 (e, ) = (T (e)) , siendo T11 T11 (E), T Endk E

T

2
T20 (E) = {E E
k bilineales} = {Metricas sobre E}

T2

T02 (E) = {E E k bilineales} = {Metricas sobre E (metricas contravariadas)}

Por convenio T00 (E) = k
1.1. Producto tensorial.
Dados tensores Tpq Tpq (E) y Trs Trs (E) se define su producto tensorial Tpq Trs como el
q+s
tensor de Tp+r
q(E) dado por:
(Tpq Trs )(e1 , . . . , ep , ep+1 , . . . , ep+r , 1 . . . q , q+1 , . . . , q+s ) =
= Tpq (e1 , . . . , ep , 1 . . . q ) Trs (ep+1 , . . . , ep+r , q+1 , . . . , q+s )
Propiedades
(a) Asociativa Tpq (Trs Tmt ) = (Tpq Trs ) Tmt
(b) La aplicacion
q+s
Tp+r
q(E)
Tpq (E) Trs (E)
(Tpq , Trs ) 7 Tpq Trs
es bilineal, es decir:
(Tpq + Tpq ) Trs = (Tpq Trs ) + (Tpq Trs )
Tpq (Trs + Trs ) = (Tpq Trs ) + (Tpq Trs )
El producto tensorial no es conmutativo

Ejemplo 1.4.
Tpq = Tpq pues T00 (E) = k.
0 T20 (E) : ( 0 )(u, v) = (u) 0 (v)
e T11 (E) : ( e)(u, 0 ) = (u)e( 0 ) = (u) 0 (e)
0 00 T30 (E) : ( 0 00 )(u, v, v 0 ) = (u) 0 (v) 00 (v 0 )
0 e T21 (E) : ( 0 e)(u, v, 00 ) = (u) 0 (v) 00 (e)
e e0 T02 (E) : (e e0 )(, 0 ) = e()e0 ( 0 ) = (e0 ) 0 (e0 )
As, en general
1 . . . p Tp0 (E) , e1 . . . eq T0q (E) , 1 . . . p e1 . . . eq Tpq (E)
Problemas resueltos
1.1. Sea {e1 , e2 , e3 } una base del R-espacio vectorial E y {1 , 2 , 3 } su base dual.
(a) Calcula la matriz asociada a la metrica 0 respecto de la base {e1 , e2 , e3 } de E,
siendo = 1 2 + 23 y 0 = 1 + 3 .
(b) Calcula, respecto de la base {e1 , e2 , e3 }, la matriz asociada al endomorfismo que el
tensor e define, siendo = 21 + 33 y e = 2e1 e2 .
Solucion. (a) Calculemos los coeficientes gij de 0 T20 (E) en la base {e1 , e2 , e3 }:
Como gij = ( 0 )(ei , ej ) = (ei ) 0 (ej ), se tiene:
g11 = 1 = g1,3 , g21 = 1 = g2,3 , g12 = 0 = g2,2 = g3,2 , g31 = 2 = g3,3

1 0 1
As, G = 1 0 1 es la expresion matricial de T2 = 0 en la base
2 0 2
{e1 , e2 , e3 }.
Observemos que la expresion de 0 en funcion de todos los productos tensoriales
que se pueden formar con dos cualesquiera de las formas lineales {1 , 2 , 3 } es:
0 = (1 2 + 23 ) (1 + 3 )
= 1 1 + 1 3 2 1 2 3 + 23 1 + 23 3 ,
y vemos que 0 =

3
X

gij i j , con (gij ) = G.

i,j=1

En el proximo apartado probaremos que {i j }1i,j3 forman una base del espacio
vectorial T20 (E).
T
E cuya matriz asociada A = (aij ) en la
(b) e T11 (E) define el endomorfismo E
base {e1 , e2 , e3 } viene dada por:
aij = i (T (ej )) = T11 (ej , i ) = ( e)(ej , i ) = (ej )i (e)

4 0 6
Y resulta que A = 2 0 3 es la expresion matricial del tensor e.
0 0 0
La expresion de e en funcion de los productos tensoriales que se pueden formar
con las formas {1 , 2 , 3 } y los vectores {e1 , e2 , e3 } es:
e = (21 + 33 ) (2e1 e2 ) = 41 e1 21 e2 + 63 e1 33 e2
As, si escribimos e =

3
X

ji i ej es ji = aji .

i,j=1

1.2. Sea {e1 , e2 , e3 , e4 } una base del R-espacio vectorial E y {1 , 2 , 3 , 4 } su base dual.
Sean = 22 4 , 0 = 1 32 , e = e1 + e2 + e4 , e0 = 2e2 + e3 .
Calcula el escalar ( 0 )(e, 2e + e0 , e e0 ).
Solucion.
( 0 )(e, 2e + e0 , e e0 ) = (e) 0 (2e + e0 )(e e0 ) = 1 (10) (3) = 30 .

1.3. En R3 se consideran las funciones f (x, y, z) = 2x y + z y g(x, y, z) = 2y z.
Cacula la expresion matricial y tensorial de f g.
Solucion. Si {e1 , e2 , e3 } es la base de R3 en la que se escriben las coordenadas {x, y, z}, las
formas lineales f y g se expresan en su base dual {1 , 2 , 3 } por
f = 21 2 + 3 ,

g = 22 3 ,

y se tiene:
f g = (21 2 +3 )(22 3
) = 41 2 2
1 3 22 2 +2 3 +23 2 3 3
0 4 2

0
2 1 .
y su expresion matricial es G =
0 2 1
Observa que, en coordenadas:
(f g)((x, y, z), (x0 , y 0 , z 0 )) = f (x, y, z)g(x0 , y 0 , z 0 ) = 4xy 0 2xz 0 2yy 0 + yz 0 + 2zy 0 zz 0

1.2.

Expresi
on en coordenadas. Base y dimensi
on de Tpq (E). Cambio de base.

Representaremos por V Rnp el conjunto de las variaciones con repeticion de los ndices 1, . . . , n
tomados de p en p.
Teorema 1.5. Sea {e1 , . . . , en } una base de E y {1 , . . . , n } su base dual. Los tensores de
tipo (p, q) {i1 ip ej1 ejq } donde (i1 . . . ip ) V Rnp y (j1 . . . jq ) V Rnq , forman
una base del k-espacio vectorial de los tensores Tpq (E).
Por tanto, la dimension de este espacio es:
dimk Tpq (E) = np nq = np+q
Demostracion.
Generan
j ...j
Sea Tpq Tpq (E) tal que Tpq (ei1 , . . . , eip , j1 , . . . , jq ) = i11...ipq . El tensor
X
j ...j
() =
i11...ipq (i1 ip ej1 ejq )
(i1 . . . ip ) V Rnp
(j1 . . . jq ) V Rnq
coincide con Tpq sobre cualquier familia (eh1 , . . . , ehp , k1 , . . . , kq ), en efecto:
X j ...j
()(eh1 , . . . , ehp , k1 , . . . , kq ) =
i11...ipq i1 (eh1 ) ip (ehp )k1 (ej1 ) . . . kq (ejq )
k ...k

= h11 ...hqp = Tpq (eh1 , . . . , ehp , k1 , . . . , kq )

Son linealmente
P j1 ...jq independientes
Si
i1 ...ip (i1 ip ej1 ejq ) = 0, aplicando a cualquier familia
k ...k

(eh1 , . . . , ehp , k1 , . . . , kq ) resulta que h11 ...hqp = 0.



Ejemplo 1.6.
Una base de T20 (E) es {i j }1i,jn y la expresion en coordenadas de T2 T20 (E)
es
X
T2 =
gij i j
i,j

es {i ej }1i,jn y la expresion en coordenadas de T11 T11 (E)

Una base de
es
X j
T11 =
i i ej , con ji = aji y A = (aij ) la matriz del endomorfismo asociado
T11 (E)

i,j

Una base de T30 (E) es {i j k }1i,j,kn y la expresion en coordenadas de T3

T30 (E) es
X
T3 =
gijk i j k
i,j

Una base de
T21 (E) es

T21 (E)

es {i j ek }1i,j,kn y la expresion en coordenadas de T21

T21 =

ki,j i j ek

i,j,k

1.3. Cambio de base en el espacio de tensores.

Los cambios de base en los espacios de tensores se deducen de los cambios de base en el
espacio y en su dual.
En los casos de los T10 (E) = E , T01 (E) ' E, T11 (E) = Endk (E), T20 (E) = {Metricas sobre E}
y T02 (E) = {Metricas sobre E } se tienen las correspondientes formulas del cambio de base
para el dual, el espacio, los endomorfismos y las metricas. Para el resto, es facil, aunque
largo, calcular los nuevos coeficientes de los tensores utilizando las propiedades del producto
tensorial. Pongamos alg
un ejemplo:
Ejemplo 1.7. Sea {e1 , e2 , e3 } una base de E y {1 , 2 , 3 } su base dual. Considerese la
nueva base {
e1 = e1 + e2 , e2 = e2 + e3 , e3 = e1 + e2 + e3 } de E.
Calculemos la expresion de los tensores
T11 = 1 e1 + 21 e2 + 1 e3 + 2 e2 22 e3 3 e1
T2 = 21 2 + 1 3 32 1 3 2 + 3 3
T21 = 1 1 e1
en la nueva
base.
1 0 1

Sea B = 1 1 1 la matriz del cambio de base en E y representemos por {

1 ,
2,
3}
0 1 1
la base dual de la base {
e1 , e2 , e3 }. Se tiene:
(a) La matriz del endomorfismo que T11 define es

1 0 1
0
A = 2 1
1 2 0
y de la formula del cambio de base para endomorfismos se obtiene

2 3 4
A = B 1 AB = 4 4 5
1 2
4
As la expresion de T11 en la base nueva es
T11 = 2
1 e1 +4
1 e2 1
1 e3 3
2 e1 4
2 e2 +2
2 e3 4
3 e1 5
3 e2 +4
3 e3

(b) La expresion matricial de T2 , es decir, la

G = 3
0

matriz G de la metrica en la base inicial es

2 1
0 0
1 1

y el cambio de base para metricas da

1 3 6
= B t GB = 2 0 3
G
4 3 0
Luego la expresion de T2 en la nueva base es:
T2 =
1
1 + 3
1
2 + 6
1
3 2
2
1 3
2
3 4
3
1 + 3
3
2
(c) Observemos en primer lugar que las coordenadas de los vectores e1 , e2 , e3 en la nueva
base {
e1 , e2 , e3 } vienen dadas por las columnas de la matriz inversa del cambio de base
B 1 , luego resulta
e1 = e2 + e3 ,

e2 =
e1 e2 + e3 ,

e3 = e1 + 2
e2 e3

Analogamente, como la matriz B de cambio de base en el dual cumple que (B )1 =

B t se obtiene
2 =
1 +
2 +
3 ,

1 =
1 +
3 ,

3 =
2 +
3

Sustituyendo en T21 se obtiene su expresion en la base nueva

T21 =(
1 +
3 ) (
1 +
3 ) (
e2 + e3 ) =
1
1 e2 +
1
3 e2 +
3
1 e2 +
+
3
3 e2 +
1
1 e3 +
1
3 e3 +
3
1 e3 +
3
3 e3

2.

tricos y hemisime
tricos
Tensores covariantes. Tensores sime

Representaremos por Tp (E) el k-espacio vectorial de los Tp0 (E) de los tensores covariantes
de orden p.
Si {e1 , . . . , en } una base de E y {1 , . . . , n } su base dual, se tiene:


Tp (E) = {i1 ip }(i1 ...ip )V Rnp
Un tensor Tp Tp (E) es sim
etrico si para cualesquiera vectores e1 , . . . , ep se verifica:
Tp (e1 , . . . ei . . . ej . . . , ep ) = Tp (e1 , . . . ej . . . ei . . . , ep )

Un tensor Tp Tp (E) es hemisim

etrico si para cualesquiera vectores e1 , . . . , ep se
verifica:
Tp (e1 , . . . ei . . . ej . . . , ep ) = Tp (e1 , . . . ej . . . ei . . . , ep )

Observemos que los tensores covariantes de orden 2 simetricos coinciden con las metricas
simetricas y los hemisimetricos con las metricas hemisimetricas.
Proposici
on 2.1. (Caracterizacion de los tensores hemisimetricos)(ch(k) 6= 2)
Tp Tp (E) es hemisimetrico si y solo si Tp (e1 , . . . , ep ) = 0 cuando alg
un vector de los
{e1 , . . . , ep } esta repetido.

Demostracion.
= Si Tp es hemisimetrico se cumple:
Tp (e1 , . . . e . . . e . . . , ep ) = Tp (e1 , . . . e . . . e . . . , ep ) ,

luego Tp (e1 , . . . , e, . . . , e . . . , ep ) = 0
= Si Tp (e1 , . . . e . . . e . . . , ep ) = 0 cualesquiera que sean e1 , . . . , e, . . . , ep E, de la multili

nealidad de Tp se sigue:
0 =Tp (e1 , . . . ei + ej . . . ei + ej . . . , ep ) = Tp (e1 , . . . ei . . . ei . . . , ep ) + Tp (e1 , . . . ei . . . ej . . . , ep )+

+ Tp (e1 , . . . ej . . . ei . . . , ep ) + Tp (e1 , . . . ej . . . ej . . . , ep ) =

0 =Tp (e1 , . . . ei . . . ej . . . , ep ) + Tp (e1 , . . . ej . . . ei . . . , ep )


Corolario 2.2. Si Tp es hemisimetrico se cumple:
Tp (e1 , . . . , ep ) = 0 para cualesquiera vectores e1 , . . . , ep linealmente dependientes

2.1. Producto exterior de formas lineales.

Dadas formas lineales 1 , . . . , p E se define su producto exterior 1 p como el
tensor covariante de orden p dado por
X
(Sig )(1) (p)
1 p =
Sp

donde Sp representa el grupo simetrico de ndice p (grupo de las permutaciones de p elementos) y Sig es el signo de la permutacion Sp .
Ejemplo 2.3.
1 2 = 1 2 2 1
=
1 2 3 =1 2 3 1 3 2 2 1 3 + 2 3 1 +
+ 3 1 2 3 2 1
Propiedades del producto exterior
(a) 1 p es un tensor hemisimetrico.
(b) 1 p = (Sig )(1) (p) para todo Sp .
(c) 1 p = 0 si alguna i esta repetida.
(d ) 1 p = 0 si alguna i es combinacion lineal de las otras.
Ejemplo 2.4. Utilizaremos las propiedades para hacer los calculos mas sencillos.
Si = 1 2 + 3 , 0 = 32 3 , 00 = 1 + 2 , se tiene, por ejemplo:
0 = (1 2 + 3 ) (32 3 ) = 31 2 1 3 22 3
0 00 = (31 2 1 3 22 3 ) (1 + 2 ) = 1 2 3
00 0 = 0 00 = 1 2 3

2.2.

Tensores hemisim
etricos en coordenadas. Base de p (E).

Sea E un k-espacio vectorial de dimension n.

Llamaremos p-formas sobre E a los tensores covariantes de orden p que son hemisimetricos
y representaremos por p (E) el conjunto de ellas. Es inmediato comprobar que p (E) es un
subespacio vectorial de E.
Teorema 2.5.
Para todo p n, p (E) es un k-espacio vectorial de dimension
 
n
dimk p (E) =
p
Si p > n es p (E) = 0.
Es
mas, para cada p n, si {e1 , . . . , en } es una base de E y {1 , . . . , n } su base dual, los
n
tensores hemisimetricos {i1 ip }i1 <<ip forman una base de p (E).
p
Ejemplo 2.6. Sea {e1 , e2 , e3 } una base de E y {1 , 2 , 3 } su base dual.
1 (E) = h1 , 2 , 3 i = E ,

dimk 1 (E) = 3

 
3
2 (E) = h1 2 , 1 3 , 2 3 i , dimk 2 (E) =
=3
2
 
3
3 (E) = h1 2 3 i , dimk 3 (E) =
=1
3
p (E) = 0 , para todo p > 3

2.3. Contracci
on interior de un vector e y un tensor Tp Tp (E). Comportamiento
frente a productos tensoriales y exteriores.
Dado Tp Tp (E) y e E, ieTp es el tensor de orden p 1 definido por
(ieTp )(e2 , . . . , ep ) = Tp (e, e2 , . . . , ep )
Si Tp es hemisimetrico tambien ieTp lo es.
Comportamiento frente a productos tensoriales y exteriores
ie(1 p ) = 1 (e)(2 p )
p
X
ie(1 p ) =
(1)j1 j (e)(1 bj p )
j=1

Ejemplo 2.7. Sea {e1 , e2 , e3 } una base de E y {1 , 2 , 3 } su base dual.

Dados = 1 + 23 , 0 = 2 + 3 , 00 = 1 + 2 , e = e1 + 2e2 + 3e3 , calculemos las
coordenadas de los siguientes tensores en las bases de p-formas correspondientes:
(a) ie(1 2 ) = 1 (e)2 2 (e)1 = 2 21 = (2, 1, 0) T1 (E) = E
(b)
ie(1 2 3 ) = 1 (e)2 3 2 (e)1 3 + 3 (e)1 2
= 2 3 21 3 + 31 2 = (3, 2, 1) 2 (E)
(c) ie( 0 ) = (e) 0 = 5(2 + 3 ) = (0, 5, 5) T1 (E)
(d ) ie( 00 ) = (e) 00 00 (e) = 5 00 3 = (8, 5, 6) T1 (E)
(e) ie( 0 00 ) = ie(1 2 3 ) = ie(1 2 3 ) = (3, 2, 1) 2 (E), pues
0 00 = 1 3 2 +23 2 1 = 1 2 3 21 2 3 = 1 2 3

2.4. Problema resuelto.

Sea {e1 , e2 , e3 } una base de E y {1 , 2 , 3 } su base dual.
(a) Calcula la expresion del tensor hemisimetrico de orden 2 asociado a la matriz

0
1 2
1 0
1
2 1 0
y calcula tambien su restriccion al subespacio de ecuacion x + 2y z = 0 respecto del
sistema de coordenadas definido por la base {e1 , e2 , e3 }.
(b) Sean = 1 + 2 3 , 0 = 22 3 , 00 = 2 + 3 . Calcula la 2-forma 0 y
la 3-forma 0 00 .
(c) Dados 02 = 1 2 + 22 3 , e = 3e1 e2 + e3 y = 1 32 + 53 calcula la
1-forma ie02 y la 3-forma 02 .
Solucion.

(a) En la base {1 2 , 1 3 , 2 3 } de 2 (E) la expresion del tensor es:

2 = 1 2 21 3 + 2 3

Calculemos una base del subespacio V:

V = {(x, y, x + 2y) : x, y R} = hv1 = (1, 0, 1), v2 = (0, 1, 2)i
Se tiene:
2 (vi , vi ) = 0 , para 1 i 3, pues 2 es hemisimetrico
2 (v1 , v2 ) = 2 (v2 , v1 ) = (1 2 )(v1 , v2 ) 2(1 3 )(v1 , v2 ) + (2 3 )(v1 , v2 )
= 1 (v1 )2 (v2 ) 2 (v1 )1 (v2 ) 21 (v1 )3 (v2 ) + 23 (v1 )1 (v2 )+
+ 2 (v1 )3 (v2 ) 3 (v1 )2 (v2 ) =
= 1 0 4 + 0 + 0 1 = 4



0 4
Luego la expresion matricial de la resticcion de 2 a V , 2|V , es
.
4 0
Si {1 , 2 } es la base dual de {v1 , v2 }, {1 2 } es una base de 2 (V ), y en esta base
2 |V 2 (V ) se expresa as:
2|V = 41 2 .
(b)
0 = (1 + 2 3 ) (22 3 ) = 21 2 + 1 3 + 2 3
0 00 = (21 2 + 1 3 + 2 3 ) (2 + 3 ) = 21 2 3 + 1 3 2 =
= 31 2 3
(c)
ie02 = ie(1 2 ) + 2ie(2 3 ) = 1 (e)2 2 (e)1 + 22 (e)3 23 (e)2 =
= 32 1 23 22 = 1 + 2 23
02 = (1 2 + 22 3 ) (1 32 + 53 ) = 51 2 3 + 22 3 1
= 71 2 3


2.5. Morfismos inducidos en los espacios de tensores.

f
Toda aplicacion lineal E
E induce una aplicacion entre los espacios de tensores covariantes
de orden p
f p

Tp (E)
Tp (E)
definida por:
(f p Tp )(e1 , . . . , ep ) = Tp (f (e1 ), . . . , f (ep ))
y e1 , . . . , ep E .
cualesquiera que sean Tp Tp (E)
Este morfismo verifica:
(a) f p es lineal.

f
(b) f 1 = f , siendo E E el morfismo traspuesto.
(c) Deja invariantes los subespacios de tensores simetricos y hemisimetricos, esto es, induce
morfismos
f p
f p


p (E)
Sp (E) , p (E)
Sp (E)
(d ) Conmuta con productos tensoriales y productos exteriores:

1
p ) = f (
1 ) f (
p )
f p (
1
p ) = f (
1 ) f (
p )
f p (
(e) (f g)p = g p f p
i

En particular, si V es un subespacio de E y V , E es la inclusion natural, la restricci

on
de un tensor Tp Tp (E) al subespacio V viene dado por
Tp |V = ip Tp
Ejemplo 2.8. Sea {e1 , e2 , e3 } una base de E y {1 , 2 , 3 } su base dual. Calculemos la
restriccion de los tensores
T3 = 1 2 2 1 1 3
2 = 1 2 21 3 + 2 3
al plano de ecuacion x + y z = 0 respecto del sistema de coordenadas que la base
{e1 , e2 , e3 } define.
Una base del plano es {v1 = (1, 0, 1), v2 = (0, 1, 1)}.
i

Respecto
delas bases {v1 , v2 } y {e1 , e2 , e3 } la matriz de la inclusion natural , E es
1 0

(i) = 0 1. De modo que si representamos por {1 , 2 } la base dual de {v1 , v2 } se tiene

1 1

que i 1 = 1 , i 1 = 2 , i 1 = 1 + 2 (Recuerda que la matriz de i es la traspuesta de

(i). As, resulta:
T3| = i3 T3 = i 1 i 2 i 2 2i 1 i 1 i 3 =
2|

= 1 2 2 21 1 (1 + 2 ) = 1 2 2 21 1 1 21 1 2
= i2 2 = i 1 i 2 2i 1 i 3 + i 2 i 3 =
= 1 2 21 (1 + 2 ) + 2 (1 + 2 ) = 1 2 21 2 + 2 1 =
= 21 2

Este u
ltimo calculo se puede efectuar matricialmente:


 0


1 2
1 0
1 0 1
0 2
2
t

1 0
1
0 1 =
2| = i 2 = (i) (2 ) (i) =
0 1 1
2 0
2 1 0
1 1

2.6.

Problemas resueltos.

2.1. Sea {e1 , e2 , e3 } una base de E y {1 , 2 , 3 } su base dual y considerese la aplicacion

f

E definida por
lineal E
f (1 ) = e1 + 3e2 ,

f (2 ) = e1 e2 + 2e3 ,

f (3 ) = e2 + e3

f 2

Calcula la matriz asociada al morfismo inducido 2 (E) 2 (E ) indicando claramente

las bases en las que se expresa.
f

Solucion. Si E E
' E es el morfismo traspuesto de f su matriz respecto de las bases
1 3 0
dadas es At = 1 0 2, siendo A la matriz de f . Luego:
0 1 1
f (1 ) = e1 + e2 ,

f (2 ) = 3e1 + e3 ,

f (3 ) = 2e2 + e3 .

La base de 2 (E) es {1 2 , 1 3 , 2 3 } y la de 2 (E ) es {e1 e2 , e1 e3 , e2 e3 }, y

se tiene:
f 2 (1 2 ) = f (1 ) f (2 ) = (e1 + e2 ) (3e1 + e3 ) = e1 e3 + 3e2 e1 + e2 e3 =
= 3e1 e2 + e1 e3 + e2 e3 = (3, 1, 2)
f 2 (1 3 ) = f (1 ) f (3 ) = (e1 + e2 ) (2e2 + e3 ) = 2e1 e2 + e1 e3 + e2 e3 =
= (2, 1, 1)
2

f (2 3 ) = f (2 ) f (3 ) = (3e1 + e3 ) (2e2 + e3 ) = 6e1 e2 + 3e1 e3 + 2e3 e2 =

= 6e1 e2 + 3e1 e3 2e2 e3 = (6, 3, 2)

3 2 6
Luego la matriz de f 2 es 1 1 3
2 1 2

2.2. Sea E
E la aplicacion lineal definida por f (x, y, z) = (x y, 2y + z, x + y + z).
(a) Calcula en este sistema de coordenadas las matrices de los morfismos inducidos sobre
los espacios de tensores hemisimetricos de orden 2 y 3, respectivamente:
f 2

2 (E) 2 (E) ,

f 3

3 (E) 3 (E)

(b) Calcula la matriz de la aplicacion lineal

T

2 (E)
E
2 7 i
e(f 2 2 )
siendo e = (1, 1, 1).
Solucion. Si {e1 , e2 , e3 } es la base de E en la que estan expresadas las coordenadas y
{1 , 2 , 3 } es su base dual, la base de 2 (E)es {1
2 , 1 3 , 2 3 } y la de 3 (E)
1 0 1
es {1 2 3 }. La matriz de f es At = 1 2 1 y por tanto f (1 ) = 1 + 3 ,
0 1 1

f (2 ) = 1 + 22 + 3 , f (3 ) = 2 + 3 .

(a) Calculemos la matriz de f 2 respecto de la base {1 2 , 1 3 , 2 3 }:

f 2 (1 2 ) = f 1 f 2 = (1 + 3 ) (1 + 22 + 3 ) =
= 21 2 + 21 3 22 3 = (2, 2, 2)
f 2 (1 3 ) = f 1 f 3 = (1 + 3 ) (2 + 3 ) =
= 1 2 + 1 3 2 3 = (1, 1, 1)
f 2 (2 3 ) = f 2 f 3 = (1 + 22 + 3 ) (2 + 3 ) =
= 1 2 1 3 2 3 = (1, 1, 1)
luego la matriz de f 2 es

2
1 1
1 1
(f 2 ) = 2
2 1 1
Calculemos ahora la matriz de f 3 respecto de la base {1 2 3 }. Se tiene:
f 3 (1 2 3 ) = f 1 f 3 f 3 = (1 + 3 ) (1 + 22 + 3 ) (2 + 3 ) =
= 21 2 3 + 3 1 2 = 31 2 3 = (3)
Luego, la matriz de f 3 es (3).
Observemos que la aplicacion lineal f 3 es una homotecia de razon 3.
(b) Respecto de las bases {1 2 , 1 3 , 2 3 } de 2 (E) y {1 , 2 , 3 } de E y usando
los calculos de (a) la matriz de T es:
T (1 2 ) = i
ef 2 (1 2 ) = i
e(21 2 + 21 3 22 3 ) =
= 21 (
e)2 22 (
e)1 + 21 (
e)3 23 (
e)1 22 (
e)3 + 23 (
e)2 = 0
T (1 3 ) = i
ef 2 (1 3 ) = i
e(1 2 + 1 3 2 3 ) = 22
T (2 3 ) = i
ef 2 (2 3 ) = i
e(1 2 1 3 2 3 ) = 22 23

0 0 0
y se obtiene (T ) = 0 2 2.
0 0 2

2.3. Sea {e1 , e2 , e3 } una base de E y {1 , 2 , 3 } su base dual.
Considerese la 3-forma 3 = 1 2 3 .
(a) Expresa en coordenadas la aplicacion lineal y comprueba que es un isomorfismo:

E
2 (E)
e 7 ie3
(b) Calcula las coordenadas del u
nico vector V tal que iv3 = 0 siendo
= a 1 + b 2 + c 3 , 0 = a0 1 + b0 2 + c0 3
Solucion. (a) Se calcula la matriz de en las bases {e1 , e2 , e3 } de E y {1 2 , 1 3 , 2
3 } de 2 (E):
(e1 ) = ie1 3 = ie1 (1 2 3 ) = 1 (e1 )2 3 2 (e1 )1 3 + 3 (e1 )2 3 =
= 2 3 = (0, 0, 1)
(e2 ) = ie2 3 = ie2 (1 2 3 ) = 1 3 = (0, 1, 0)
(e3 ) = ie3 3 = ie3 (1 2 3 ) = 1 2 = (1, 0, 0)

0 0 1
Se obtiene: () = 0 1 0 y como det() = 1 6= 0 la aplicacion lineal es un
1 0 0
isomorfismo.
As, en coordenadas se escribe:

E
2 (E)
(a, b, c) 7 (c, b, a)
(b) Como es un isomorfismo dada una 2-forma 0 existe un u
nico vector v E tal
0
que (v) = .
Las coordenadas de 0 en la base {1 2 , 1 3 , 2 3 } de 2 (E) son
0 = (a 1 + b 2 + c 3 ) (a0 1 + b0 2 + c0 3 ) = (ab0 ba0 , ac0 ca0 , bc0 cb0 ).
Si (x, y, z) son las coordenadas de v en la base {e1 , e2 , e3 } de E, matricialmente
(v) = 0 se escribe:

0 0 1
x
ab ba0
0 1 0 y = ac0 ca0
1 0 0
z
bc0 cb0
y se obtiene
v = (x, y, z) = (bc0 cb0 , (ac0 ca0 ), ab0 ba0 )

2.7. Determinante de un endomorfismo.
Sea E un k-espacio vectorial de dimension n y T un endomorfismo de E. El morfismo
inducido sobre los tensores hemisimetricos de orden n
T n

n (E) n (E)
es una homotecia, pues dimk n (E) = 1.
Definici
on 2.9. Se llama determinante de T a la razon de esta homotecia, esto es:
T n n = det T n , cualquiera que sea n n (E).
Propiedades
(a) det(T T) = det T det T
(b) Si {e1 , . . . , en } es una base de E y {1 , . . . , n } es su base dual:
det T = (1 n )(T (e1 ), . . . , T (en ))
(c) T es un automorfismo si y solo si det T 6= 0.

(d ) det T = det
XT
(e) det T =
(Sig )a1,(1) an,(n) , siendo A = (aij ) la matriz de T en la base
Sn

{e1 , . . . , en } de E.
Demostracion.
(a) det(T T)n = (T T)n (n ) = (Tn T n )(n ) = Tn (T n )(n )) = Tn (det T n ) =
det T det T n
(b)
[T n (1 n )](e1 , . . . , en ) = (det T 1 n )(e1 , . . . , en )
||

(1 n )(T (e1 ), . . . , T (en )) = det T (1 n )(e1 , . . . , en ) = det T

(c) Si T es un automorfismo existe T 1 tal que T T 1 = Id, luego det T det T 1 = 1 y

por tanto det T 6= 0.
Como det T 6= 0, de (b) se sigue que (1 n )(T (e1 ), . . . , T (en )) 6= 0 luego
T (e1 ), . . . , T (en ) son linealmente independientes y en consecuencia T es inyectivo y
as biyectivo.
(d )
X
(b)
(Sig )e(1) (T 1 ) e(n) (T n ) =
det T = (e1 en )(T (1 ) . . . T (n )) =
Sn

=
=

(Sig )1 (T e(1) n (T e(n) =

(Sig 1 )1 (1) (T e1 ) 1 (n) (T en ) =

Sn

1 Sn

(Sig ) (1) (T e1 ) (n) (T en ) = (1 n )](T (e1 ), . . . , T (en )) =

(b)

Sn

= det T
(e)
det T = (1 n )(T (e1 ), . . . , T (en )) =

(Sig )1 (T e(1) n (T e(n) =

Sn

(Sig )a1,(1) an,(n)

Sn


Definici
on 2.10. Se define el determinante de una matriz cuadrada A como el determinante
de su endomorfismo asociado.
De las propiedades anteriores se sigue:
= det A det A
(a) det(A A)
(b) A es invertible si y solo si det A 6= 0.
(c) det A = det At
(d ) det A = 0 si y solo si sus columnas (o filas) son linealmente independientes.
Se pueden demostrar facilmente todas las propiedades clasicas del determinante utilizando
las propiedades de los tensores hemisimetricos.
3.

Producto vectorial

Sea (E, T2 ) un R-espacio ecldeo de dimension 3 y sea {u1 , u2 , u3 } una base ortonormal de
E.
Tres vectores linealmente independientes {e1 , e2 , e3 } de E definen un volumen:
Volumen = | det(e1 , e2 , e3 )| = | det B| , siendo B la matriz del cambio de base.
Si G es la matriz de la metrica eucldea T2 en la base {e1 , e2 , e3 }, como la matriz de T2 en la
base ortonormal es I, de la formula del cambio de base para metricas G = B t IB se sigue:

det G = det(B t IB) = (det B)2 = | det B| = det G

Definici
on 3.1. En el sistema de coordenadas definido por la base {e1 , e2 , e3 } de E se llama
3-forma de volumen al tensor hemisimetrico

3 = det G 1 2 3 , donde {1 , 2 , 3 } es la base dual de {e1 , e2 , e3 }.

Como hemos visto en el problema resuelto 2.3 la aplicacion E

2 (E) dada por (e) = ie3
es un isomorfismo y su expresion en coordenadas respecto de una base {e1 , e2 , e3 } de E es:

E
2 (E)

(a, b, c) 7 det G(c, b, a) , donde ahora 3 = det G 1 2 3 .

As podemos definir:
Definici
on 3.2. Dados dos vectores e, e0 E su producto vectorial es el u
nico vector ee0
E tal que
(e e0 ) = i(e e0 )3 = 0 ,
siendo = ieT2 , 0 = ie0 T2 las formas lineales asociadas a la polaridad eucldea
Producto vectorial en coordenadas respecto de una base ortonormal
Si {e1 , e2 , e3 } es una base ortonormal de E, e = ae1 + be2 + ce3 y e0 = a0 e1 + b0 e2 + c0 e3 se
tiene:
T2 = I,

G = I,

3 = 1 2 3

= ieT2 = a 1 + b 2 + c e3 ,

0 = ie0 T2 = a0 1 + b0 2 + c0 e3

0 = (bc0 cb0 , (ac0 ca0 ), ab0 ba0 ) , en coordenadas respecto de la base de 2 (E).
Luego, en coordenadas respecto de una base ortonormal se tiene:


e1 e2 e3 


(a, b, c) (a0 , b0 , c0 ) = (bc0 cb0 , (ac0 ca0 ), ab0 ba0 ) =  a b c 
 a0 b 0 c 0