Espacio Dual 1
Espacio Dual 1
Espacio Dual 1
1. Espacio Dual En temas anteriores dados V y V espacios vectoriales sobre k, den amos en Hom(V, V ) una suma y un producto por elementos de k que convert este conan junto en un espacio vectorial. Recordemos que dadas bases en V y en V exist un isomorsmo entre Hom(V, V ) a y Mnm , de donde pod amos deducir que dim(Hom(V, V )) = dim(V )dim(V ). En este tema vamos a estudiar un caso particular, vamos a considerar V = k, es decir, estudiaremos el espacio vectorial Homk (V, k). Denicin 1.1. Dado V espacio vectorial sobre k, denimos el espacio vectorial o dual de V , y lo notaremos V como el espacio vectorial Homk (V, k). Los elementos de V los llamaremos formas lineales y los notaremos por las letras , . Es claro que dim(V ) = dim(V ). Vamos a intentar calcular una base de V , para eso, consideramos B = {v1 , v2 , . . . , vn } una base de V , e intentemos construir n formas lineales. Lo haremos dando la imagen de cada vector de la base B. 1 : V k 1 (v1 ) = 1 1 (v2 ) = 0 . . . 2 : V k 2 (v1 ) = 0 2 (v2 ) = 1 . . . ... n : V k n (v1 ) = 0 n (v2 ) = 0 . . .
1 (vn ) = 0 2 (vn ) = 0 n (vn ) = 1 Tenemos n aplicaciones lineales tales que i (vj ) = 0 si i = j, y i (vi ) = 1. Esto abreviadamente se escribe i (vj ) = ij . Donde ij se llama delta de Kronecker, y es una funcin que es nula mientras i = j y toma el valor 1 cuando i = j. o Veamos que {1 , 2 , . . . , n } es base de V . Como tenemos n vectores (n = dim(V )), basta ver que son linealmente independientes. Supongamos, pues, que r1 1 + r2 2 + + rn n = 0 (forma lineal nula), es decir v V : (r1 1 + r2 2 + + rn n )(v) = 0 de donde, haciendo v = v1 , se tiene: (r1 1 + r2 2 + + rn n )(v1 ) = 0 r1 1 (v1 ) + r2 2 (v1 ) + + rn n (v1 ) = 0, pero slo 1 (v1 ) = 0, o sea r1 1 (v1 ) = 0 y como 1 (v1 ) = 1, se tiene que r1 = 0. o De manera anloga, haciendo v = v2 se tiene r2 = 0 y as sucesivamente hasta a hacer v = vn para obtener rn = 0. Con lo que {1 , 2 , . . . , n } es base de V . A esta base se le llama base dual de B.
1
ESPACIO DUAL
Ejercicio 1.2. Sean en R3 las bases B = {e1 , e2 , e3 } y B = {e1 , e1 +e2 , e3 }. Calcular B = {1 , 2 , 3 } y B = {1 , 2 , 3 } las respectivas bases duales de B y B . Observar que 1 y 1 son distintos a pesar de ser duales de un mismo elemento e1 , Esto quiere decir, que no se puede hablar de dual de un elemento, pues depende del resto de la base. 2. Cambio de Base Dual. Lema 2.1. Sea B = {v1 , v2 , . . . , vn } base de V espacio vectorial sobre k, y sea B = {1 , 2 , . . . , n } su base dual. Sean v V y V , entonces: v=
n i=1
i (v)vi
n j=1
(vj )j
n i=1 ri vi ,
si le aplicamos
j (v) =
i=1
ri j (vi ) = rj .
n j=1 rj j , n
(vi ) =
j=1
y por tanto =
n j=1
(vj )j .
Teorema 2.2. (Cambio de base dual). Sean B = {v1 , v2 , . . . , vn } y B = {v1 , v2 , . . . , vn } dos bases de V espacio vectorial sobre k, y sean B = {1 , 2 , . . . , n } y B = {1 , 2 , . . . , n } sus respectivas bases duales. Entonces si la matriz de cambio de base de B a B es A = (aij ), la matriz de cambio de base de B a B es At = (aji ) (La matriz traspuesta de A). Proof. Se tiene que vj = v = =
n j=1 n j=1 n i=1
j (v)vj = j=1 j (v)( i=1 aij vi ) n n n i=1 j (v)aij vi = i=1 ( j=1 aij j (v))vi .
n
i (v)vi ,
i (v) =
j=1
aij j (v)
n j=1
y como esto es vlido para todo v V , se tiene: i = a matriz de cambio de base de B a B es (aji ).
Ejercicio 2.3. Calcular las matrices de cambio de base de B a B y de B a B del ejercicio anterior.
ESPACIO DUAL
3. Teorema de Reflexividad Lema 3.1. Sea V espacio vectorial sobre k si v = 0 entonces V tal que (v) = 0. Proof. Se ampl {v} hasta una base de V , sea {, 2 , . . . , n } la base dual, entonces a (v) = 1 = 0. Denicin 3.2. Se dene el espacio bidual de V o doble dual, al espacio vectorial o Hom(V , k), se notar V . a Obviamente dim(V ) = dim(V ) = dim(V ) y como se dijo al principio del tema se puede denir una base en V partiendo de una base en V . Teorema 3.3. (de Reexividad). Sea V espacio vectorial sobre k nitamente generado, sea V su bidual, entonces : V V denido como (v) = v , donde v : V k dada por v () = (v) es un isomorsmo. Proof. Hay que probar: (1) v V , es decir, v es lineal. (2) es lineal. (3) Ker = 0. Vemoslo: a (1) v es lineal. v (r + s) = (r + s)(v) = r(v) + s(v) = rv () + sv ()
(2) Veamos que (v + v ) = (v) + (v ) o lo que es lo mismo, comprobemos que v+v = v + v . Para ello sea V : v+v () = (v + v ) = (v) + (v ) = v () + v () = v + v () av () = (av) = a(v) = av .
Comprobemos tambin que av = av . e (3) Ker = 0. Sea (v) = 0, es decir, v = 0, o lo que es lo mismo, v () = 0 V (v) = 0 V , pero si v = 0 sabemos, por el lema anterior, que existe V tal que (v) = 0, por tanto v = 0. Este teorema nos da un isomorsmo entre V y V , pero este isomorsmo es especial. Dado v V , podemos decir quien es v V , cosa que no sucede para V . 4. El Subespacio Anulador Denicin 4.1. Sea S un subconjunto de V , se dene el anulador de S como o an(S) = { V : (v) = 0 v S}. Si S es subconjunto de V se puede escribir an(S) = {v V : (v) = 0 S}, utilizando el teorema de reexividad.
ESPACIO DUAL
Proposicin 4.2. Sea V espacio vectorial sobre k y sea S subconjunto de V eno tonces: (1) an(S) es subespacio de V . (2) Si S es subespacio de V entonces dim(an(S)) = dim(V ) dim(S). (3) an(an(S)) = L(S). Si S es subespacio de V se tiene an(an(S)) = S. Proof. (1) Sean , an(S), es decir (v) = (v) = 0v V , y r, s k, entonces (r + s)(v) = r(v) + s(v) = 0 con lo que r + s an(S), y an(S) es subespacio de V . (2) Sea {v1 , v2 , . . . , vm } base de S subespacio de V , y la completamos hasta {v1 , v2 , . . . , vn } base de V y consideramos B = {1 , 2 , . . . , n }, entonces {m+1 , . . . , n } es base de an(S). Vemoslo: a Como es linealmente independiente, veamos que es sistema de generadores. Sea an(S), es decir, (v) = 0 v S. Como V tenemos: =
n j=1
(vj )j =
n j=m+1
(vj )j .
Esta ultima igualdad se tiene porque {v1 , v2 , . . . , vm } es base de S y por tanto (vi ) = 0 i = 1, . . . , m. Luego {m+1 , . . . , n } es sistema de generadores y por tanto base. Con lo que dim(an(S)) = dim(V ) dim(S). (3) Como an(an(S)) es subespacio de V y L(S) es el menor que contiene a S, si S an(an(S)) entonces L(S) an(an(S)). Sea, pues, v S entonces an(S), (v) = 0, o lo que es lo mismo, v an(an(S)). Para ver que los dos conjuntos son iguales, tenemos que, por el apartado anterior, dim(an(an(S))) = dim(V )dim(an(S)) = dim(V )(dim(V ) dim(L(S))), de donde, dim(an(an(S))) = dim(L(S)). Y por tanto los dos conjuntos son iguales. 5. Trasposicion de aplicaciones lineales. Denicin 5.1. Sea f : V V podemos denir o ft : V V ( ) f. A esta aplicacin, se le llama aplicacin traspuesta de f . o o Proposicin 5.2. f t es lineal. o Proof. Sean y V . Probemos primero que f t ( + ) = f t ( ) + f t ( ). Para ello sea v V y calculemos: f t ( + )(v) = ( + ) f (v) = ( + )(f (v)) = (f (v)) + (f (v)) = ( f )(v) + ( f )(v) = ( f + f )(v) = (f t ( ) + f t ( ))(v).
Ahora veamos que respeta el producto por escalares. f t (r )(v) = (r f )(v) = (r )(f (v)) = r( (f (v))) = r(f t ( ))(v).
ESPACIO DUAL
Proposicin 5.3. Sean f, g Homk (V, V ) y sea r k entonces: (f +g)t = f t +g t o y (rf )t = rf t . La demostracin se har como ejercicio. o a Proposicin 5.4. Sean f Homk (V, V ) y g Homk (V , V ), entonces: (g o f )t = f t g t . Proof. Sea V
, tenemos que = (g f ) = ( g) f = f t ( g) = f t (g t ( )) = (f t g t )( ).
(g f )t ( )
Proposicin 5.5. Sea f Homk (V, V ). Identicando V y V con sus duales, o tenemos que f = (f t )t Proof. Estamos identicando v y v . Es claro que (f t )t (v) = (f t )t (v ) = v (f t ). Sea V
Con lo que v (f t ) = f (v) que estamos identicando con f (v). Proposicin 5.6. Sea f Homk (V, V ) y sean B = {v1 , v2 , . . . , vn } y B = o {v1 , v2 , . . . , vn } bases de V y V respectivamente, entonces: a11 . . . an1 a11 . . . a1n . . M (f t , B , B ) = . . . . M (f, B, B ) = . . . . . . a1n Proof. Sea f (vj ) =
m k=1
...
ann
an1
...
ann
akj vk y sea f t (i ) =
f t (i )(vj ) =
k=1
Con lo que aij = bji . Proposicin 5.7. Sea f : V V una aplicacin lineal. Se tiene que: o o (1) an(Im f ) = Ker f t (2) an(Ker f ) = Im f t Proof. (1) an(Im f ) v V (f (v)) = 0 f t ( ) = f = 0 Ker f t .
ESPACIO DUAL
V y tenemos
an(Im f t ) = Ker (f t )t , an(Im f t ) = Ker f, aplicando anuladores, an(an(Im f t ) = an(Ker f ), o lo que es lo mismo: Im f t = an(Ker f ). Corolario 5.8. Sea f : V V una aplicacin lineal, entonces: o rango(f ) = rango(f t ) Proof. Por la proposicin anterior, sabemos que o rango(f t ) = dim(Im (f t )) = dim(an(Ker f )), y como adems a dim(an(Ker f )) = dim(V ) dim(Ker f ) = rango(f ).