Resoluci on del Segundo parcial de Algebra Lineal 2

IMERL/FIng/UdelaR 27 de junio de 2012

Proponemos una resoluci on para la versi on 1. La resoluci on de la versi on 2 se obtiene de manera sencilla, puesto que las opciones son las mismas pero cambiadas de orden. 1. Por ser A sim etrica, la transformaci on LA (X ) := AX es normal y entonces A A . E E
A A . Puesto que ambos espacios propios tienen dimensi on 2, R4 = E E A Entonces, la base buscada es una base del complemento ortogonal de E , espacio del cual {(1, 1, 0, 0), (1, 1, 1, 1)} es base. A S olo los vectores de la opci on (e) son perpendiculares a la base de E y A entonces ellos conforman una base de E .

2.

(i) La matriz no es normal y por lo tanto, no diagonaliza en una b.o.n. (ii) La matriz tiene dos valores propios: i + 1 e i 1. Los conjuntos {(1, 1)} y {(1, 1)} son bases de los respectivos espacios propios. Normalizando los vectores obtenemos una b.o.n. de vectores propios, donde la matriz de cambio de base tiene s olo entradas reales. (iii) La matriz es normal y entonces diagonaliza en una b.o.n. de vectores propios. Tiene dos valores propios distintos: 2 y 8. Directamente se puede observar que si la opci on i. fuera la correcta, la matriz A deber a tener todas sus entradas reales. Tambi en se puede hacer 1 A lo siguiente: Los espacios propios son E2 = {( 2 (1 + i), 1)} y A E8 = {(1 + i, 1)} , los cuales no contienen vectores de coordenadas reales. La matriz de cambio de base a una b.o.n. de vectores propios existe, pero es necesariamente no real. (iv) La matriz es real, normal pero no sim etrica (entonces no es autoadjunta). Luego, como matriz compleja diagonaliza en una b.o.n. de vectores propios pero como matriz real no. Una alternativa es, con la soluci on hallada en el pr actico, ver que los espacios propios tienen vectores con coordenadas complejas no reales.

3. (a) Se verica que C es una b.o.n., pero B no, haciendo los productos internos necesarios. Por ejemplo: 1

F2 , F2 F3 , F1 E2 , E2

= = =

t tr(F2 F2 ) t tr(F1 F3 ) t tr(E2 E2 )

= = = es:

tr tr tr

0 0 0 1 0 0 0 0 1 1 1 1

= = =

1 0 2

(b) La matriz asociada a T en la base C 1 0 0 1 1 0 0 1

2 0 0 2 3 0 0 3

Por ser C una b.o.n., la matriz asociada a T es su traspuesta (se trata de una matriz real). S olo resta hacer el cambio de base. La matriz C [id]B es: 1 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 Su inversa B [id]C se halla f acilmente, por ejemplo por escalerizaci on: 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 El resultado del producto B [id]C C [T ]C C [id]B es la matriz pedida: 1 0 1 0 2 1 4 5 2 0 3 0 0 2 2 5

4. (a) Eligiendo vectores normales A y B en r1 y r2 respectivamente, tenemos: P1 ( X ) = X, A A P2 ( X ) = X, B B ( X, A y X, B son los coecientes de Fourier de X ). Entonces: (X ) = P1 (X ), P2 (X ) = X, A A , X, B B =

X, A X, B A, B Lo que prueba que (i) es cierta. Puesto que el enunciado armaba que hab a una sola correcta, con esto alcanza. De todos modos, veamos porque las otras son falsas: Si adem as (ii) fuera cierta, entonces A, B = 1 y las rectas ser an iguales. Luego, eligiendo dos rectas distintas se ve que (ii) es falsa. Si (iii) fuera tambi en cierta, entonces los productos A, B con A colineal con r1 y B colineal con r2 ser an constantes independientemente de los vectores A y B escogidos (lo cual es absurdo). (b) Consideramos A y B de norma 1, como en la parte (a). Tenemos (A) = A, A A, B 2 = A, B 2 . Por hip otesis r1 r2 y entonces (A) > 0. Descartamos entonces la opci on (iii). Si r1 = r2 , entonces podemos elegir A = B de norma 1 y obtenemos: (X ) = X, A 2 0. Descartamos la opci on (i). Adem as (X ) = 0 si X A. Concluimos que si existen las rectas que postula la opci on (ii), deben ser diferentes. Consideremos dos rectas r1 = r2 . Esto implica que A, B = 1. Adem as, podemos suponer que A, B < 0, cambiando B por B si no fuera el caso. (A + B ) = A + B, A A + B, B A, B = (1 + A, B )2 A, B

Entonces (A + B ) < 0, (ii) y (iv) tambi en son falsas. La opci on correcta es la (v). (c) Vemos en cada caso como se expresa la forma cuadr atica en funci on de los generadores de las rectas. Cuando los generadores no son de norma 1, deben ser normalizados para poder usar la f ormula hallada en la parte (a). Luego expresamos (X ) como X t AX para una cierta matriz sim etrica A. La f ormula de los centros es 2AX + B = 0 y poniendo (4, 4, 4) en lugar de X se verica que s olo la cu adrica de la opci on (iv) lo admite como centro. Las matrices A que obtienen son: i. (X ) = X, (1, 0, 0) X, (1, 0, 0) matriz de la forma cuadr atica es: 1 0 A= 0 0 0 0 3 (1, 0, 0), (1, 0, 0) = x2 . La 0 0 0

(ii) y (iii) (X ) = X, (1, 0, 0)

1 3 x(x + y + z )

1 1 , 13 , ) X, ( 3 3

1 1 (1, 0, 0), ( , 13 , ) = 3 3

2 =1 atica 3 (x + xy + xz ). La matriz de la forma cuadr

es: A=
1 , 12 , 0) (iv) (X ) = X, ( 2 1 4 (x 1 3

1
1 2 1 2

1 2

1 2

0 0

0 0
1 1 ( , 12 , 0), (0, , 12 ) = 2 2

1 X, (0, , 12 ) 2

2 + y )(y + z ) = 1 4 (xy + yz + y + xz ). La matriz de la forma cuadr atica es: 1 0 1 2 2 1 1 1 1 2 A= 4 2 1 1 0 2 2

+ (4, 4, 4)), la ecuaci (d) Al trasladar seg un la sugerencia (X = X on de la cu adrica en las nuevas coordenadas es: t AX +d=0 X d = (4, 4, 4)t A(4, 4, 4) + (4, 4, 4), (2, 4, 2) + 1 = 15. Calculando directamente los valores propios de A o bien usando lo visto en la parte (b), sabemos que la forma cuadr atica es indenida y entonces tiene un valor propio 0, uno negativo 1 y uno positivo 1 0 0 2 . Sea Q ortogonal tal que Qt AQ = 0 2 0 . Haciendo 0 0 0 =QX visto en el curso, la ecuaci el cambio de variables X on de la cu adrica en el nuevo sistema de coordenadas es: 1 x 2 + 2 y 2 15 = 0 que es la ecuaci on de un cilindro hiperb olico.