Indice general

2.

Algebra tensorial y exterior 3
2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2. Una nota sobre espacio dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3.

Algebra tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3.1. Tensores covariantes y contravariantes . . . . . . . . . . . . . . . . . . . . . . 4
2.4.

Algebra exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4.1. Producto exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.5. Accion de transformaciones lineales sobre tensores . . . . . . . . . . . . . . . . . . . . 10
2.5.1. Traspuesta de una transformacion lineal . . . . . . . . . . . . . . . . . . . . . 10
2.5.2. Pull-back y push-forward para tensores . . . . . . . . . . . . . . . . . . . . . . 11
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1
2

INDICE GENERAL
2

INDICE GENERAL
Captulo 2

Algebra tensorial y exterior

2.1. Introducci on
En este captulo se revisaran algunos temas de

Algebra Lineal y Multilineal que ya de por s son
de gran interes en la Matem atica y en la tecnica. As que se presentar an los conceptos funciones
multilineales, tensores sobre espacios vectoriales, espacios vectoriales de formas y elemento volumen
entre otros necesarios para presentar resultados importantes del Calculo en varias variables y en
ksupercies.
Todos los espacios vectoriales V, W, U usados en este captulo son de dimension nita y L(V ; W)
representa el espacio vectorial de todas las transformaciones lineales T : V W con las operaciones
usuales entre funciones.
2.2. Una nota sobre espacio dual
Sea V un espacio vectorial real. Como es usual, V

denotar a el espacio vectorial dual de V, esto

es, el espacio vectorial formado por todas las transformaciones (o funcionales) lineales T : V R.
Adem as si e = {e
i
: i = 1, , n} es una base para V, es decir cualquier elemento de V es combinacion
lineal de estos elementos, entonces su base dual asociada (de V

) es e

= {e
j
: j = 1, , n} es tal que
e
i
(e
j
) =
_
1, si i = j
0, si i = j.
Se observa que si x = x
1
e
1
+ + x
n
e
n
V, entonces e
j
(x) = x
j
esto es, e
j
actua como el funcional
lineal proyeccion en la jesima componente.
En la teora de tensores los elementos con superndices siempre estar an en el dual. por ejemplo
v
i
V

, u
j
U

Adem as, observese que si v V, entonces

v =
n

i=1
e
i
(v)e
i
3
4 CAP

ITULO 2.

ALGEBRA TENSORIAL Y EXTERIOR
y para cada V

,
=
n

i=1
(e
i
)e
i
.
Empleando la convencion, en donde la suma esta invocada cuando un ndice esta repetido inferior y
superiormente, estas expresiones se convierten en
v = e
i
(v)e
i
y = (e
i
)e
i
.
Se puede enviar V en V

= L(V

, R) en donde a cada v V se le asocia v

, denido por
v

() = (v) para todo V

. En el caso en que V tiene dimension nita V

y V tienen la misma
dimension y como la funci on V V

es uno a uno es por lo tanto un isomorsmo. Por identicaci on

se tiene que
e
j
(e
i
) = e

j
(e
i
) = e
i
(e
j
) =
_
1, si i = j
0, si i = j
2.3.

Algebra tensorial
Si V
1
, , V
n
son espacios vectoriales sobre un campo K, donde K = R o K = C, existen muchas
funciones
t : V
1
V
n
K
con caractersticas muy especiales y de gran utilidad en la Matem atica seg un el caso. En esta secci on
se estudiar a el caso cuando t es una funci on multilineal, esto es, lineal en cada componente. En
particular para n = 2, t debe satisfacer:
t(x
1
+ x
2
, y) = t(x
1
, y) + t(x
2
, y)
t(x, y
1
+y
2
) = t(x, y
1
) + t(x, y
2
)
t(cx, y) = ct(x, y) = t(x, cy)
Para todo x, x
1
, x
2
en V
1
y todo y, y
1
, y
2
en V
2
.
Por comodidad este estudio se presentar a sobre R (es decir cuando K = R). El conjunto de todas
las funciones multilineales en V
1
V
n
forman un espacio vectorial con suma y producto por
escalares las naturalmente denidas entre funciones.
2.3.1. Tensores covariantes y contravariantes
Denici on 2.3.1 Para un espacio vectorial V de dimensi on n, sea
T
r
s
(V ) = L
r+s
(V

, , V

, V, , V ; R)
r copias de V

y s copias de V, el espacio vectorial de todas las funciones multilineales de la forma

t : V

. .
r-copias
V V
. .
s-copias
R.
Los elementos de T
r
s
(V ) se llaman tensores de tipo
_
r
s
_
sobre V, contravariante de orden r y covariante
de orden s.
FAC. DE CIENCIAS Y EDU. - UNIV. DISTRITAL FRANCISCO JOS

E DE CALDAS
2.3.

ALGEBRA TENSORIAL 5
Denici on 2.3.2 (Producto tensorial) Sea V un espacio vectorial, si
t
1
T
r
1
s
1
(V ) y t
2
T
r
2
s
2
(V ),
el producto tensorial
t
1
t
2
T
r
1
+r
2
s
1
+s
2
(V )
esta dado por
t
1
t
2
(
1
, ,
r
1
,
1
, ,
r
2
, f
1
, , f
s
1
, g
1
, , g
s
2
)
= t
1
(
1
, ,
r
1
, f
1
, , f
s
1
)t
2
(
1
, ,
r
2
, g
1
, , g
s
2
)
donde
j
,
j
V

y f
1
, g
2
V.
Reemplazando R por un espacio F se obtiene T
r
s
(V ; F), el espacio tensorial con valores en F de tipo
_
r
s
_
.
Ahora observese que el producto tensorial no es conmutativo y satisface las siguientes propiedades:
t
1
(t
2
t
3
) = (t
1
t
2
) t
3
,
(t
1
+ t
2
) t
3
= t
1
t
3
+ t
2
t
3
,
t
1
(t
2
+ t
3
) = t
1
t
2
+ t
1
t
3
,
(ct
1
) t
2
= c(t
1
t
2
) = t
1
(ct
2
)
para todo t
1
, t
2
, t
3
tensores y c R
n
. Adem as,
(a) T
0
1
(V ) = V

,
(b) T
1
0
(V ) = V

,
(c) T
0
2
(V ) = L(V ; V

)
Por convencion se toma T
0
0
(V ; F) = F.
Teorema 2.3.1 Sea V un espacio vectorial tales que si {e
i
: i = 1, , n} es una base para V,
{e
j
: j = 1, , n} su base dual para V

. Entonces una base para T

r
s
(V ) est a dada por
_
e
i
1
e
i
r
e
j
1
e
j
s

i
k
, j
k
= 1, , n
_
. (2.1)
En particular, T
r
s
(V ) tiene una estructura de espacio vectorial con dimensi on n
r+s
.
Demostraci on.
Se debe demostrar que los elementos e
i
1
e
i
r
e
j
1
e
j
s
de T
r
s
(V ) son linealmente
independientes y general a T
r
s
(V ).
(a) Se supone una suma nita
t
i
1
i
r
j
1
j
s
e
i
1
e
i
r
e
j
1
e
j
s
= 0.
Entonces al aplicar esta ecuacion a (e
k
1
, , e
k
r
, e
l
1
, , e
l
s
) y usando la identicaci on e
i
(e
j
) =
e
j
(e
i
) se obtiene
t
i
1
i
r
j
1
j
s
= 0.
CARLOS A. JULIO-ARRIETA - CARRERA DE MATEM

ATICAS
6 CAP

ITULO 2.

ALGEBRA TENSORIAL Y EXTERIOR
(b) Sea t T
r
s
(V ). Si X
1
= x
1i
1
e
i
1
, , X
r
= x
ri
r
e
i
r
en V

, y tomando tambien Y
1
= y
1j
1
e
j
1
, , Y
s
=
y
si
s
e
j
s
en V, entonces
t(X
1
, , X
r
, Y
1
, , Y
s
) =t(x
1i
1
e
i
1
, , x
ri
r
e
i
r
, y
1j
1
e
j
1
, , y
sj
r
e
j
s
)
=t(e
i
1
, , e
i
r
, e
j
1
, , e
j
s
) x
1i
1
x
ri
r
y
1j
1
y
sj
s
Como
x
1i
1
x
ri
r
y
1j
1
y
sj
s
=e
i
1
(X
1
) e
i
r
(X
r
)e
j
1
(Y
1
) e
j
s
(Y
s
)
=e
i
1
e
i
r
e
j
1
e
j
s
(X
1
, , X
r
, Y
1
, Y
s
),
todo esto muestra que
t = t(e
i
1
, , e
i
r
, e
j
1
, , e
j
s
) e
i
1
e
i
r
e
j
1
e
j
s
. (2.2)
Lo que demuestra el Teorema.

El espacio tensorial T
r
s
(V ) tiene, por Teorema anterior, tiene otra notacion m as intuitiva dada por:
V V V

(2.3)
donde se presentan r copias de V y s copias de V

.
Ejemplos
Ejemplo 2.3.1 Sean
e
1
= (1, 0, , 0), e
2
= (0, 1, 0, , 0), , e
n
= (0, , 0, 1)
los vectores de la base can onica de R
n
y {e
i
, 1 i n} base para (R
n
)

dual a {e
1
, , e
n
}.
Son
_
0
2
_
tensores sobre R
n
:
t = e
1
e
n
, t = e
1
e
2
+ 5e
2
e
n
.
Un tensor de tipo
_
0
3
_
es
t = e
n
e
2
e
3
Por ultimo un tensor de tipo
_
1
2
_
es
t = 2e
1
e
1
e
2
+ 4e
2
e
1
e
1
+ 6e
3
e
2
e
3
Ejemplo 2.3.2
(a) Si t es un
_
0
2
_
tensor sobre V, entonces t tiene componentes
t
ij
= t(e
i
, e
j
),
es decir una matriz de tama no n n. Esta es la forma usual de asociar una forma bilineal con
una matriz. Por ejemplo, en R
2
la forma bilineal
t(x, y) = Ax
1
y
1
+ Bx
1
y
2
+ Cx
2
y
1
+ Dx
2
y
2
(donde x = (x
1
, x
2
) y y = (y
1
, y
2
)) esta asociada a la matriz
_
A B
C D
_
FAC. DE CIENCIAS Y EDU. - UNIV. DISTRITAL FRANCISCO JOS

E DE CALDAS
2.4.

ALGEBRA EXTERIOR 7
(b) Si t es un
_
0
2
_
tensor sobre R
2
, entonces tiene sentido decir que t es simetrico si
t(e
1
, e
2
) = t(e
2
, e
1
).
Esto es equivalente a decir que la matriz t
ij
es simetrica. Un
_
0
2
_
tensor simetrico se puede
recuperar de su forma cuadratica Q(e) = t(e, e) por
t(e
1
, e
2
) =
1
4
_
Q(e
1
+ e
2
) Q(e
1
e
2
)

y t tiene como matriz asociada

_
A B
B D
_
entonces Q(x) = Ax
2
1
+ 2Bx
1
x
2
+ Dx
2
2
(c) En general, un
_
0
s
_
tensor simetrico se dene con la condicion
t(v
1
, , v
s
) = t(v
(1)
, , v
(s)
)
para toda permutacion de {1, , s}, y para todos elementos v
1
, , v
s
V. Se le puede
asociar a t un polinomio homogeneo de grado k :
P(v) = t(v, , v)
y como en el caso s = 2, P y t determina uno al otro. Tambien se puede hacer una denicion
similar para el caso de
_
r
0
_
tensores. Es claro que un tensor es simetrico si y solo si todas sus
componentes en cualquier base son simetricos.
(d) Un producto interior , sobre V es un
_
0
2
_
tensor y su matriz se escribe generalmente con
g
ij
= e
i
, e
j
. As g
ij
es simetrico y dedo positivo. La matriz inversa se escribe con g
ij
.
2.4.

Algebra exterior
Esta secci on trata fundamentalmente de un ejemplo importante de tensores sobre espacios vec-
toriales, llamado tensores alternados que son usados en muchos apartes de la Geometra Diferencial
y en integraci on sobre variedades. Sea V un espacio vectorial de dimension nita n sobre el campo
F, un elemento
t T
0
k
(V ; F) = L
k
(V ; F);
es decir, una funci on klineal de V V F se dice anti-simetrica cuando
t(x
1
, , x
i
, , x
j
, , x
k
) = t(x
1
, , x
j
, , x
i
, , x
k
).
para todo x
1
, , X
k
V. Esto es equivalente a decir que
t(x
1
, , x
k
) = (sig )t(x
(1)
, , x
(k)
).
donde es cualquier elemento de S
k
, el grupo de permutaciones de k elementos. El subespacio de
L
k
(V ; F), formado por todos los elementos anti-simetricos con valores en F, se denota con
k
(V ; F) y
CARLOS A. JULIO-ARRIETA - CARRERA DE MATEM

ATICAS
8 CAP

ITULO 2.

ALGEBRA TENSORIAL Y EXTERIOR
recibe el nombre de kformas exteriores con valores en F; si el campo F es naturalmente concebido,
solo se dira kformas exteriores o simplemente kformas. Por denicion,
0
(V ; F) = F. Cuando
F = R, se escribe
0
(V ) = R
1
(V ) = V

y
k
(V ) al subespacio vectorial de L
k
(V ; R) formado por
los elementos que son anti-simetricos.
Si v
1
, v
2
, v
k
son funcionales lineales se puede obtener un elemento v
1
v
k
de
k
(V, F) denido
por
v
1
v
2
v
k
(w
1
, , w
k
) =

v
1
(w
1
) v
1
(w
k
)
v
2
(w
1
) v
2
(w
k
)
.
.
.
.
.
.
v
k
(w
1
) v
k
(w
k
)

para todo w
1
, , w
k
V.
La funci on de determinante implica que v
1
v
2
v
k
es klineal y alternada y si v
i
= v
j
, entonces
v
1
v
k
= 0.
Teorema 2.4.1 Sea e = (e
1
, , e
n
) una base para V y e

= (e
1
, , e
n
) base dual de e para V

,
entonces
(a) e
i
e
j
= e
i
e
j
e
j
e
i
.
(b) El conjunto
_
e
i
1
e
i
k
: 1 i
1
< i
2
< < i
k
n,
_
(2.4)
donde i
j
{1, 2, , n}, forma una base para
k
(V, F).
(c) dim
k
(V ) =
_
n
k
_
Demostraci on. La parte (a) se obtiene de manera inmediata al aplicar la denicion de determinante
de orden 2 2. Para demostrar (b) primero se observa que los elementos del conjunto dado son
linealmente independientes ya que si

i
1
<<i
k
A
i
1
i
k
e
i
1
e
i
k
= 0, i
j
{1, 2, , n},
es aplicado a (e
j
1
, , e
j
k
), con j
1
< < j
k
y j
l
{1, 2, , n} se obtiene que

i
1
<<i
k
A
i
1
i
k
e
i
1
e
i
k
(e
j
1
, , e
j
k
) = 0,
lo que implica que A
i
1
i
k
= 0.
Para mostrar que el conjunto genera a
k
(V, F), se considera f
k
(V, F) y sea

i
1
<<i
k
f(e
i
1
e
i
k
)e
i
1
e
i
k
= g
entonces g
k
(V ; F). Adem as,
g(e
i
1
, , e
i
k
) = f(e
i
1
, , e
i
k
),
FAC. DE CIENCIAS Y EDU. - UNIV. DISTRITAL FRANCISCO JOS

E DE CALDAS
2.4.

ALGEBRA EXTERIOR 9
para todo i
1
, , i
k
. lo que forza que f = g. Haciendo f(e
i
1
, , e
i
k
) = A
i
1
i
k
se obtiene
f =

i
1
<<i
k
f(e
i
1
e
i
k
)e
i
1
e
i
k
. (2.5)
(c) es consecuencia inmediata de (b).

Si w es una kforma lineal y una kforma, es decir,

w =

i
1
<<i
k
a
i
1
i
k
e
i
1
e
i
k
, =

i
1
<<i
k
b
i
1
i
k
e
i
1
e
i
k
,
(2.6)
es natural tener el siguiente par de operaciones:
(a) La suma
w + =

i
1
<<i
k
(a
i
1
i
k
+ b
i
1
i
k
)e
i
1
e
i
k
,
(2.7)
(b) El producto por escalares
w =

i
1
<<i
k
a
i
1
i
k
e
i
1
e
i
k
,
(2.8)
2.4.1. Producto exterior
Sean
w =

i
1
<<i
k
a
i
1
i
k
e
i
1
e
i
k
, =

j
1
<<j
k
b
j
1
j
s
e
j
1
e
j
s
(2.9)
el producto exterior w, es la (k+s)forma denida de la siguiente manera: para entonces
w =

i
1
<<i
k
j
1
<<j
s
a
i
1
i
k
b
j
1
j
s
e
i
1
e
i
k
e
j
1
e
j
s
Es inmediato vericar que la operacion de producto exterior goza de las siguientes propiedades:
w
k
(V ),
s
(V ) y
r
(V ), entonces
(w ) = w ( ),
w = (1)
ks
w,
(cw) = c(w ) = w (c),
(w + ) = w + , (si k = s),
w ( + ) = w + , (si s = r).
CARLOS A. JULIO-ARRIETA - CARRERA DE MATEM

ATICAS
10 CAP

ITULO 2.

ALGEBRA TENSORIAL Y EXTERIOR
El producto exterior , junto con con las operaciones usuales entre funciones, inducen en la suma
directa
(V ) =
0
(V )
1
(V )
n
(V ),
la estructura de algebra no conmutativa con elemento unidad, el 1 de
0
(V ), llamada

Algebra
exterior o

Algebra de Grassman de V

. y
dim(V ) =
_
n
0
_
+
_
n
1
_
+ +
_
n
n 1
_
+
_
n
n
_
= 2
n
2.5. Accion de transformaciones lineales sobre tensores
Primero se observa un efecto que tienen las transformaciones lineales sobre espacios vectoriales
duales.
2.5.1. Traspuesta de una transformacion lineal
Si Hom(V, W) la traspuesta de , denotada con

Hom(W

, V

) se dene por: para todo

W

() V

y para v V

()(v) = ((v)) o (

(), v) = (, (v)).
Se analizar a entonces la matriz de y de

. Como es costumbre en algebra lineal, los vectores en

una base dada se representan por columnas cuyas entradas son las componentes del vector. Sean
Hom(V, W) y v = (v
1
, , v
n
), w = (w
1
, , w
m
) bases ordenadas de V y W respectivamente.
Como existen escalares A
a
i
tales que
(v
i
) = A
a
i
w
a
donde se colocanndices diferentes en la sumatoria para no confundirse con los ndices en W, entonces
la matriz de es
A =
_
A
a
i
_
mn
=
_
_
_
A
1
1
A
1
n
.
.
.
.
.
.
A
m
1
A
m
n
_
_
_
El ndice superior proporciona el ndice de las las y el ndice inferior proporciona el ndice de las
columnas.
Tambien observese que si x = x
i
v
i
V,
(x) = x
i
(v
i
) = x
i
A
a
i
w
a
,
las componentes de (x)
a
= A
a
i
x
i
. Luego pensando x y (x) como vectores columnas, esta formula
muestra que (x) se calcula multiplicando a x a la izquierda por A, la matriz de , como en algebra
Lineal Elemental, esto es,
(x) = A x.
Consecuentemente, (v
i
) representa la i-esima columna de la matriz de .
FAC. DE CIENCIAS Y EDU. - UNIV. DISTRITAL FRANCISCO JOS

E DE CALDAS
2.5. ACCI

ON DE TRANSFORMACIONES LINEALES SOBRE TENSORES 11

Ahora se estudia la matriz de

Hom(W

, V

). En efecto, si v

= (v
1
, , v
n
) y w

= (w
1
, , w
m
)
son las bases duales ordenadas de v y w respectivamente, entonces

(w
a
)(v
i
) = w
a
((v
i
)) = w
a
(A
b
i
w
b
) = A
b
i
(w
a
w
b
) = A
b
i

a
b
= A
a
i
Por lo tanto,

(w
a
) en la base v

de V

es

(w
a
) = A
a
i
v
i
En este caso, se observa que la variaci on de los subndices en A
a
i
es como sigue: el ndice superiore
es el ndice de las columnas y el inferior es el de las las, esto es, la matriz de

respecto a las bases

v

y w

es
_
_
_
A
1
1
A
m
n
.
.
.
.
.
.
A
1
n
A
m
n
_
_
_
= A
t
donde t esta indicando traspuesta. Si =
a
w
a
W, entonces

() =
a

(w
a
) =
a
A
a
i
v
i
.
La i-esima la componente de

() es igual
a
A
a
i
. Observese que los elementos en el dual se
presentan como las cuyas entradas son sus componentes en la base dual, la conclusi on inevitable en
los c alculos es que

() se calcula multiplicando a derecha por A, la matriz de , otra vez como

en

Algebra Lineal, esto es,

() = (A
a
i
),
o bien

() = (A
a
i
)
t

donde A
t
indica la matriz traspuesta de A.
2.5.2. Pull-back y push-forward para tensores
Ahora, se puede trabajar el efecto que tienen las transformaciones lineales sobre tensores.
Denici on 2.5.1 Sea Hom(V, W),
(a) se dene el pull-back (regreso) de :

Hom(T
0
s
(W), T
0
s
(V )) por

t(v
1
, , v
s
) = t((v
1
), , (v
s
))
donde t T
0
s
(W) y v
1
, , v
s
V.
(b) Si es un isomorsmo, se dene el push-forward (empuje) de :
T
0
s
=

Hom(T
0
s
(V ), T
0
s
(W))
por

t(w
1
, , w
s
) = t(
1
(w
1
), ,
1
(w
s
))
donde t T
0
s
(V ) y w
1
, , w
s
W (ver, Figura 4.10).
CARLOS A. JULIO-ARRIETA - CARRERA DE MATEM

ATICAS
12 CAP

ITULO 2.

ALGEBRA TENSORIAL Y EXTERIOR

=push forward

=pull back
Objetos sobre V Objetos sobre W

V
W
Figura 4.10
Estas guras proporcionan la razon de los nombres de pull back (o traspuesta) y push forward.
El push-forward y el pull back de se pueden presentar para tensores mixtos, en efecto, se
empieza con el push-forward, si Hom(V, W) es un isomorsmo, entonces se dene
T
r
s
=

Hom(T
r
s
(V ), T
r
s
(W)) (2.10)
se dene por

t (w
1
, , w
r
, w
1
, , w
s
) = t (

(w
1
), ,

(w
r
),
1
(w
1
), ,
1
(w
s
))
para todo t T
r
s
(V ), y todo w
i
W

, w
j
W. Tambien, Como la funci on (
1
)

actua enviando
hacia atr as, o traspone hacia atras, este es pull-back de y se denota con

(recuerde que la
traspuesta de coincide con esta idea y este smbolo). En tal caso y por denicion se debe tener:
para Hom(V, W) un isomorsmo

Hom(T
r
s
(W), T
r
s
(V )) si y solo si

t(v
1
, , v
r
, v
1
, , v
s
) = t(
1
(v
1
), ,
1
(v
r
), (v
1
), , (v
s
))
Notese que T
0
1
= (
1
)

. Si V y W son de dimension nita entonces

T
1
0
(V ) = V y T
1
0
(W) = W
adem as, en lo sucesivo se identica con T
1
0
.
El Siguiente par de teorema aseguran que

son compatibles con la composicion y el producto

tensorial. Su prueba es inmediata.
FAC. DE CIENCIAS Y EDU. - UNIV. DISTRITAL FRANCISCO JOS

E DE CALDAS
2.5. ACCI

ON DE TRANSFORMACIONES LINEALES SOBRE TENSORES 13

Teorema 2.5.1 Sean Hom(V, W), Hom(W, G). Entonces
(a) ( )

.
(b) Si i : V V es la identidad, entonces tambien lo es i

Hom
_
T
0
s
(V ), T
0
s
(V )
_
.
(c) Si es un isomorsmo, entonces tambien lo es

.
(d) Si t
1
T
0
s
1
(W) y t
2
T
0
s
2
(W), entonces

(t
1
t
2
) =

(t
1
)

(t
2
).
Demostraci on. Se demuestra (a) y se deja como ejercicio (b), (c) y (d). En efecto, bajo hip otesis
( )

t(v
1
, , v
s
) =t( (v
1
), , (v
s
))
=t(((v
1
)), , ((v
s
)))
=

t(v
1
, , v
s
)
Lo que termina la prueba.

Teorema 2.5.2 Sean : V W, : W G isomorsmos. Entonces

(a) ( )

.
(b) Si i : V V es la identidad, entonces tambien lo es
i

: T
r
s
(V ) T
r
s
(V ).
(c)

: T
r
s
(V ) T
r
s
(V ) es un isomorsmo y (

)
1
= (
1
)

.
(d) si t
1
T
r
1
s
1
(V ) y t
2
T
r
2
s
2
(V ), entonces

(t
1
t
2
) =

(t
1
)

(t
2
).
Demostraci on. Para demostrar (a), primero se observa que es un ejercicio de

Algebra Lineal Basica
vericar que la traspuesta de una composicion de transformaciones lineales satisface ()

.
Luego

t)(f
1
, , f
r
, g
1
, , g
s
) =
=

t
_

(f
1
), ,

(f
r
),
1
(g
1
), ,
1
(g
s
)
_
= t
_

(f
1
), ,

(f
r
),
1

1
(g
1
), ,
1

1
(g
s
)
_
= t
_
( )

(f
1
), , ( )

(f
r
), ( )
1
(g
1
), , ( )
1
(g
s
))
_
= ( )

t(f
1
, , f
r
, g
1
, , g
s
),
donde f
1
, , f
r
G

, g
1
, , g
s
G y t T
r
s
(V ).
La parte (b) es una consecuencia inmediata de la denicion y el hecho que i

= i e i
1
= i. Para
(c) observese que por (a) y (b) se tiene

(
1
)

= i

, la identidad en T
r
s
(W); similarmente,
(
1
)

= i

la identidad en T
r
s
(V ), y as (c) es verdadero. Finalmente (d) es una consecuencia
de la denicion.

CARLOS A. JULIO-ARRIETA - CARRERA DE MATEM

ATICAS
14 CAP

ITULO 2.

ALGEBRA TENSORIAL Y EXTERIOR
Observaciones
Sean V y W espacios vectoriales (de dimension nita). Si : V W es una transformacion lineal
con
{v
i
: i = 1, , n}, {w
j
: j = 1, , m}
bases para V y W respectivamente y sus bases duales
{v
i
: i = 1, , n}, {w
j
: j = 1, , m}
respectivamente. Entonces
(a)

(w
j
)(v) = w
j
((v)), es decir,

actua sobre elementos basicos como la traspuesta de .

(b) Si es un isomorsmo, entonces

(v
i
) = T
0
1
(v
i
) = (
1
)(v
i
),
ya que por denicion
T
0
1
(v
i
)(w) = v
i
(
1
(w)) = (
1
)

v
i
(w)
(c)

(v
i
) = T
1
0
(v
i
) = (v
i
). Ya que de nuevo por denicion
T
1
0
(v
i
)(w

) = v
i
(

(w

)) =

(v
i
(w

)) = ((v
i
))(w

)
(d)

(w
j
) =
1
(w
j
). Ya que

(w
j
)(v) = T
0
1

1
(w
j
)(v) = w
j
((
1
)

v) = (
1
w
j
)v.
Ejemplo 2.5.1 Sobre R
2
se toma la base estandar {e
1
, e
2
}. Si y t = e
1
e
2
y w = e
1
e
2
. Calcular

t,

w cuando : R
2
R
2
con
(x, y) =
_
2 1
1 1
__
x
y
_
.
Solucion. Primero se observa que si
A =
_
2 1
1 1
_
entonces,
A =
_
2 1
1 1
_
= A
t
y A
1
=
_
1 1
1 2
_
= (A
1
)
t
,
con lo que

(e
1
) =
_
1 1
1 2
__
1
0
_
= e
1
+ e
2
,
y

(e
2
) =
_
1 1
1 2
__
0
1
_
= e
1
+ 2e
2
.
FAC. DE CIENCIAS Y EDU. - UNIV. DISTRITAL FRANCISCO JOS

E DE CALDAS
2.6. EJERCICIOS 15
Por lo tanto,

t =

(e
1
)

(e
2
) = (2e
1
+ e
2
) (e
1
+ e
2
) = e
1
e
2
.
Y como

(e
1
) =
1
(e
1
) =
_
1 1
1 2
__
1
0
_
= e
1
e
2
,
entonces

w = (e
1
e
2
) (e
1
+ 2e
2
) = e
1
e
1
+ e
1
e
2
e
2
e
1
e
2
e
2
.
2.6. Ejercicios
1. Sea e = (1, 0, , 0) e
2
= (0, 1, 0, , 0) e
n
= (0, , 0, 1) base para R
n
con base dual e
1
, , e
n
para (R
n
)

. Probar que
t = e
1
e
1
+ + e
n
e
n
es un
_
0
2
_
tensor sobre R
n
y que coincide con el producto interior usual (o canonico) de R
n
.
Cu al es su representacion matricial?.
2. Probar que todo producto interno sobre un espacio vectorial V es un
_
0
2
_
tensor sobre V.
3. Sea V un espacio vectorial de dimension nita n. Probar:
a) T
1
0
(V )=V

c) T
0
2
(V )=L(V, V

)
b) T
0
1
(V )=V

d) T
1
1
(V )=L(V, V

)
4. Sea V un espacio vectorial de dimension nita n. Si w
k
(V ),
s
(V ) y
r
(V ),
entonces demostrar que
a) (w ) = w ( ), d) w ( + ) = w + , (si s = r),
b) (cw) = c(w ) = w (c), e) (w + ) = w + , (si k = s),
c) w = (1)
ks
w.
5. Probar que si v
1
, ..., v
n
son elementos de R
n
, entonces el volumen del paraleleppedo formado
por estos y el origen, es decir, el volumen de
p(0; v
1
, ..., v
n
) = {v R
n
: v = t
1
v
1
+ ... + t
n
v
n
, t [0, 1]}
es el valor absoluto del determinante la matriz cuyas columnas son las componentes de los
vectores v
1
, ..., v
n
.
Sugerencia: usar integraci on multiple bajo un cambio de coordenadas adecuado.
CARLOS A. JULIO-ARRIETA - CARRERA DE MATEM

ATICAS
16 CAP

ITULO 2.

ALGEBRA TENSORIAL Y EXTERIOR
6. m-volumen: Sean a
1
, ..., a
m
vectores linealmente independientes en R
n
, m n. Probar que el
mvolumen del paraleleppedo, sobre el mespacio vectorial, formado por los a
1
, , a
m
y el
origen esta dado por
vol(p(0; a
1
, ..., a
m
)) = det
_
_
_
_
_
_
_
a
1
, a
1
... a
1
, a
m

.
.
.
.
.
.
a
m
, a
1
... a
m
, a
m

_
_
_
_
_
_
_
7. En el problema (6), se considera R
n
con base can onica
e = {e
1
= (1, 0, , 0), e
n
= (0, , 0, 1)}
con base dual e

= {e
1
, e
n
} para
_
R
n

. Si = a
1
a
m
, donde cada a
i
, i = 1, , m
es el vector correspondiente a a
i
en [R
n
]

bajo el isomorsmo : R
n
[R
n
]

dado por, si
x = x
1
e
1
+ + x
n
e
n
R
n
, entonces
(x) = x
1
e
1
+ +x
n
e
n
.
Probar entonces que
[vol(p(0; a
1
, , a
m
))]
2
= (a
1
, , a
m
),
donde = a
1
a
m
. recibe el nombre de Elemento volumen.
8. Bajo las hipotesis del ejercicio 7, probar
a
1
a
m
(a
1
, , a
m
) =

i
1
<<i
m
det
_
_
_
_
a
i
1
1
a
i
m
1
a
i
1
m
a
i
m
m
_
_
_
_
donde a
1
= (a
11
, , a
1n
), a
m
= (a
m1
, , a
mn
) con m n.
9. Sean V, W y Q espacios vectoriales de dimension nita. Si : V W y : W Q son
transformaciones lineales, entonces probar
a) ( )

b) Si t
1
T
0
s
1
(W), t
2
T
0
s
2
(W), entonces

(t
1
t
2
) = (

t
1
) (

t
2
)
c) Sea e
1
=(1, 0, 0), e
2
=(0, 1, 0), e
3
=(0, 0, 1) base usual de R
3
y (e
1
, e
2
, e
3
) base dual para
[R
3
]

. Si : R
3
R
3
esta dada por
(x, y, z) =
_
_
1 1 1
0 1 1
0 0 1
_
_
_
_
x
y
z
_
_
Calcular:
FAC. DE CIENCIAS Y EDU. - UNIV. DISTRITAL FRANCISCO JOS

E DE CALDAS
2.6. EJERCICIOS 17
(i)

(e
1
e
2
)
(ii)

(e
1
e
3
)
(iii)

(t) si t = e
1
e
2
+ 2e
1
e
3
10. Sean V y W espacios vectoriales con bases {e
i
: i = 1, , n}, {w
j
: j = 1, , m} con bases
duales {e
i
: i = 1, , n}, {w
j
: j = 1, , m} respectivamente para V

y W

.
a) Expresar en funci on del producto tensorial la expresion e
1
(e
2
e
3
).
b) Sean T
k
(W) y : V W una transformacion lineal. Demostrar
(i)

(T S) = (

T) (

S), S
r
(W)
(ii) Si : V V (transformaci on lineal, dim V = n), entonces para cada T
n
(V ) se
tiene que

T = (det )T, en particular

(e
1
e
n
) = (

e
1
) (

e
n
) = (det )e
1
e
n
11. Sea V un espacio vectorial de dimension nita 2n. Sea {e
1
, , e
n
, f
1
, , f
n
} una base para
V, con base dual {e
1
, , e
n
, f
1
, , f
n
} para V

. Si
= e
1
f
1
+ +e
n
f
n
y se dene

k
=
. .
kfactores
, (k = 1, 2, , ).
Demostrar que
a) e
i
f
i
conmuta con e
j
f
j
,
b)
n
= n! e
1
f
1
e
n
f
n
CARLOS A. JULIO-ARRIETA - CARRERA DE MATEM

ATICAS