Está en la página 1de 9

ALGEBRA LINEAL 1. Sea V un espacio vectorial sobre F . Sean S, T y U subespacios de V tal que i) S T = S U ii) S + T = S + U iii) T U. Demuestre que T = U 2.

2. Sea F = C y sea n un entero positivo. Demuestre que para cada subespacio W de F n existe una transformacin lineal T : F n F n tal que o W = KerT . Solucin: Sea {v1 , ..., vn } una base de F n tal que {v1 , ..., vk } sea una o base de W y denimos T (vi ) = 0 i = 1, ..., k vi si i > k

Luego, si z F n entonces z = 1 v1 + ... + n vn y T (z) = = = = Entonces, T (y) = 0 y = 1 v1 + ... + k vk yW Por lo tanto, KerT = W . 3. Sea F = C y T : F 2 F 2 una transformacin lineal que satisface o (T T ) = 0 y T = 0, donde 0 denota la funcin cero. Demuestre que o KerT = ImT . 4. Sea T r : Mnn (R) R la transformacin denida por o
n

T (1 v1 + ... + n vn ) 1 T (v1 ) + ... + k T (vk ) + k+1 T (vk+1 ) + ... + n T (vn ) k+1 T (vk+1 ) + ... + n T (vn ) k+1 vk+1 + ... + n vn

T r(A) =
k=1

akk

para cada matriz A = (aij ) 1

(a) Pruebe que T r es una transformacin lineal. o (b) Muestre que T r(AB) = T r(BA) para cada par de matrices A y B. (c) Calcule la dimensin del subespacio W de Mnn (R) que esta geno erado por la familia de matrices {C = AB BA : A, B Mnn (R)} (d) Pruebe que la matriz identidad I Mnn (R) no pertenece a W Solucin: o (a) Notemos que
n

T r(A + B) = T r((aij ) + (bij )) = T r((aij + bij ) =


k=1 n n

(akk + bkk )

=
k=1

akk +
k=1

bkk = T r(A) + T r(B)


n n

T r(A) = T r((aij )) =
k=1

(akk ) =
k=1

akk = T r(A)

(b) Sean A = (aij ), B = (bij ), AB = C = (cij ) y BA = D = (dij ). Sabemos que:


n

cij =
k=1

aik bkj

Entonces
n n n

T r(AB) = T r(C) =
r=1 n n

crr =
r=1 k=1 n

ark bkr dkk = T r(BA)


k=1

=
k=1 r=1

bkr ark

(c) Armacin: dimW = n2 n o (d) Supongamos que I = AB BA ciertos A y B, entonces T r(I) = T r(AB BA) = T r(AB) T r(BA) = 0 Pero T r(I) = n = 0 lo cual es una contradiccin. Por lo tanto, o I W. / 2

5. Sea V un espacio de dimensin nita sobre un cuerpo F y T : V V o una transformacin lineal. Suponga que dimIm(T 2 ) = dimIm(T ). o Demuestre que la interseccin de Im(T ) con Ker(T ) consiste solo del o vector cero. Solucin: Tenemos que T 2 : V V , por el teorema de la dimensin: o o dim(Ker(T )) + dim(Im(T )) = dimV = n dim(Ker(T 2 )) + dim(Im(T 2 )) = dimV = n Como dim(Im(T 2 )) = dim(Im(T )) se concluye de lo anterior que dim(Ker(T )) = dim(Ker(T 2 )) y entonces Ker(T ) Ker(T 2 ) = Notemos que Si x Ker(T ) T (x) = 0 T 2 (x) = T (T (x)) = T (0) = 0 x Ker(T 2 ) Luego, Ker(T ) Ker(T 2 ) y por lo tanto, Ker(T ) = Ker(T 2 ) Por otro lado, sea x Im(T ) Ker(T ) entonces existe y V tal que T (y) = x y T (x) = 0 entonces T 2 (y) = T (T (y)) = T (x) = 0 y Ker(T 2 ) = Ker(T ) entonces x = T (y) = 0 como queriamos probar. 6. Sean U, V y W espacios vectoriales sobre F . Sea f : V W y g : U V dos transformaciones lineales. Demuestre que: (i) Ker(g) Ker(f g) (ii) Si Ker(f ) Im(g) = {0} entonces Ker(g) = Ker(f g) (iii) Im(f g) Im(f ) (iv) Si Im(g) = V entonces Im(f g) = Im(f ) Solucin: o

(i) Sea u Ker(g) entonces g(u) = 0. f (g(u)) = f (0) = 0 (f g)(u) = 0 u Ker(f g) Por lo tanto, Ker(g) Ker(f g) (ii) Basta con probar que Ker(f g) Ker(g). Sea u Ker(f g) entonces (f g)(u) = 0. Tomando v = g(u) tenemos que: f (g(u)) = f (v) = 0 v Ker(f ) y que v Im(f ) Entonces v Ker(f ) Im(g) = {0} v = g(u) = 0, luego u Ker(g). Por lo tanto, Ker(g) = Ker(f g). (iii) Sea w Im(f g) entonces existe u U tal que (f g)(u) = w. Tomando v = g(u) se tiene que f (g(u)) = f (v) = w entonces w Im(f ). Por lo tanto, Im(f g) Im(f ). (iv) Basta probar que Im(f ) Im(f g). Sea w Im(f ) entonces existe v V tal que f (v) = w. Por el hecho que Im(g) = V entonces para cada v V existe u U tal que g(u) = v entonces w = f (v) = f (g(u)) = (f g)(u) w Im(f g). Por lo tanto, Im(f g) = Im(f ). 7. Demuestre que si I AB es invertible entonces I BA es invertible y que (I BA)1 = I + B(I AB)1 A Solucin: Notemos que si A = 0 entonces el asunto es trivial. o Supongamos que A = 0 y que I BA no es invertible, entonces por el Teorema de la dimensin esto equivale Ker(I BA) = {0}, es decir, o n que existe x R con x = 0 tal que (I BA)x = 0 A(I BA)x = A 0 = 0 (A ABA)x = 0 (I AB)Ax = 0 entonces Ax Ker(I AB) como A = 0 y x = 0 entonces Ax = 0, entonces Ker(I AB) = {0}, lo que equivale a decir que I AB no es invertible. Por otro lado, note que si (I AB)(I AB)1 = I I(I AB)1 AB(I AB)1 = I AB(I AB)1 = I (I AB)1 4

Entonces, multiplicando y usando la identidad de arriba, obtenemos (I BA)(I + B(I AB)1 A) I + B(I AB)1 A BA BAB(I AB)1 A I + B(I AB)1 A + (B BAB(I AB)1 )A I + B(I AB)1 A + B(I AB(I AB)1 )A I + B(I AB)1 A + B(I + I (I AB)1 )A I + B(I AB)1 A B(I AB)1 A I

= = = = = =

esto completa la prueba. 8. Sean v1 = (1, 0, 1), v2 = (0, 1, 2), v3 = (1, 1, 0) vectores en R3 . i) Si f : R3 R tal que f (v1 ) = 1, f (v2 ) = 1 y f (v3 ) = 3, encuentre f (x, y, z) para cualquier (x, y, z) R3 ii) De explicitamente una transformacin lineal g : R3 R tal que o g(v1 ) = g(v2 ) = 0 y g(v3 ) = 0. iii) Sea h : R3 R cualquier transformacin lineal tal que f (v1 ) = o f (v2 ) = 0 y f (v3 ) = 0. Pruebe que f (v) = 0 si v = (2, 3, 1). 9. Sea V un espacio vectorial de dimensin n sobre F y sea f : V V o n una transformacin lineal tal que f = 0 y f n1 = 0. Probar que existe o una base B de V tal que 0 0 ... 0 0 1 0 ... 0 0 0 1 ... 0 0 B [f ]B = . . .. . . . . . . . . . . . 0 0 ... 1 0 Solucin: Sabemos que f n1 = 0 entonces existe w1 V tal que o f n1 (w1 ) = 0 y consideremos w2 = f (w1 ) w3 = f (w2 ) . . . wn = f (wn1 )

Notemos que si elegimos B = {w1 , ..., wn } entonces se cumple que: 0 0 ... 0 0 1 0 ... 0 0 [f ]B = 0 1 ... 0 0 B . . .. . . . . . . . . . . . 0 0 ... 1 0 Luego, faltar probar que B es base de V , como B posee n elementos a en un espacio vectorial de dimensin n, basta con probar que B es un o conjunto linealmente independiente. Por demostrar que si: 1 w1 + 2 w2 + ... + n wn = 0 Entonces 1 = 2 = ... = n = 0 En efecto, aplicando a la igualdad anterior f n1 obtenemos que: 0 = f n1 (0) = = = = = f n1 (1 w1 + 2 w2 + ... + n wn ) 1 f n1 (w1 ) + 2 f n1 (w2 ) + ... + n f n1 (wn ) 1 f n1 (w1 ) + 2 f n1 (f (w1 )) + ... + n f n1 (f (wn1 )) 1 f n1 (w1 ) + 2 f n (w1 ) + ... + n f n (wn1 ) 1 f n1 (w1 )

como f n1 (w1 ) = 0 entonces 1 = 0, es decir, 2 w2 + ... + n wn = 0 Aplicando a la igualdad anterior f n2 obtenemos que: 0 = f n2 (0) = = = = = = = f n2 (2 w2 + ... + n wn ) 2 f n2 (w2 ) + ... + n f n2 (wn ) 2 f n2 (f (w1 )) + ... + n f n2 (f (wn1 )) 2 f n1 (w1 ) + ... + n f n1 (wn1 ) 2 f n1 (w1 ) + ... + n f n1 (f (wn2 )) 2 f n1 (w1 ) + ... + n f n (wn2 ) 2 f n1 (w1 )

como f n1 (w1 ) = 0 entonces 2 = 0, es decir, 3 w3 + ... + n wn = 0 Procediendo de la misma manera, obtenemos que: 1 = 2 = ... = n = 0 6

10. Sea T un endomorsmo del espacio vectorial V . Asuma que V = W1 W2 Wk donde cada subespacio Wj es invariante bajo T . Sea Tj la restriccin de T a Wj . o i) Pruebe que det T = det(T1 ) det(t2 ) det(Tk ) ii) Pruebe que el polinomio caracteristico de T es el producto de los polinomios caracter sticos de Tj para 1 j k. iii) Pruebe que el polinomio minimal de T es el m nimo comn multiu plo de los polinomios minimales de Tj para 1 j k. Solucin: Elegimos una base B = {x1 , ..., xn } de V tal que o B1 = {x1 , ..., xr1 } base de W1 B2 = {xr1 +1 , ..., xr2 } base de W2 . . . Bk = {xrk1 +1 , ..., xrk = xn } base de Wk Sea A = [T ]B entonces B
n

T (xj ) =
i=1

aij xi

Como Wl es invariante por T el vector T (xj ) Wl para rl1 j rl


rl

T (xj ) =
i=rl1

aij xi

rl1 j rl

Entonces, se deduce que: A= donde B1 = [T1 ]B1 B2 = [T2 ]B2 B1 B2 Entonces, por la forma de bloque de A det(A) = det(B1 ) det(Bk ) ... Bk = [Tk ]Bk Bk B1 B2 ... Bk

es decir det(T ) =

det(Ti )
i=1

y de manera analoga obtenemos


k

det(xI A) =
i=1

det(xI Bi )

Notemos que A =
m m B1 m B2

.. .
m Bk

cualquier polinomio que anule a A tambin anula a cada Bi , es decir, e o mBi (x) divide a mA (x) para 1 i k, por la denicin de polinomio minimal obliga a que: mA (x) = m.c.m(mB1 (x), ..., mBk (x)) es decir mT (x) = m.c.m(mT1 (x), ..., mTk (x)) 11. Sean A Mn (R) ja y T : Mn (R) Mn (R) transformacin lineal o dada por: T (B) = AB Demostrar que el polinomio minimal de T es el polinomio minimal de A. Solucin: Consideremos la base cannica de Mn (R) o o B = {e11 , e21 , ..., en1 , e12 , e22 , ..., en2 , ..., en1 , en2 , ..., enn } Si A = [ v1 v2 ... vn ], entonces T (e11 ) = Ae11 = [ v1 0 ... 0 ] = a11 e11 + a21 e21 + ... + an1 en1 T (e21 ) = Ae21 = [ v2 0 ... 0 ] = a12 e11 + a22 e21 + ... + an2 en1 . . . T (en1 ) = Aen1 = [ vn 0 ... 0 ] = a1n e11 + a2n e21 + ... + ann en1 T (e12 ) = Ae12 = [ 0 v1 ... 0 ] = a11 e12 + a21 e22 + ... + an1 en2 8

T (e22 ) = Ae22 = [ 0 v2 ... 0 ] = a12 e12 + a22 e22 + ... + an2 en2 . . . T (en2 ) = Aen2 = [ 0 vn ... 0 ] = a1n e12 + a2n e22 + ... + ann en2 . . . T (e1n ) = Ae1n = [ 0 0 ... v1 ] = a11 e1n + a21 e2n + ... + an1 enn T (e2n ) = Ae2n = [ 0 0 ... v2 ] = a12 e1n + a22 e2n + ... + an2 enn . . . T (enn ) = Aenn = [ 0 0 ... vn ] = a1n e1n + a2n e2n + ... + ann enn

Por lo tanto, a11 a12 a21 a22 . . . . . . a n1 an2 0 0 0 0 0 [T ]B = 0 B 0 0 . . . . . . 0 0 0 0 0 0 0 0

a1n 0 0 a2n 0 0 . . . 0 0 . . ann 0 . 0 0 a11 a12 0 a21 a22 . . . . 0 . . . . . 0 . . . 0 0 0 0

0 0 0

0 0 0 0 0 0 0

0 0 0 0 0 0 0

. . . . . .

an1 an2 . . . . . . 0 0 0 0 0 0 = 0 0

0 a1n a2n . . . . . ann . . . . . . . 0 0 0 0

0 0 . . .. . . . . . a11 a12 a21 a22 . . . . . . an1 an2

0 0 0 0 0 0 0 0 a1n a2n . . . ann

[T ]B B

A 0 0 0 A 0 . . .. . . . . . . . . 0 0 A

Sabemos que mT (x) = m.c.m(mA (x), ..., mA (x)) = mA (x)

También podría gustarte

  • Log
    Log
    Documento5 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento5 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento5 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logasd
    Logasd
    Documento3 páginas
    Logasd
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logasd
    Logasd
    Documento3 páginas
    Logasd
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento4 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logasd
    Logasd
    Documento3 páginas
    Logasd
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logads ADSs
    Logads ADSs
    Documento3 páginas
    Logads ADSs
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logads ADSs
    Logads ADSs
    Documento3 páginas
    Logads ADSs
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logasd
    Logasd
    Documento3 páginas
    Logasd
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logasd
    Logasd
    Documento3 páginas
    Logasd
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logasd
    Logasd
    Documento3 páginas
    Logasd
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logasd
    Logasd
    Documento3 páginas
    Logasd
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logfas
    Logfas
    Documento3 páginas
    Logfas
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento2 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logfas
    Logfas
    Documento3 páginas
    Logfas
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logads ADSs
    Logads ADSs
    Documento3 páginas
    Logads ADSs
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logads ADSs
    Logads ADSs
    Documento3 páginas
    Logads ADSs
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Log
    Log
    Documento2 páginas
    Log
    Manuel Ramirez Carrillo
    Aún no hay calificaciones
  • Logfas
    Logfas
    Documento3 páginas
    Logfas
    Manuel Ramirez Carrillo
    Aún no hay calificaciones