PEC de Álgebra Lineal 2 (Grado de Matemáticas) abril 2019

Ejercicio 1 (4 puntos).
(a) Determine la forma canónica de Jordan J del endomorfismo f de un K-espacio vectorial cuya matriz
respecto de cierta base B = {v1 , v2 , v3 , v4 } es  
2 0 0 0
 1 3 −1 0 
A=  1
.
1 1 0 
1 −1 1 2
0
(b) Determine la base B tal que MB0 (f ) = J .

Solución:
(a) Este ejercicio es análogo al ejercicio 5.15 (página 401) pero con el autovalor 2 en lugar del autovalor 1. El
polinomio caracterı́stico es pf (λ) = det(A − λI4 ) = (2 − λ)4 , de donde deducimos que f tiene un único
autovalor λ = 2 de multiplicidad algebraica a = 4. Calculamos los subespacios propios generalizados hasta obtener
el subespacio máximo M (2) que será el que tenga dimensión igual a a = 4.
 
0 0 0 0
 1 1 −1 0  1
rg(A − 2Id) = rg   1 1 −1 0  = 2 ⇒ dim K (2) = dim ker(f − 2Id) = 4 − 2 = 2.


1 −1 1 0

Unas ecuaciones implı́citas de este subespacio son K 1 (2) = {x1 + x2 − x3 = 0, x1 = 0}.

La multiplicidad geométrica del autovalor es g = dim K 1 (2) = 2. Esto ya nos dice que en la matriz de Jordan
habrá dos bloques. Las posibilidades son: dos bloques de dimensión 2 o un bloque de dimensión 3 y otro de dimensión
1. Seguimos con los subespacios generalizados:

rg(A − 2Id)2 = rg 0 = 0 ⇒ dim K 2 (2) = dim ker(f − 2Id)2 = 4 ⇒ K 2 (1) = M (2).

En particular K 2 (2) = M (2) = V el espacio total, que no tiene ecuaciones implı́citas.

La tabla de la base de Jordan B0 = {w1 , w2 , w3 , w4 } es
2 4
K 1 (2) ⊂ K 2 (2)= M (2)
w2 ← w1
w4 ← w3

donde w2 = (f − Id)(w1 ), w4 = (f − Id)(w3 ) y w1 , w3 ∈ K 2 (2) − K 1 (2) forman una base de un suplementario

de K 1 (2) en K 2 (2). Es decir K 1 (2) ⊕ L(w1 , w3 ) = K 2 (2).
Como en la base de Jordan hay dos lı́neas de longitud 2, entonces la forma canónica de Jordan está formada por dos
bloques de orden 2
 
2 0 0 0
 1 2 0 0 
MB0 (f ) = J =  0 0 2 0 .


0 0 1 2
Observación: si tomamos los vectores w1 y w3 con la única condición de ser linealmente independientes y perte-
necer a K 2 (2)−K 1 (2) (sin cumplir la condición necesaria, en azul), entonces podrı́a ocurrir que alguna combinación
lineal de ellos fuera un vector de K 1 (2), y en tal caso {w1 , w2 , w3 , w4 } no serı́an linealmente independientes.

(b) Para construir B0 = {w1 , w2 , w3 , w4 } determinamos primero una base del subespacio propio V2 = K 1 (2):
 
K 1 (2) = L (0, 1, 1, 0)B , (0, 0, 0, 1)B .

Y ampliamos esta base hasta obtener una de K 2 (2) con los vectores w1 y w3 :
 
K 2 (2) = K 1 (2) ⊕ L v1 = (1, 0, 0, 0)B , v3 = (0, 0, 1, 0)B

y se calculan: w2 = (f − 2Id)(w1 ) = (0, 1, 1, 1)B , w4 = (f − 2Id)(w3 ) = (0, −1, −1, 1)B .

Las coordenadas de estos vectores forman las columnas de la matriz de cambio de base P = MB0 B
 
1 0 0 0
 0 1 0 −1 
P = MB 0 B =   0 1 1 −1  .


0 1 0 1
Ejercicio 2 (3 puntos). Sea B = {v1 , v2 , v3 } una base de un K-espacio vectorial V y f un endomorfismo
tal que
f (v1 − v2 ) = −v1 + v2 ,
ker(f − Id) = {x1 = 0, x2 = x3 },
ker(f − Id)2 = {x1 = 0}.
(a) Determine la forma canónica de Jordan de f .
(b) Halle la matriz de f en la base B.
(c) Determine los subespacios invariantes irreducibles de f .

Solución:
(a) De f (v1 − v2 ) = −v1 + v2 deducimos que v1 − v2 es un autovector con autovalor λ1 = −1,
y que la dimensión algebraica y geométrica es como mı́nimo 1. Es decir,

dim M (−1) ≥ 1. (1)

De ker(f − Id) = {x1 = 0, x2 = x3 } se deduce que λ2 = 1 es un autovalor de di-
mensión geométrica 1 = dim(ker(f − Id)) = dim({x1 = 0, x2 = x3 }). Además, como
dim(ker(f − Id)2 ) = dim({x1 = 0}), se deduce que dim K 2 (1) = 2, es decir

dim M (1) ≥ 2. (2)

Puesto que, 3 ≥ dim M (−1) + dim M (1) y dadas las desigualdades (1) y (2), deducimos
que
dim M (−1) = 1 y dim M (1) = 2.
Por tanto la forma canónica de Jordan en cierta base B0 será:
 
−1 0 0
MB0 (f ) =  0 1 0 .
0 1 1

(b) Tomamos B0 = {w1 , w2 , w3 } tal que:

(i) w1 es un autovector con autovalor −1, por ejemplo w1 = v1 − v2 = (1, −1, 0)B ;
(ii) w2 pertenece a ker(f − Id)2 − ker(f − Id) = {x1 = 0} − {x1 = 0, x2 = x3 }, por
ejemplo w2 = (0, 1, 0);
(iii) w3 está fijado por la expresión w3 = (f − Id)(w2 ), pero como no sabemos la expresión
de f , no podemos utilizar esto para calcular w3 . Lo que sı́ sabemos es que

w3 ∈ ker(f − Id) = {x1 = 0, x2 = x3 }.

Es decir, w3 = (0, a, a)B para algún a 6= 0. Finalmente, haciendo el cambio de base de

B0 a B obtenemos la matriz pedida:
   −1
1 0 0 −1 0 0 1 0 0
MB (f ) = P MB0 P −1 = −1 1 a  0 1 0 −1 1 a
0 0 a 0 1 1 0 0 a
 
−1 0 0
= a + 2 a + 1 −a  .
a a 1−a

(c) Caso 3.2 de la página 408. las rectas invariantes corresponden a L(w1 ) y L(w3 ). El único
plano invariante irreducible es P1 = M (1) = {x1 = 0}, puesto que P2 = L(w1 ) ⊕ L(w3 )
es reducible.
Ejercicio 3 (3 puntos). Determine su puede existir un endomorfismo de C4 que tenga exactamente 2
rectas invariantes y exactamente 1 plano invariante.

Solución: Si hay exactamente dos rectas invariantes, hay dos autovalores distintos λ 6= µ con
multiplicidad geométrica 1. Supongamos que B = {v1 , v2 , v3 , v4 } es la base de la forma de Jordan.
Existen dos posibilidades:
 
λ 0 0 0
1 λ 0 0 
1) 
 0 0 µ 0 . Donde las rectas invariantes son: Vλ = L(v2 ) y Vµ = L(v4 ). En este caso

0 0 1 µ
existen 3 planos invariantes: P1 = L(v2 , v4 ), P2 = L(v1 , v2 ), P3 = L(v3 , v4 ).
 
λ 0 0 0
1 λ 0 0 
2) 
 0 1 λ 0 . Donde las rectas invariantes son: Vλ = L(v3 ) y Vµ = L(v4 ). En este caso

0 0 0 µ
existen 2 planos invariantes: P1 = L(v3 , v4 ), P2 = L(v2 , v3 ).
Por tanto el endomorfismo descrito no puede existir.