APLICACIONES MULTILINEALES

1.

Formas bilineales simetricas y antisimetricas f (u, v) = f (v, u), para cualesquiera u, v V.

Una forma bilineal f : V V k se dice simtrica si se verica: e De forma anloga, se dice que f es antisimtrica si se verica: a e f (u, v) = f (v, u), para cualesquiera u, v V. Ejemplo 1.1. Cada producto escalar es una forma bilineal simtrica. e Ejemplo 1.2. La aplicacin determinante o D : R2 R2 R D((a, b), (c, d)) = ad bc es una forma bilineal antisimtrica. e Lema 1.3. Sea V un espacio vectorial sobre k con carac(k) = 2 entonces se verica que: f es antisimtrica si y slo si f (v, v) = 0 v V e o Demostracin. Sea f antisimtrica entonces f (v, v) = f (v, v) con lo o e que fcilmente se deduce que 2f (v, v) = 0 y por tanto f (v, v) = 0. a Rec procamente si 0 = f (v+v , v+v ) = f (v, v)+f (v, v )+f (v , v)+f (v , v ) = f (v, v )+f (v , v). De donde se obtiene fcilmente que f es antisimtrica. a e Proposicin 1.4. si f, f son formas bilineales y a k entonces tamo bin a f y f + f denidas por e a f (v, v ) = f (av, v ) (f + f )(v, v ) = f (v, v ) + f (v, v ) son formas bilineales. La demostracin se deja como ejercicio. o Corolario 1.5. El conjunto de aplicaciones bilineales es un espacio vectorial. Se denotar Bil(V, k). a Proposicin 1.6. El conjunto de formas bilineales simtricas S2 (V, k) o e y el conjunto de formas bilineales antisimtricas A2 (V, k) son subespae cios vectoriales de Bil(V, k). Denicin 1.7. Sea f una forma bilineal, se dene su traspuesta como: o f t (v, v ) = f (v , v).
1

APLICACIONES MULTILINEALES

Es claro que f t tambin es lineal. e Ejercicio 1.8. Probar que si f es bilineal entonces f f t es antisimtrica e t y f + f es simtrica. e Proposicin 1.9. Toda forma bilineal se puede descomponer como o suma de una forma bilineal simtrica y una antisimtrica. e e Demostracin. Basta ver que si f es bilineal se puede escribir como: o 1 1 f = (f + f t ) + (f f t ) 2 2 donde f = 1 (f + f t ) es simtrica y 1 (f f t ) es antisimtrica. e e 2 2 Corolario 1.10. Bil(V, k) = S2 (V, k) A2 (V, k). Demostracin. Si f S2 (V, k) A2 (V, k) entonces: o f (v, v ) = f (v v) f (v, v ) = f (v , v) y por tanto f (v, v ) = 0 v, v V . 2. El producto tensorial de dos formas lineales

Nuestro objetivo es construir formas bilineales a partir de formas lineales. La herramienta ser el producto tensorial. a Denicin 2.1. Sean 1 , 2 V . o Se dene su producto tensorial 1 2 : V V k como: 1 2 (v, v ) = 1 (v) 2 (v ) Proposicin 2.2. 1 2 es una aplicacin bilineal. o o Demostracin. o 1 2 (v1 + v2 , v ) = = = = y por otra parte 1 2 (av, v ) = a1 (v) 2 (v ) = 1 (v) 2 (av ) = 1 2 (v, av ) 1 2 (av, v ) = a1 (v) 2 (v ) = a1 2 (v, v ) 1 (v1 + v2 ) 2 (v ) [1 (v1 ) + 1 (v2 )] 2 (v ) 1 (v1 ) 2 (v ) + 1 (v2 ) 2 (v ) 1 2 (v1 , v ) + 1 2 (v2 , v )

APLICACIONES MULTILINEALES

Ejemplo 2.3. Consideremos en R2 Bc = {1 , 2 } la base dual de la base cannica. El producto escalar se puede ver como: o

< (x1 , x2 ), (y1 , y2 ) > = (1 1 + 2 2 )((x1 , x2 ), (y1 , y2 )) = (1 (x1 , x2 ) 1 (y1 , y2 )) + (2 (x1 , x2 ) 2 (y1 , y2 )) = x1 y1 + x2 y2 . Ejemplo 2.4. De forma anloga, el determinante en R2 tambin puede a e escribirse como: (2.1) det((x1 , x2 ), (y1 , y2 )) = (1 2 2 1 )((x1 , x2 ), (y1 , y2 )) (2.2) = x1 y2 x2 y1 . Proposicin 2.5. Sean , 1 , 2 : V V k, entonces: o 1. (1 + 2 ) = (1 ) + (2 ) 2. (1 + 2 ) = ( 1 ) + ( + 2 ) 3. (a1 2 ) = (a1 2 ) = (1 a2 ) Demostracin. Sean v, v V entonces: o 1. [(1 + 2 ) ](v, v ) = = = = = [(1 + 2 )(v)] (v ) [1 (v) + 2 (v)] (v ) (1 (v) (v )) + (2 (v) (v )) (1 )(v, v ) + (2 )(v, v ) (1 + 2 )(v, v )

2. Anlogo a (1) a 3. Basta considerar (a1 2 )(v, v ) = (a1 (v) 2 (v )) = a(1 (v) 2 (v )) = a(1 2 )(v, v ) (a1 2 )(v, v ) = (a1 (v) 2 (v )) = (1 (v) a2 (v )) = (1 a2 )(v, v ) Proposicin 2.6. Sea B = {v1 , , vn } una base de V y B = {1 , , n } o su base dual. Entonces {i j : i, j = 1, , n} es una base de Bil(V, k). Demostracin. Si A = (aij ) es la matriz de asociada a f Bil(V, k) en o la base B, entonces:
n

(2.3)

f (x, y) =
i,j=1

aij xi yj

Donde x = (x1 , , xn )B , y = (y1 , , yn )B y aij = f (vi , vj ). Sabemos que las coordenadas de cualquier vector x V en la base B vienen dadas por (1 (x), , n (x))B .

APLICACIONES MULTILINEALES

As que sustituyendo en 2.3, tenemos:

n

f (x, y) =
i,j=1 n

aij xi yj aij i (x)j (y)

i,j=1 n

= (
i,j=1

aij i j )(x, y)

Luego es sistema de generadores. Veamos que es linealmente independiente. Sea ( la forma bilineal nula. As pues: ,
n

n i,j=1

aij i j ) = 0

(
i,j=1

aij i j )(vk , vl ) = 0k, l = 1, n

Con lo que:
n

0=(
i,j=1

aij i j )(vk , vl ) = akl k, l = 1, , n.

Con lo que se tiene que todos los escalares de la combinacin lineal son o nulos. Corolario 2.7. dim(Bil(V, k)) = n2 . 3. El producto exterior de dos formas lineales

Nuestro objetivo en este apartado es construir una base del subespacio de las formas antisimtricas A2 (V, k). e Para ello si f A2 (V, k) Bil(V, k). Por 2.6, podemos escribir: f = n aij (i j ) i,j=1 Como f A2 (V, k) tenemos 1. f (vi , vi ) = 0 con lo que aii = 0 para todo i = 1, n. 2. f (vi , vj ) = f (vj , vi ), es decir aij = aji . Con lo que podemos escribir f = 1i<jn aij (i j j i ) Denicin 3.1. Dados V se dene su producto exterior como: o = Propiedades. Sean , , V entonces: =0 = ( + ) = ( ) + ( ). ( + ) = ( ) + ( ).

APLICACIONES MULTILINEALES

(r) = r( ) = (r). La demostracin de estas propiedades es inmediata. o Proposicin 3.2. Sea B = {v1 , v2 , . . . , vn } una base de V espacio veco torial sobre k. Sea B = {1 , 2 , . . . , n } la base dual de B. Entonces una base de A2 (V, k) esta dada por {i j : 1 i < j n}. Demostracin. Si f es antisimtrica como {i j : i, j = 1, . . . , n} o e es una base de Bil(V, k),
n n

f=
i=1 j=1

f (vi , vj )i j .

Pero f (vi , vi ) = 0 y f (vi , vj ) = f (vj , vi ), entonces podemos poner: f = =

n i=1

f (vi , vj )i j = 1i<jn f (vi , vj )i j .

n j=1

1i<jn

f (vi , vj ) (i j j i )

Con lo que es sistema de generadores. Ejercicio. Probar que el conjunto anterior es linealmente independiente. Ejercicio. Probar que dim(A2 (V, k)) = n(n 1)/2, donde n = dim(V ). 4. Unas notas sobre permutaciones

Denicin 4.1. Una permutacin de n elementos es una aplicacin o o o biyectiva de {1, . . . n} en s mismo. Se notar Sn al grupo de permutaciones de n elementos, con la coma posicin como operacin de grupo. o o Ejemplo 4.2. Sea S4 el grupo de permutaciones de 4 elementos y consideremos, S4 dada por (1) = 2, (2) = 4, (3) = 3, (4) = 1. Esta permutacin la escribiremos: o 1 2 3 4 2 4 3 1 Escribiendo bajo un elemento su imagen. As bajo el 1 aparece (1) = 2. Denicin 4.3. Un ciclo de longitud l es una permutacin Sn tal o o que quedan jos n l elementos y para los l restantes {x1 , . . . xl } se tiene que (xi ) = xi+1 i = 1 . . . , l 1 y (xl ) = x1 Ejemplo 4.4. En la permutacin anterior existen dos ciclos. Uno de o longitud 3 formado por {1, 2, 4} y otro de longitud 1. Los escribiremos (1, 2, 4) y (3).

APLICACIONES MULTILINEALES

Proposicin 4.5. Toda permutacin se puede descomponer (salvo el o o orden y ciclos de longitud 1) como producto de ciclos disjuntos. Ejemplo 4.6. En el caso anterior = (1, 2, 4)(3) = (3)(2, 4, 1) Denicin 4.7. Una trasposicin es una permutacin Sn tal que o o o deja jos n 2 elementos y cambia los otros dos. Proposicin 4.8. Toda permutacin puede verse como producto de o o trasposiciones. Ejemplo 4.9. Siguiendo con nuestro ejemplo = (1, 2)(1, 4) = (1, 2)(2, 4) = (1, 4)(2, 4) Proposicin 4.10. La paridad del nmero de trasposiciones en que o u se descompone una permutacin es independiente de la forma de la o descomposicin. o Denicin 4.11. Una permutacin se dice par si se descompone o o como un nmero par de trasposiciones. En caso contrario se dir impar. u a Denicin 4.12. Se dene la signatura de una permutacin como 1 o o si la permutacin es par y 1 si es impar. Se notar (1)sg() o a Proposicin 4.13. sg( ) = sg()sg( ) o 5. Aplicaciones multilineales. Tensores

Denicin 5.1. Sean V1 , V2 , . . . ,Vn y W espacios vectoriales sobre k. o Una aplicacin T : V1 V2 Vn W es una aplicacin multilineal o o si: T (v1 , . . . , vi +vi , . . . vn ) = T (v1 , . . . , vi , . . . , vn )+T (v1 , . . . , vi , . . . , vn ) i = 1, . . . , n. T (v1 , . . . , avi , . . . , vn ) = aT (v1 , . . . , vi . . . , vn ) i = 1, . . . , n y a k. Denicin 5.2. Una forma multilineal es una aplicacin multilineal o o donde el espacio de llegada es el cuerpo k. Denicin 5.3. Sea V espacio vectorial sobre k, un tensor r veces o covariante y s contravariante, es una forma multilineal T : V . . .r V V . . .s V k Denicin 5.4. Se dene Tr,s (V, k) como el conjunto de tensores r o veces covariante y s contravariante, sobre el espacio vectorial V . Denicin 5.5. Sea V espacio vectorial sobre k, entonces en Tr,s (V, k) o podemos denir una suma y un producto por elementos de k: Sean T, T Tr,s (V, k) entonces:

APLICACIONES MULTILINEALES

(T + T )(v1 , . . . , vr , 1 , . . . , s ) = T (v1 , . . . , vr , 1 , . . . , s ) + T (v1 , . . . , vr , 1 , . . . , s ) Sea T Tr,s (V, k) y r K entonces: (aT )(v1 , . . . , vr , 1 , . . . , s ) = aT (v1 , . . . , vr , 1 , . . . , s ) Es un ejercicio fcil aunque largo probar que Tr,s (V, k) en un espacio a vectorial con la suma y el producto anteriores. Es claro que T1,0 (V, k) = V y T0,1 (V, k) = V , esto ultimo por el teorema de reexividad. Ejemplo 5.6. 1. El determinante y el producto escalar denidos anteriormente, son tensores 2 veces covariante y 0 contravariante. Estn en T2,0 (V, k). a 2. Sea V espacio vectorial sobre k. Denimos f : V V k como f (v, ) = (v). f as denido es un tensor 1 vez covariante y 1 contravariante. Est en T1,1 (V, k) a

6.

Producto tensorial de tensores

Bien, una vez visto que Tr,s (V, k) es un espacio vectorial, vamos a intentar calcular una base para as conocer su dimensin. o Denicin 6.1. Sean T Tr,s (V, k) y T Tr ,s (V, k) denimos su o producto tensorial T T Tr+r ,s+s (V ) como: T T (v1 , . . . , vr , v1 , . . . , vr , 1 , . . . , s , 1 , . . . , s ) = T (v1 , . . . , vr , 1 , . . . , s )T (v1 , . . . , vr , 1 , . . . , s ) Propiedades. Sean T, T1 , T2 Tr,s y T , T1 , T2 Tr ,s Entonces: (T1 + T2 ) T = (T1 T ) + (T2 T ). T (T1 + T2 ) = (T T1 ) + (T T2 ). (aT ) T = a(T T ) = T (aT ). La demostracin es anloga a 2.5 y se deja como ejercicio. o a Proposicin 6.2. Sea B = {v1 , v2 , . . . , vn } una base de V espacio veco torial sobre k. Sea B = {1 , 2 , . . . , n } la base dual de B. Entonces una base de T1,1 (V, k) viene dada por {i vj : i, j = 1 . . . n}.

Demostracin. Veamos primero que es sistema de generadores. Para o ello sea T T1,1 (V, k) y sea v V y V . Como tenemos bases de V y V podemos escribir v = n ri vi y = n sj j . Calculamos: i=1 j=1

APLICACIONES MULTILINEALES

T (v, ) = T (
n i=1 n

ri vi ,
j=1

sj j )

=
i=1 j=1 n n

T (ri vi , sj j ) ri sj T (vi , j )
i=1 j=1

= (6.1)

Sea tij = T (vi , j ). Veamos ahora quienes son los ri sj . Para ello calculemos (i vj )(v, ).
n n

(i vj )(v, ) = (i vj )(
k=1 n n

rk v k ,
l=1

sl l )

=
k=1 l=1 n n

(i vj )(rk vk , sl l ) rk sl (i vj )(vk , l )
k=1 l=1 n n

= =
k=1 l=1

rk sl i (vk )l (vj ) = ri sj
n i=1 n j=1 tij (i

Con lo que podemos escribir: T (v, ) = o lo que es lo mismo: T =

n i=1 n j=1 tij (i

vj )(v, )

vj ).

Lo que demuestra que es sistema de generadores. Veamos que es linealmente independiente: n Si n i=1 j=1 tij (i vj ) = 0, vamos aplicando el tensor a (vk , l ) y se obtiene: n 0= n i=1 j=1 tij (i vj )(vk , l ) = tkl . Como puede observarse, la demostracin anterior es anloga a la o a demostracin de 2.6. o Ejercicio 6.3. Probar que: {vi vj : i, j = 1, . . . , n} es base de T0,2 (V, k) Una vez calculadas las bases de T2,0 (V, k) y de T1,1 (V, k) procedemos a generalizar para calcular una base de Tr,s (V, k). La demostracin vuelve o a ser anloga a 2.6 y 6.2. a

APLICACIONES MULTILINEALES

Proposicin 6.4. Sea B = {v1 , , vn } una base de V y sea B = o {1 n } su base dual, entonces: {i1 ir vj1 vjs : i1 , , ir , j1 , js = 1, n} es una base para Tr,s (V, k). Demostracin. Sea T Tr,s (V, k) y sean o
n

ui =
ji =1 n

aiji vji i = 1, r bklk lk j = 1 s

lk =1

k = Entonces:

T (u1 , , ur , 1 , , r ) = T ( n1 =1 a1j1 vj1 , , nr =1 arjr vjr , n =1 b1l1 l1 , n =1 bsls ls ) = j j l1 ls a1j1 arjr b1l1 bsls T (vj1 , vjr , l1 , ls ) j1 jr l1 ls Llamando tj1 jr l1 ls = T (vj1 , vjr , l1 , ls ) tenemos: T =
j1 jr l1 ls

tj1 jr l1 ls i1 ir vj1 vjs

Corolario 6.5. La dimensin de Tr,s (V, k) es nr+s . donde n es la dio mensin de V . o 7. Tensores alternados. Producto Exterior.

Denicin 7.1. Un tensor T Tr,0 (V, k) se dice antisimtrico o altero e nado, si T (v1 , , vr ) = 0 cuando vi = vj con i = j. Proposicin 7.2. El conjunto de tensores r-covariantes antisimtricos o e es un espacio vectorial sobre k. Se denotar Ar (V, k). a La demostracin es un sencillo ejercicio. o Lema 7.3. Sea T Tr,0 (V, k) entonces: T es alternado si y slo si o sg() T (v1 , . . . , vr ) = (1) T (v(1) , . . . , v(r) ) Sn . Demostracin. Se har la demostracin para una trasposicin = o a o o (i, j). Se puede suponer que i j. | Veamos si T (v1 , . . . vi , . . . , vj , . . . , vr ) = T (v1 , . . . , vj , . . . , vi , . . . , vr ). Para ello como sabemos que

10

APLICACIONES MULTILINEALES

T Ar (V, k), T (v1 , . . . , vi + vj , . . . , vi + vj , . . . , vr ) = 0, si lo desarrollamos, 0 = + + + T (v1 , . . . , vi , . . . , vi , . . . , vr ) T (v1 , . . . , vi , . . . , vj , . . . , vr ) T (v1 , . . . , vj , . . . , vi , . . . , vr ) T (v1 , . . . , vj , . . . , vj , . . . , vr )

De nuevo por ser T alternado, se tiene que el primer y ultimo suman do se anulan, por tanto se tiene, ya fcilmente, el resultado buscado. a | Escribimos: (1)
sg()

T (v1 , . . . vi , . . . , vj , . . . , vr ) = T (v(1) , . . . , v(j) , . . . , v(i) , . . . , v(r) ),

donde suponemos vi = vj . Considerando = (i, j), es claro que es impar y por hiptesis tenemos: o T (v1 , . . . vi , . . . , vj , . . . , vr ) = T (v1 , . . . , vj , . . . , vi , . . . , vr ) Por otra parte como vi = vj tenemos: T (v1 , . . . vi , . . . , vj , . . . , vr ) = T (v1 , . . . vj , . . . , vi , . . . , vr ) De ambas se deduce que T es alternado. Consideremos ahora T Ar (V, k). Como {j1 jr : j1 , jr = 1, n} es una base de Tr,0 (V, k), tenemos que: T = j1 jr tj1 jr j1 jr Como T (v1 , , vr ) = 0 cuando vi = vk con i = k. Se tiene que tj1 jr = 0 si ji = jk . Como T (v1 vr ) = (1)sg() T (v(1) v(r) ) se tiene que tj1 jr = (1)sg() t(j1 )(jr ) Consecuencias: 1. Si algn u ndice (de los ) se repite, entonces tj1 jr = 0. Luego no aparecen formas repetidas en los productos j1 jr . 2. Si los factores de j1 jr son iguales (salvo el orden) a los de i1 ir . Entonces ambos van multiplicados por el mismo nmero (en valor absoluto) y se pueden reagrupar. u Luego, T = 1j1 <<jr n aj1 jr ( Sr (1)sg() (j1 ) (jr ) ) 7.1. Producto Exterior de r formas lineales.

Denicin 7.4. Sean 1 r , r formas lineales, se dene su producto o exterior como: 1 r = Sr (1)sg() (1) (r) Proposicin 7.5. 1 r es un tensor r covariante alternado. o

APLICACIONES MULTILINEALES

11

Demostracin. Sabemos que si = (i, j) es una trasposicin entonces o o es par si y slo si es impar. As pues, si (v1 , , vr ) es tal que o vi = vj , con i = j. Tenemos (1) (r) (v1 , , vr ) = (1) (r) (v1 , , vr ) donde = (i, j). Ambos aparecen en la sumatoria pero con distinto signo, y por tanto se anulan. Corolario 7.6. Otra forma de escribir el producto exterior sera: sg() 1 r (v1 , . . . , vr ) = Sr (1) 1 r (v(1) , . . . , v(r) ) Proposicin 7.7. Propiedades de producto tensorial de r formas. o 1. Si i = j con i = j entonces 1 r = 0 2. 1 i j r = 1 j i r . 3. 1 i + i r = (1 i r ) + (1 i r ) para cualquier i = 1 r. 4. 1 a i r = a (1 i r ) para cualquier i = 1, r. La demostracin se deja como ejercicio o Proposicin 7.8. Sea {1 , , n } una base en V . Entonces una o base de Ar (V, k) es {i1 ir : 1 i1 < < ir n} Demostracin. Slo quedar probar que el conjunto es linealmente ino o a dependiente. Se deja como ejercicio. Corolario 7.9. dim(Ar (V, k)) =
n r

Ejemplo 7.10. Dadas , , V se dene el producto exterior de tres formas como: = ++. Ejemplo 7.11. (producto exterior). Sean , , V . Vamos a escribir en funcin de . o (v1 , v2 , v3 ) = (v1 , v2 , v3 ) + (v1 , v2 , v3 ) + (v1 , v2 , v3 ) (v1 , v2 , v3 ) (v1 , v2 , v3 ) (v1 , v2 , v3 ) = (v1 )(v2 )(v3 ) + (v1 )(v2 )(v3 ) + (v1 )(v2 )(v3 ) (v1 )(v2 )(v3 ) (v1 )(v2 )(v3 ) (v1 )(v2 )(v3 ) = (v1 ) ((v2 )(v3 ) (v2 )(v3 )) + (v2 ) ((v1 )(v3 ) (v1 )(v3 )) + (v3 ) ((v1 )(v2 ) (v1 )(v2 )) = (v1 ) ( (v2 , v3 )) + (v2 ) ( + (v1 , v3 )) + (v3 ) ( (v1 , v2 )) = 3 i1 (vi )( )(v1 , . . . , vi1 , vi+1 . . . v3 ). i=1 (1) Proposicin 7.12. Sea V y T Ar (V, k). Se puede ver su o producto exterior como:

12

APLICACIONES MULTILINEALES

( T )(v1 , v2 , . . . vr+1 ) = n i1 (vi )T (v1 , . . . , vi1 , vi+1 i=1 (1)

. . . vr+1 ).

Demostracin. Como T = 1j1 <<jr n aj1 jr j1 jr . Utilizando o las propiedades del producto exterior 7.7, se obtiene que T =
1j1 <<jr n

aj1 jr j1 jr

Y por 7.6 se tiene que: 1 r (v1 , . . . , vr+1 ) = sg() 1 r (v(1) , . . . , v(r+1) ) = Sr+1 (1) n sg(i ) (vi ) 1 (v(1) ) . . . r (v(r+1) ) = i=1 Sr(i) (1) n i1 (vi ) Sr(i) 1 r (v(1) , . . . , v(r+1) ) = i=1 (1) n i=1 (vi ) 1 r (v1 , . . . , vi1 , vi+1 , . . . , vr+1 ) Donde r(i) = {1, 2, . . . i 1, i + 1, . . . r + 1} y i = (i, i 1)(i 1, i 2) . . . (3, 2)(2, 1). 8. El determinante de n vectores de k n

Denicin 8.1. Dados v1 , v2 , . . . , vn V = k n consideramos Bc = o {1 , , n } la base dual de la base cannica de k n , se dene el detero minante de dichos vectores como la forma multilineal alternada:

Det(v1 , v2 , . . . , vn ) = 1 2 n (v1 , v2 , . . . , vn ) =
Sn

(1)sg() (1) (2) (n) (v1 , v2 , . . . vn ) (1)sg() v1(1) v2(2) . . . vn(n)

Sn

= Donde vi = (vi1 , vi2 . . . vin )

Corolario 8.2. El determinante es un tensor alternado. Corolario 8.3. Se puede calcular el determinante de la siguiente manera: det(v1 , v2 , . . . , vn ) = n (1)i1 vi1 det(v1 , . . . , vi1 , vi+1 , . . . , vn ). i=1 Corolario 8.4. Si vi = vj con i = j entonces det(v1 , v2 , . . . , vn ) = 0. Corolario 8.5. det(
n i=1 ri vi , v2 , . . . , vn )

= r1 det(v1 , v2 , . . . , vn ).

Corolario 8.6. Un conjunto {v1 , v2 , . . . vn } es linealmente dependiente, entonces se tiene que det(v1 , v2 , . . . , vn ) = 0. Denicin 8.7. Sea A = (aij ) Mn (K) se dene o det(A) = det(a1 , a2 , . . . , an ) donde ai = (ai1 , ai2 , . . . , ain ). Es inmediato trasladar las propiedades del determinante al caso de una matriz.

APLICACIONES MULTILINEALES

13

Proposicin 8.8. det(A) = det(At ). o Demostracin. Sea A = (aij ) y At = (aji ). o Entonces det(A) = Sn (1)sg a1(1) a2(2) . . . an(n) y por otra parte tambin tenemos det(At ) = Sn (1)sg a (1)1 a (2)2 . . . a (n)n . Dae do Sn consideramos = 1 , entonces a1(1) a2(2) . . . an(n) = a (1)1 a (2)2 . . . a (n)n . Es claro que sg() = sg( ) y que cuando recorre todas las permutaciones, tambin lo hace. Por tanto los dos e determinantes coinciden. Lema 8.9. Sea T An (V, k) con V espacio vectorial de dimensin n. o Consideremos {v1 , v2 , . . . , vn } una base de V , entonces: T (v1 , v2 , . . . , vn ) = 0 T = 0 Demostracin. | Trivial. o | Dados B = {v1 , v2 . . . , vn }, consideramos B = {1 , 2 , . . . , n } su base dual. Es claro que 1 2 n es base de An (V, k). Entonces T = a (1 2 n ) y: 0 = T (v1 , v2 . . . , vn ) = a (1 2 n )(v1 , v2 . . . , vn ) = a Con lo que T = 0. Corolario 8.10. Sea V espacio vectorial con dim(V ) = n entonces det(v1 , v2 , . . . , vn ) = 0 v1 , v2 , . . . , vn son linealmente independientes. Demostracin. | Ya demostrado. o | Como det An (V, k) y adems det = 0 entonces, por el lema a anterior, si det(v1 , v2 , . . . , vn ) = 0 es porque {v1 , v2 , . . . , vn } no es base y por tanto son linealmente dependientes.