0.

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

om

Sea (E F ) := {z G / z = (x, y) ; x E , y F }. Entonces

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

ww

w.

Adems, denotamos a

at e
; 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

im = (E F ) subespacio generado por (E F ).

at ic a

(E F ) no es necesariamente un subespacio de G. Por lo tanto denotamos:

1.c

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

M at em

E F H
f

at

puede siempre completarse a un diagrama conmutativo:

ic a1

ww w.

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 = f2 .

.c

om

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 )

em

E F im

at
f

ic a1
G

.c o

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.

ww w.

at

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. En efecto: Veamos 1 : (R E) = R E = E, luego, es claro que im = E.
.c o m

; x1 , x2 E, y F

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

Entonces el par (E, ) es un producto tensorial de R y E. Veamos 2 : Sea : R E H bilineal y denamos f : E H como

at e

m
ww w.

f (x) := (1, x) y tal que

R E H

at

ic
f

a1

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

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)) 11 0 0 0 12 0 21 0 0 0 22 0 = . . . . . + . . . . . . . . . . . . . 0 n2 0 n1 0 0 11 1m . . . = . . . n1 nm
ww w.

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

at em

at ic
f

(xi , yi ).

H .

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

a1 .c

om

+ +

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 +f
.c om

a1 b1 c1 d1

a2 b2 c2 d2

= ((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

ww w.

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

at e

x1 y1 x1 y2 x2 y1 x2 y2

Finalmente,

at ic

a1

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 esto es, h(x y) = f (x)g(y)
w.
h p

.
.c o m

Luego: h(a b) = f (a)g(b) = 0. Por lo tanto, a b = 0.

ww

M at

em at
r1 i=1

para cada (x, y) E F .

2.- Sea z E F , z = 0; entonces z = L.I.

ic

En vista de 2 , existe una funcin lineal h : E F R tal que h = p o

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 xr = i xi

a1
r i=1

xi yi donde {xi } y {yi } son

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

.c o m

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
r j=1

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

ww w.

Demostracin. Ya que {bj } es un conjunto L.I. de vectores en F , se pueden o

at

em
fi (x)gi (y)

at

tonces la ecuacin o

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

ic a1

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 )

em
r j=1

at

at ic
i=1

j r

a1 .c
i

fi (aj )gi (bj )

fi (ai ).
r i=1

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). =

ww

w.

Ahora, por hiptesis: o

aj bj = 0; por lo tanto,

om

fi (ai ) = 0.

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
2

Entonces: g f 1 = g 2 = 1 esto es: g f 1 = 1 o equivalentemente: (g f )(x y) = (x y)

(1)

ww w.

g(y x) = x y.

at

existe g : F E E F tal que g 2 = 1 ; esto es:

em

at
y f g 2 = f 1 = 2 y f g 2 = 2 y (f g)(y x) = (y x).

F E

ic a1
g

.c om

E F E F

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.

at

Demostracin. o
1

ww w.

E F E F

em
2 f

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

at
g

ic a1

Supongamos que E F y E F son productos tensoriales de E y F . Entonces E F F E. =

.c o

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)

ww

Por denicin de producto tensorial, el siguiente diagrama es conmutativo: o E F E (F G)

z

w.

= x [y1 z + y2 z]

= x (y1 z) + x (y2 z)

= x (y1 z) + x (y2 z) = z (x, y1 ) + z (x, y2 )

at

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.

em
hz

z (x, y1 + y2 ) = x (y1 + y2 z)

at

= z (x1 , y) + z (x2 , y)

ic a1 .c

= x1 (y z) + x2 (y z)

om

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: ,
.c om

(E F ) G E (F G)

(E F ) G

g((x y) z) = (x y, z) = hz (x y) = x (y z)

ww w.

tal que g = , esto es:

at

esto es, existe una unica transformacin lineal g : (E F )G E (F G) o

em

at ic a1
g

(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.

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:

.c om

g(x (y z)) = (x, y z) = (x y) z.

(2)

(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). =

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.

ww

w.

at

(g g)(x (y z)) = g((x y) z) = x (y z)

em

at ic

Luego, de (1) y (2) :

a1

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).
.c o

i) es sobreyectiva.

Sea b B(E, F ; G), entonces b : E F G es bilineal. Luego, por 2 ,

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:

ww w.

ii) es inyectiva.

at

em

existe f : E F G tal que es lineal y f = b, esto es, (f ) = b.

at

ic a1

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
.c om

dim B(E, F ; G) = dim E dim F dim G. 5. Sean E1 y E2 subespacios de E. Sea F e.v. de dimensin nita o

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 ; :F F .

ww w.

6. Sea E = E1 E2 y F = F1 F2 . Entonces

at e

(E1 F ) (E2 F ) = (E1 E2 ) F.

entonces

at

ic a1

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
m

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

ww

w.

E F tal que (x y) = p(x, y).

at

em

Claramente p es bilineal. Luego, existe una unica funcin lineal : E F o

at

ic

a1

denida por p(x, y) = (x) (y).

.c o

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

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

ww w.

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. =

at e

at

T S : k+l E R,

ic

a1

lineal T S : k E l E R R, esto es:

.c om

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 )

[(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:

ww

w.

at

y (d) quedan de ejercicio.

em

Demostracin. Usando la denicin (), se probar (a). Las partes (b), (c) o o a

at ic

a1

.c om

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

at

ic a
1

= i1 ,j1 i2 ,j2 ik ,jk

1.c

(fi1 fi2 fik )(ej1 , ej2 , . . . , ejk ) = fi1 (ej1 )fi2 (ej2 ) fik (ejk ) si j1 = i1 , j2 = i2 , . . . , jk = ik , otro caso
om

em

()

Veamos que el conjunto de vectores genera T k (E). Sea T T k (E). Entonces cada wj : wi =
j=1

ww
n

T : E E R es multilineal. Sean w1 , . . . , wk E; entonces para aij ej ().

Luego :
n n

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

a1j1 ej1 , . . . ,
jk =1

w.

M at

akjk ejk ) ( )

=
j1 , ,jk =1

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

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

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 =

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.

ww

w.

at

Supongamos que existen escalares ai1 ai2 aik tales que

em

Veamos ahora que el conjunto es L.I.

at

ic

Esto prueba que el conjunto genera T k (E).

a1

.c o

i1 ,...,ik =1

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

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

como

Alt(T )(v1 , . . . , vk ) =
ww w.

at

em

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.

at

ic

Alt : T k (E) T k (E)

a1

.c om

manera esta parte de T k (E) se dene la siguiente funcin: o

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 )

En efecto:

(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 ).

ww w.

Alt(T )(v2 , v1 ) =

1 [T (v2 , v1 ) T (v1 , v2 )] 2 1 = [T (v1 , v2 ) T (v2 , v1 )] = Alt(T )(v1 , v2 ). 2

at

em at

Veamos que adems es alternada: Alt(T )(v1 , v2 ) = Alt(T )(v2 , v1 ). a

ic

a1

.c om

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).
.c om

(k + l)! Alt( ). k!l!

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 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 .
ww

b) (1 + 2 ) = 1 + 2
w.

at

em

at ic

a1

(Ejercicio)

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

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)!

ww w.

Las partes (2) y (3) quedan de ejercicio para el lector.

M at

se demuestra que Alt(T S) = 0.

em

Como, Alt(S)(v) = S(v) = 0 se obtiene que Alt(ST )(v1 , v2 ) = 0. Anlogamente a

at

ic

a1

.c

om

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.

ww w.

at

em

at ic a1

.c o