Producto tensorial

0.1 Transformaciones multilineales

Denicin 1 Sean E, F y G tres espacios vectoriales. Una transformacin o o : E F G se llama bilineal si satisface las siguientes condiciones: (x1 + x2 , y) = (x1 , y) + (x2 , y) (x, y1 + y2 ) = (x, y1 ) + (x, y2 ) ; x1 , x2 E, y F ; R C o ; y1 , y2 F, x E; R C. o

Observacin: Si G = R C, se llama una funcin bilineal. o o o Sea (E F ) := {z G / z = (x, y) ; x E , y F }. Entonces (E F ) no es necesariamente un subespacio de G. Por lo tanto denotamos: im = (E F ) subespacio generado por (E F ). Adems, denotamos a B(E, F ; G) := { : E F G / es transformacin bilineal }. o Si denimos (1 + 2 )(x, y) = 1 (x, y) + 2 (x, y) ()(x, y) = (x, y) ; x E, y F

; x E, y F, R C. o

Entonces B(E, F ; G) es un espacio vectorial. Observacin: Si G = R C, B(E, F ; G) B(E F ) es el espacio de o o todas las funciones bilineales de E F en R C. o 1

Denicin 2 Sean E, F y G espacios vectoriales y sea : E F G una o transformacin bilineal. El par (G, ) se llama un producto tensorial para E o y F si se satisfacen las condiciones siguientes: 1 : im = G. 2 : Si : E F H es una transformacin bilineal de E F en cualquier o espacio vectorial H, entonces existe una transformacin lineal f : G H o tal que = f (Propiedad de factorizacin). o Observacin: En forma de diagrama, 2 dice que el diagrama: o E F H

puede siempre completarse a un diagrama conmutativo: E F H

Proposicin 3 Las condiciones 1 y 2 son equivalentes a la condicin : o o : Si : E F H es una transformacin bilineal en cualquier espacio o vectorial H, entonces existe una unica transformacin lineal f : G H tal o que = f (propiedad de factorizacin unica). o Demostracin. o (i) Sea : E F H y supongamos que existen dos transformaciones lineales f1 : G H y f2 : G H tales que = f1 y 2 = f2 .

Entonces (f1 f2 ) = 0. Lo cual implica que f1 = f2 . En efecto: Sea x G. Por 1 , x (E F ) , esto es, x = i (xi , yi ); donde xi E, yi F . Luego: i (f1 )(xi , yi ) i (xi , yi ) i (f2 )(xi , yi )

(f1 f2 )(x) = = = 0.

i (xi , yi )

(ii) Supongamos que el par (G, ) satisface . Entonces 2 se cumple. Debemos probar 1 . En efecto: se dene la aplicacin bilineal : E F o im por (x, y) = (x, y) (esto es, tomamos H = im ) E F im

G
f

Por hiptesis existe f : G im tal que f = . o Sea j : im G la inclusin cannica (i.e. j(x) = x x, pues im es un o o subespacio de G). Entonces j = . Adems, a (j f ) = j (f ) = j = . Pero, por otra parte, i = , donde i : G G es la identidad (i.e. i(x) = x x). Luego, por unicidad, se debe tener: j f = i. Esto implica que j : im G es sobreyectiva (En efecto: Si z G entonces existe f (z) en im tal que j(f (z)) = i(z) = z). Por lo tanto, im = G. 3

Notacin: Si el par (G, ) es un producto tensorial para E y F , escribimos o G como E F y (x, y) como x y. Luego, la bilinealidad se expresa en la siguiente forma: (x1 + x2 ) y = x1 y + x2 y x (y1 + y2 ) = x y1 + x y2 Ejemplos 1) Sea E u e.v. sobre R y se dene una transformacin bilineal : RE o E como x = x. Entonces el par (E, ) es un producto tensorial de R y E. En efecto: Veamos 1 : (R E) = R E = E, luego, es claro que im = E. Veamos 2 : Sea : R E H bilineal y denamos f : E H como f (x) := (1, x) y tal que R E H

; x1 , x2 E, y F

; x E, y1 , y2 F, R C. o

E f = . Esto prueba 2 .

Entonces f ( x) = f (x) = (1, x) = (1, x) = (, x); esto es, Concluimos que el par (E, ) es un producto tensorial de R y E. Esto es: R E = E. En particular = con = . 2) Sea : Rn Rm Mnm (R) denida por x1 y 1 . ((x1 , . . . , xn ), (y1 , . . . , ym )) = . . xn y 1 4

x1 ym . . . xn y m

.
nm

Probaremos que (Mnm (R), ) es un producto tensorial para Rn y Rm (luego, Rn Rm = Mnm (R)). En efecto Veamos 1 : (Rn Rm ) = Mnm (R). Sea A Mnm (R) tal : 12 1m 11 21 22 2m que A = . . entonces . . . . . . . n1 n2 nm ((11 , 21 , . . . , n1 ), (1, 0, 0, . . .)) + ((12 , 22 , . . . , n2 ), (0, 1, 0, . . .)) + + ((1m , 2m , . . . , nm ), (0, 0, . . . , 1)) 0 12 0 11 0 0 21 0 0 0 22 0 = . . . . . + . . . . . . . . . . . . . 0 n2 0 n1 0 0 11 1m . . . = . . . n1 nm 0 0 . . . 0 0 1m 0 2m . . . . . . 0 nm

+ +

o sea: Dado A Mnm (R), existen xi Rn , yi Rm tales que A= Por lo tanto A (Rn Rm ) . Veamos ahora 2 : Sea : Rn Rm H bilineal. Rn Rm

(xi , yi ).

H
f

Mnm (R) Por ejemplo: con n = m = 2, denamos: f a b c d = ((1, 0), (a, b)) + ((0, 1), (c, d)). 5

Entonces f lineal: f a1 b1 c1 d 1 + a 2 b2 c2 d2 =f a1 + a2 b1 + b2 c1 + c2 d1 + d2

= ((1, 0), (a1 + a2 , b1 + b2 )) + ((0, 1), (c1 + c2 , d1 + d2 )) = ((1, 0), (a1 , b1 ) + (a2 , b2 )) + ((0, 1), (c1 , d1 ) + (c2 , d2 )) = ((1, 0), (a1 , b1 ))+((1, 0), (a2 , b2 ))+((0, 1), (c1 , d1 ))+((0, 1), (c2 , d2 )) = [((1, 0), (a1 , b1 ))+((0, 1), (c1 , d1 ))]+[((1, 0), (a2 , b2 ))+((0, 1), (c2 , d2 ))] = f a1 b1 c1 d1 +f a2 b2 c2 d2

Finalmente, (f )((x1 , x2 ), (y1 , y2 )) = f x1 y1 x1 y2 x2 y1 x2 y2

= ((1, 0), (x1 y1 , x1 y2 )) + ((0, 1), (x2 y1 , x2 y2 )) = ((1, 0), x1 (y1 , y2 )) + ((0, 1), x2 (y1 , y2 )) = x1 ((1, 0), (y1 , y2 )) + x2 ((0, 1), (y1 , y2 )) = (x1 (1, 0), (y1 , y2 )) + (x2 (0, 1), (y1 , y2 )) = ((x1 , 0), (y1 , y2 )) + ((0, x2 ), (y1 , y2 )) = ((x1 , 0) + (0, x2 ), (y1 , y2 )) = ((x1 , x2 ), (y1 , y2 )). Luego, f = . La generalizacin se deja como ejercicio. o 6

0.1.1

Propiedades del producto tensorial

1.- a b = 0 si a = 0 y b = 0. Demostracin. Si a = 0 y b = 0, existen f : E R lineal y g : F R o lineal respectivamente tales que f (a) = 0 y g(b) = 0 (sino: f (a) = 0 f E entonces a = 0 pues la forma bilineal f, a es no degenerada). Consideremos ahora la funcin bilineal p : E F R denida por p(x, y) = o f (x)g(y). E F R EF En vista de 2 , existe una funcin lineal h : E F R tal que h = p o esto es, h(x y) = f (x)g(y) para cada (x, y) E F .
h p

Luego: h(a b) = f (a)g(b) = 0. Por lo tanto, a b = 0. 2.- Sea z E F , z = 0; entonces z = L.I. Demostracin. Sea z E F entonces z = r i wi yi = r xi yi o i=1 i=1 donde xi i wi i y r es el minimo de manera que la descomposicin o anterior se cumple. Si r = 1 entonces x1 = 0 y y1 = 0 (por la Propiedad 1), en consecuencia {x1 } y {y1 } son dos conjuntos de vectores L.I. cada uno. e Supongamos que {xi }r son L.D. entonces, sin prdida de generalidad, i=1
r1 r i=1

xi yi donde {xi } y {yi } son

xr =
i=1

i xi 7

luego,
r1 r1 r1

z =
i=1 r1

xi yi + xr yr =
i=1 r1

xi y i + (
i=1

i xi ) yr

=
i=1 r1

xi yi +
i=1

i (xi yr )

=
i=1 r1

xi (yi + i yr ) xi yi
i=1

lo cual contradice la minimalidad de r. En la misma forma se puede mostrar que los vectores {yi }r son L.I. Esto prueba la propiedad. i=1 3.- Sean {aj }r E y {bj }r un subconjunto de vectores L.I. de F . Enj=1 j=1 tonces la ecuacin o
r j=1

aj bj = 0 implica que aj = 0 j = 1, . . . , r.

Demostracin. Ya que {bj } es un conjunto L.I. de vectores en F , se pueden o denir g1 , . . . , gr : F R funciones lineales tales que: gi (bj ) = ij (e.g.: g : {b1 , . . . , br } R tal que g1 (x) = g1 ( r i bi ) = 1 . Luego: i=1 g1 (x) , x {b1 , . . . , br } Sea g1 : F R tal que g1 (x) = 0 , otro caso entonces g1 (b1 ) = 1 y g1 (bj ) = 0 j = 2, . . . , r. ) Consideremos ahora la funcin bilineal o F (x, y) =
i

fi (x)gi (y) 8

donde fi : E R son funciones lineales (cualesquiera) en E. E F R EF Por 2 , existe h : E F R lineal tal que: h(x y) = F (x, y) =
i h

fi (x)gi (y)

luego,
r

h(
j=1

aj bj ) =
j

h(aj bj ) fi (aj )gi (bj )

j r i

= =
i=1

fi (ai ).
r i=1

Ahora, por hiptesis: o

r j=1

aj bj = 0; por lo tanto,

fi (ai ) = 0.

Como los fi son cualesquiera, elegimos fi 0 para cada i = k (por cada k = 1, . . . , r jo), esto da: fk (ak ) = 0. Como fn sigue siendo arbitrario, se tiene que ak = 0 (k = 1, . . . , r). Corolario 4 Si E y F tienen dimensin 1, entonces E F tiene dimensin o o 1. Demostracin. Ejercicio. o 4.- E F F E (conmutatividad del producto tensorial). = 9

Demostracin. o E F F E
1 2

EF esto es: 1 (x, y) =: x y y 2 (x, y) =: y x. Luego, debemos demostrar que 1 = 2 . Ya que 2 es bilineal, existe f : E F F E lineal tal que f 1 = 2 . Esto es: f (x y) = y x. De la misma forma E F E F
2 1

F E existe g : F E E F tal que g 2 = 1 ; esto es: g(y x) = x y. Entonces: g f 1 = g 2 = 1 esto es: g f 1 = 1 o equivalentemente: (g f )(x y) = (x y)
(1)

f g 2 = f 1 = 2

f g 2 = 2

(f g)(y x) = (y x).

10

Como im 1 = E F se tiene que g f = I. En efecto: Sea v E F . Entonces v = i xi yi , luego: (g f )(v) = (g f )( = = = v. Anlogamente: f g = I. Esto prueba que f ( g) es 1-1 y sobreyectiva. Por a o lo tanto, E F F E. = i xi yi )

i (g f )(xi yi ) i (xi yi ) de (1)

5.- Unicidad del producto tensorial. Supongamos que E F y E F son productos tensoriales de E y F . Entonces E F F E. = Demostracin. o E F E F
1 2

EF luego, 1 (x, y) = x y y 2 (x, y) = xy. Ya que 2 es bilineal, la propiedad de factorizacin implica que existe f : o E F E F lineal tal que: f 1 = 2 . Anlogamente: a E F E F
2 1

E F 11

existe g : E F E F tal que g 2 = 1 . Combinando ambas relaciones se obtiene: (g f )(x y) = x y y (f g)(xy) = xy.

Nuevamente, como im 1 = E F y im 2 = E F se obtiene que f g = i y g f = i, de donde sigue el resultado. 6.- Asociatividad del producto tensorial: (E F ) G E (F G). = Demostracin. Sea z G jo. Denamos z : E F E (F G) por o z (x, y) = x (y z). Es claro que z es bilineal: En efecto, z (x1 + x2 , y) = (x1 + x2 ) (y z) = x1 (y z) + x2 (y z) = z (x1 , y) + z (x2 , y) z (x, y1 + y2 ) = x (y1 + y2 z) = x [y1 z + y2 z] = x (y1 z) + x (y2 z) = x (y1 z) + x (y2 z) = z (x, y1 ) + z (x, y2 ) Por denicin de producto tensorial, el siguiente diagrama es conmutativo: o E F E (F G)
z

hz

EF esto es, existe una unica transformacin lineal hz : E F E (F G) o tal que hz = z , esto es: hz (x y) = z (x, y) = x (y z) x E, y F. 12

Sea : (E F ) G E (F G) denida por: (x y, z) = hz (x y). Entonces es bilineal: En efecto, ((x1 y1 ) + (x2 y2 ), z) = hz ((x1 y1 ) + (x2 y2 )) = hz (x1 y1 ) + hz (x2 y2 ) = (x1 y1 , z) + (x2 y2 , z) Adems, por unicidad, hz1 +z2 = hz1 + hz2 de donde sigue la linealidad en a la segunda componente (Ejercicio). As el siguiente diagrama es conmutativo: , (E F ) G E (F G)

(E F ) G esto es, existe una unica transformacin lineal g : (E F )G E (F G) o tal que g = , esto es: g((x y) z) = (x y, z) = hz (x y) = x (y z) (1)

Sea ahora x E jo. Denamos x : F G (E F ) G por x (y, z) = (x y) z. Claramente x es bilineal. El siguiente diagrama es ahora conmutativo:

x F G (E F ) G

bx h

F G esto es, existe una transformacin lineal hx : F G (E F ) G tal que o hx = x esto es: hx (y z) = x (y, z) = (x y) z. 13

Sea : E (F G) (E F ) G denida por (x, y z) = x (y z). Entonces es bilineal y el siguiente diagrama es conmutativo: E (F G) (E F ) G

g b

E (F G) esto es, existe una unica g : E (F G) (E F ) G tal que: g = , esto es: g(x (y z)) = (x, y z) = (x y) z. Luego, de (1) y (2) : (g g)(x (y z)) = g((x y) z) = x (y z) y (g g)((x y) z) = g(x (y z)) = (x y) z. Por lo tanto, g g = id y g g = id, luego g es un isomorsmo y, por lo tanto, (E F ) G E (F G). = (2)

Teorema 5 (Reduccin de transformaciones bilineales a lineales). o Sean E y F e.v. y E F un producto tensorial. Entonces L(E F ; G) B(E, F ; G) = para cada espacio vectorial G. 14

Demostracin. Se dene : L(E F ; G) B(E, F ; G) como: o (f ) := f f L(E F ; G)

i.e. (f ) : E F G tal que (f )(x, y) = f (x y). Claramente es lineal: (f1 + f2 )(x, y) = (f1 + f2 )(x y) = f1 (x y) + f2 (x y) = (f1 )(x, y) + (f2 )(x, y) = ((f1 ) + (f2 ))(x, y). i) es sobreyectiva. Sea b B(E, F ; G), entonces b : E F G es bilineal. Luego, por 2 , existe f : E F G tal que es lineal y f = b, esto es, (f ) = b. ii) es inyectiva. Como es lineal basta ver que (f ) = 0 implica f = 0. En efecto: Sea (f ) = 0, entonces (f )(x, y) = 0 x E, y F , esto es: f (x y) = 0 x E, y F . Sea z E F . Entonces z = f (z) = f (xi yi ) = 0. Por lo tanto, f 0. xi yi . Luego:

15

Ejercicios
1. Suponga que a b = 0. Demuestre que a b = a b si y slo si o a = a y b = 1 b; R, = 0. 2. Sea (G, ) un producto tensorial de E y F . Sean E1 E, F1 F . Sea 1 : E1 F1 G la restriccin de a E1 F1 . Entonces (im 1 , 1 ) o es un producto tensorial para E1 y F1 . 3. Sean {ai } y {bi } bases de E y F respectivamente. Entonces {ai bj } es una base de E F . 4. Demuestre que dim B(E, F ; G) = dim E dim F dim G. o 5. Sean E1 y E2 subespacios de E. Sea F e.v. de dimensin nita entonces (E1 F ) (E2 F ) = (E1 E2 ) F. 6. Sea E = E1 E2 y F = F1 F2 . Entonces E F = E1 F1 E1 F2 E2 F1 E2 F2 .

0.1.2

Producto tensorial de transformaciones lineales

Sean E, E , F , F cuatro espacios vectoriales. Consideremos dos transformaciones lineales : :EE ; 16 :F F .

Queremos denir una transformacin lineal o :EF E F para esto procedemos como ilustra el siguiente diagrama: E F H
p

EF Dados E y F , existe el producto tensorial E F . Por denicin, sabemos o que dada cualquier funcin bilineal p : E F H, H cualquier espacio o vectorial, existe una unica f : E F H tal que f = p (propiedad de factorizacin unica). Escojamos o p:EF E F denida por p(x, y) = (x) (y). Claramente p es bilineal. Luego, existe una unica funcin lineal : E F o E F tal que (x y) = p(x, y). Se dene: . Luego, por denicin: o ( )(x y) = (x) (y) y se llama el producto tensorial de las transformaciones lineales y .

0.1.3

Transformaciones Multilineales

Sea E un espacio vectorial y consideremos T k (E) := {f : E E R / F es multilineal }

kveces

17

el conjunto de todas las funciones que son multilineales. Los elementos de T k (E) los llamaremos tensores de orden k. Problema: Denir un producto en T k (E) y estudiar este espacio. Recordemos el isomorsmo: T k (E) L(k E; R) = denido en la seccin anterior. Aqu k = E E E . o , Consideremos ahora dos transformaciones lineales: T : k E R
kveces

S : l E R.

De acuerdo a la seccin anterior, podemos denir una unica transformacin o o lineal T S : k E l E R R, esto es: T S : k+l E R, tal que (T S)(x y) = T (x)S(y). Notar que T (x) T (y) = T (x)T (y) pues se trata del producto tensorial en R y R R R. = Ms precisamente, a (T S)(x1 xk y1 yl ) = T (x1 xk )S(y1 yl ) donde T S L(k+l E; R). Ya que L(k+l E; R) T k+l (E), lo anterior se puede traducir en trminos e = de funciones multilineales, esto es, se puede denir un (nico) producto de u funciones multilineales (o tensores de orden k). Ms precisamente, si T T k (E) y S T l (E), entonces la denicin a o (T S)(x1 , . . . , xk , y1 , . . . , yl ) = T (x1 , . . . , xk )S(y1 , . . . , yl ) ()

produce una funcin T S T k+l (E) llamada el producto de tensores T y S . o

18

Ejemplos de Tensores 1. Una funcin determinante es un tensor. o En efecto, basta recordar la denicin de la seccin 1.3: Es una funcin o o o : E E R multilineal y antisimtrica. e 2. Un producto interior es un tensor de orden 2. En efecto: Recordemos de la seccin 1.1 que un producto interior en una funo cin , : E E R bilineal, que es adems simtrica y denida positiva. o a e Proposicin 6 (Propiedades del producto de Tensores) o a) (S1 + S2 ) T = S1 T + S2 T b) S (T1 + T2 ) = S T1 + S T2 c) (aS) T = S (aT ) = a(S T ) d) (S T ) U = S (T U ) Demostracin. Usando la denicin (), se probar (a). Las partes (b), (c) o o a y (d) quedan de ejercicio.

[(S1 + S2 ) T ](x1 , x2 , . . . , xk , y1 , y2 , . . . , yl ) = (S1 + S2 )(x1 , . . . , xk )T (y1 , . . . , yl ) = [S1 (x1 , . . . , xk ) + S2 (x1 , . . . , xk )]T (y1 , . . . , yl ) = S1 (x1 , . . . , xk )T (y1 , . . . , yl ) + S2 (x1 , . . . , xk )T (y1 , . . . , yl ) = (S1 T )(x1 , . . . , xk , y1 , . . . , yl ) + (S2 T )(x1 , . . . , xk , y1 , . . . , yl ) = [(S1 T ) + (S2 T )](x1 , . . . , xk , y1 , . . . , yl )

Supongamos que E tiene dimensin nita. El siguiente resultado nos dice o como es T k (E) internamente: 19

Teorema 7 Sea {e1 , . . . , en } base de E y sea {f1 , . . . , fn } la base dual (esto es, la base de L(E; R), que verica fi (ej ) = ij ). Entonces el conjunto de todos los productos tensoriales de k-factores: fi1 fi2 fik ; 1 i1 , . . . , ik n

es una base de T k (E), que adems tiene dimensin nk . a o Demostracin. Es claro que, por denicin o o (fi1 fi2 fik )(x1 , . . . , xk ) = fi1 (x1 )fi2 (x2 ) fik (xk ) es una funcin k-lineal, esto es, un elemento de T k (E). o Adems a (fi1 fi2 fik )(ej1 , ej2 , . . . , ejk ) = fi1 (ej1 )fi2 (ej2 ) fik (ejk ) = i1 ,j1 i2 ,j2 ik ,jk = 1 0 si j1 = i1 , j2 = i2 , . . . , jk = ik , otro caso ()

Veamos que el conjunto de vectores genera T k (E). Sea T T k (E). Entonces T : E E R es multilineal. Sean w1 , . . . , wk E; entonces para cada wj : wi =
j=1 n

aij ej

().

Luego :
n n

T (w1 , . . . , wk ) = T (
j1 =1 n

a1j1 ej1 , . . . ,
jk =1

akjk ejk ) ( )

=
j1 , ,jk =1

a1j1 akjk T (ej1 , . . . , ejk )

Ahora, de () y () notemos que: (fi1 fi2 fik )(w1 , . . . , wk ) = fi1 (w1 ) fik (wk ) 20

donde, por ejemplo,

n n

fi1 (w1 ) = fi1 (

j=1

a1j ej ) =
j=1

a1j fi1 (ej ) = a1i1 .

As , (fi1 fi2 fik )(w1 , . . . , wk ) = a1i1 a2i2 akik ; por lo tanto insertando esto en ( ) se obtiene:
n

T (w1 , . . . , wk ) =
i1 ,...,ik =1

T (ei1 , . . . , eik )(fi1 fi2 fik )(w1 , . . . , wk )

luego , T =

T (ei1 , . . . , eik )(fi1 fi2 fik ).

i1 ,...,ik =1

Esto prueba que el conjunto genera T k (E). Veamos ahora que el conjunto es L.I. Supongamos que existen escalares ai1 ai2 aik tales que
n

ai1 ai2 aik (fi1 fi2 fik ) = 0.

i1 ,...,ik =1

Aplicando el vector de la base (ej1 , . . . , ejk ) se obtiene de () que todos los elementos de la suma son cero excepto cuando j1 = i1 , j2 = i2 , . . . , jk = ik , esto es: aj1 , aj2 , . . . , ajk = 0. Esto prueba que el conjunto es L.I. Se deja como ejercicio para el lector probar que esta base tiene nk elementos.

21

0.1.4

Producto Exterior

Consideremos el tensor determinante T k (E). Este tensor es importante pues, como vimos, permite entre otros denir el producto cruz en espacios de dimensin 3 y la nocin de orientacin de un espacio de dimensin o o o o nita. Recordemos que, por denicin, un determinante no slo es una funcin o o o multilineal, sino tambin alternada. Consideremos el conjunto (de todos los e determinantes) k (E) = {f : E E E R / f es multilineal y alternada }. Es claro que k (E) es un subespacio de T k (E). A n de estudiar de mejor manera esta parte de T k (E) se dene la siguiente funcin: o Alt : T k (E) T k (E) como Alt(T )(v1 , . . . , vk ) = 1 sgn T (v(1) , . . . , v(k) ) k! S
k

donde sgn es +1 si la permutacin es par y es 1 si es impar. Adems, Sk o a es el conjunto de todas las permutaciones del conjunto de nmeros {1, 2, . . . , k}. u Teorema 8 (1) Si T T k (E) entonces Alt(T ) k (E). (2) Si w k (E) entonces Alt(w) = w. (3) Si T T k (E) entonces Alt(Alt(T )) = Alt(T ). A n de tener una mejor visualizacin del Teorema anterior, consideremos el o caso k = 1 y k = 2. Para k = 1 se tiene: Alt : T 1 (E) T 1 (E) tal que Alt(T )(v) = T (v); esto es, Alt(T ) = T o Alt Id. 22

Para k = 2 se tiene: Alt : T 2 (E) T 2 (E) tal que 1 Alt(T )(v1 , v2 ) = [T (v1 , v2 ) T (v2 , v1 )]. 2 En lo que sigue probaremos el teorema en el caso k = 2. El caso general queda de ejercicio para el lector. (1) Sea T T 2 (E) entonces es claro que Alt(T ) est en T 2 (E) (i.e. es a bilineal) pues, por ejemplo, Alt(T )(v1 + w1 , v2 ) = 1 [T (v1 + w1 , v2 ) T (v2 , v1 + w1 )] 2 1 = [T (v1 , v2 ) + T (w1 , v2 ) T (v2 , v1 ) + T (v2 , w1 )] 2 1 1 = [T (v1 , v2 ) T (v2 , v1 )] + [T (w1 , v2 ) T (v2 , w1 )] 2 2 = Alt(T )(v1 , v2 ) + Alt(T )(w1 , v2 )

Veamos que adems es alternada: Alt(T )(v1 , v2 ) = Alt(T )(v2 , v1 ). a En efecto: Alt(T )(v2 , v1 ) = 1 [T (v2 , v1 ) T (v1 , v2 )] 2 1 = [T (v1 , v2 ) T (v2 , v1 )] = Alt(T )(v1 , v2 ). 2

(2) Sea w 2 (E). Entonces Alt(T )(w)(v1 , v2 ) = 1 [w(v1 , v2 ) w(v2 , v1 )] 2 1 = [2w(v1 , v2 )] pues w es alternada ssi w(v1 , v2 ) = w(v2 , v1 ) 2 = w(v1 , v2 ).

Por lo tanto, Alt(w) = w. (3) Sea T T 2 (E). Entonces por (1) w := Alt(T ) 2 (E). Luego, por (2): Alt(Alt(T )) = Alt(w) = w = Alt(T ). 23

El problema siguiente es determinar la dimensin de k (E). Para ello se o necesitar un teorema anlogo al visto para el caso T k (E). Por esto, necesia a tamos denir un producto en k (E), el cual llamaremos producto exterior, y que se dene como sigue: Dados w k (E) y l (E), se dene k+l (E) como: := Observaciones: 1) Note que, efectivamente, k+l (E) gracias a que por el Teorema anterior parte (1), si T k+l (E) entonces Alt( ) k+l (E). 2) El producto no sirve pues no est en k+l (E) necesariamente. a Proposicin 9 (Propiedades del Producto Exterior) o a) (1 + 2 ) = 1 + 2 b) (1 + 2 ) = 1 + 2 c) a = a = a( ) d) = (1)kl . Probaremos la propiedad (a), el resto queda de ejercicio. (1 + 2 ) = (k + l)! Alt((1 + 2 ) ) k!l! (k + l)! = Alt(1 + 2 ) k!l! (k + l)! (k + l)! Alt(1 ) + Alt(2 ) = k!l! k!l! = 1 + 2 . (k + l)! Alt( ). k!l!

(Ejercicio)

24

Teorema 10 (1) Si S T k (E), T T l (E) y Alt(S) = 0, entonces Alt(S T ) = Alt(T S) = 0. (2) Alt(Alt( ) ) = Alt( ) = Alt( Alt( )) (3) Si k (E), l (E) y m (E) entonces ( ) = ( ) = (k + l + m)! Alt( ) k!l!m!

Demostracin. Vemoslo para el caso k = l = 1 o a (1) Alt(S T )(v1 , v2 ) = 1 [(S T )(v1 , v2 ) (S T )(v2 , v1 )] 2 1 = [S(v1 )T (v2 ) S(v2 )T (v1 )] 2

Como, Alt(S)(v) = S(v) = 0 se obtiene que Alt(ST )(v1 , v2 ) = 0. Anlogamente a se demuestra que Alt(T S) = 0. Las partes (2) y (3) quedan de ejercicio para el lector. Teorema 11 Sea {e1 , . . . , en } base de E y {f1 , . . . , fn } base dual. El conjunto fi1 fi2 fik 1 i1 < i2 < < ik n

es una base para k (E), que tiene dimensin: o n k Demostracin. Ejercicio. o = n! . k!(n k)!

25

Bibliograf a
[1] W. H. Greub, Linear Algebra, Springer-Verlag, vol. 97, BerlinHeidelberg, 1967. [2] W. H. Greub, Multilinear Algebra, Springer-Verlag, vol.136, BerlinHeidelberg, 1967.

26