Universidad Nacional Autónoma de México

Algebra Lineal II
Tercer Examen Parcial Gerardo González Garcı́a

1. Sea T : R4 → R4 dada por T (x, y, z, w) = (2x − y + w, 3y − z, y + z, −y + 3w). Verificar que

el polinomio caracterı́stico de T se descompone y obtener la forma canónica de Jordan y la base
canónica de Jordan para T .
Solución Supongamos que γ es la base canónica de R4 , entonces:
 
2 −1 0 1
 0 3 −1 0 
A = [T ]γ =  0 1

1 0 
0 −1 0 3

El polinomio caracterı́stico de T está dado por:

 
2−t −1 0 1  
3 − t −1 0
 0 3 − t −1 0 
f (t) = det(A − tI4 ) = det   = (2 − t)det  1 1−t 0 
 0 1 1−t 0 
−1 0 3−t
0 −1 0 3−t

= (2 − t)(3 − t)[(3 − t)(1 − t) + 1] = (t − 2)3 (t − 3)

Por lo que los eigenvalores son λ1 = 2 y λ2 = 3 con multiplicidades 3 y 1 respectivamente.
Para λ1 = 2:
          
0 −1 0 1 x1 0  x1 1 0
 0 1 −1 0   x2   0  x2 − x4 = 0  x2   0   1 
 0 1 −1 0   x3  =  0  → x3 − x4 = 0 → 
       = λ  + µ 
x3   0   1 
0 −1 0 1 x4 0 x4 0 1

Por lo que el conjunto:    


 1 0 

0   1
   
β1 =  , 


 0   1 

0 1
 

es una base de E λ1 .
Para λ2 = 3:
   
    
−1 −1 0 1 x1 0  x1 1
 x1 − x4 = 0
 0 0 −1 0   x2   0 
= →
 x2
 = λ 0 
  
  x2 = 0 → 
 0 1 −2 0   x3   0   x3   0 
x3 = 0

0 −1 0 0 x4 0 x4 1

Por lo que el conjunto:  


 1 
 
0 

β2 =  0 

 
1
 

es una base de Eλ2 . Para el caso de los eigenvectores generalizados para el eigenvalor λ1 vemos que:
     
0 −1 0 1 0 −1 0 1 x1 0
 0 1 −1 0   0 1 −1 0   x2   0 
     
([T ]γ − λ1 I4 )2 x =  = 
 0 1 −1 0   0 1 −1 0   x3   0 
0 −1 0 1 0 −1 0 1 x4 0
     
0 −2 1 1 x1 0
 0 0 0 0   x2   0 
→ 
 0 0 0 0   x3
 =   → −2x2 + x3 + x4 = 0
  0 
0 −2 1 1 x4 0
       
x1 1 0 0
 x2  0   1  + t 1 
     
→  = λ
 x3  + µ
 0   2   0 
x4 0 0 2
Por lo que el conjunto:      

 1 0 0 
0 , 1
  1 
  
β3 =  , 


 0   2   0 

0 0 2
 

es una base de Kλ1 . Tomamos entonces:


0
 1 
v1 =  
 2 
0

Por lo que:hacemos  
−1
 −1 
v2 = (T − λI)(v1 ) =  
 −1 
−1
Esto muestra que una base canónica de Jordan es el conjunto:
       

 −1 0 1 1 
−1   1   0   0 
 
β4 =   −1  ,  2
  , .
  0  


 0 

−1 0 0 1
 

Entonces la forma canónica de Jordan es:

 
2 1 0 0
 0 2 0 0 
J =
 0
N
0 2 0 
0 0 0 3

 
3 0 0
2. Dada la matriz A =  0 4 −1 , obtener su polinomio caracterı́stico y su forma canónica de
0 1 2
Jordan.
Solución El polinomio caracterı́stico de A está dado por:
 
3−t 0 0
f (t) = det(A − tI3 ) = det  0 4 − t −1  = (3 − t)[(4 − t)(2 − t) + 1]
0 1 2−t

= (3 − t)[t2 − 6t + 8 + 1] = −(t − 3)3

 Por lo que el único eigenvalor es λ1 = 3 con multiplicidad 3.
Para λ1 = 3:
          
0 0 0 x1 0 x1 1 0
 0 1 −1   x2  =  0  → x2 − x3 = 0 →  x2  = λ  0  + µ  1 
0 1 −1 x3 0 x3 0 1
Por lo que el conjunto:    
 1 0 
β =  0 , 1 
0 1
 

es una base de Eλ1 .Por lo que existe una base canónica de Jordan β tal que la forma canónica de
Jordan de A es:  
3 1 0
[T ]β =  0 3 0  N
0 0 3

3. Sean A ∈ M2 (R), λ un valor propio de A de multiplicidad algebráica 2 y v̄1 un vector propio de A

correspondiente a λ. Probar que si A no es diagonalizable, entonces existe un vector v̄2 que satisface
la ecuación: (A − λI2 )v̄2 = v̄1 .
Solución Sea γ = {w1 , w2 } una base canónica de Jordan de T = LA . Entonces la forma canónica
de Jordan de A respecto γ es de la forma:
 
λ 1
[T ]γ =
0 λ
Por lo que T (w1 ) = λw1 y T (w2 ) = w1 + λw2 . Ya que w1 es un vector propio asociado a λ, existe un
escalar c tal que v1 = cw1 . Definimos v2 := cw2 , entonces β = {v1 , v2 } es base de V y además:
T (v2 ) = T (cw2 ) = cT (w2 ) = cw1 + cλw2 = v1 + λv2
Es decir:
v1 = T (v2 ) − λv2 = (T − λI2 )v2 N

4. Escribir TODAS las posibles formas canónicas de Jordan de la matriz A si su polinomio caracterı́stico
es de la forma:
(a) f (t) = (t − 4)3 (t + 3)2 .
(b) f (t) = (t + 3)4 .
Solución
(a) Las siguientes son las formas canónicas de las matrces cuyo polinomio caracterı́stico es f (t) =
(t − 4)3 (t + 3)2 :
    
4 1 0 0 0 4 1 0 0 0 4 0 0 0 0 4 0 0 0 0
 0 4 1 0 0  0 4 0 0
  0  0 4 1 0 0  0 4 0 0 0 
   
 0 0 4 0 0  0 0 4 0 0  0 0 4 0 0  0 0 4 0 0 
    
 0 0 0 −3 1   0 0 0 −3 1  0 0 0 −3 1  0 0 0 −3 1 
0 0 0 0 −3 0 0 0 0 −3 0 0 0 0 −3 0 0 0 0 −3
    
4 1 0 0 0 4 1 0 0 0 4 0 0 0 0 4 0 0 0 0
 0 4 1 0 0  0 4 0 0
  0  0 4 1 0 0  0 4 0 0 0 
   
 0 0 4 0 0  0 0 4 0
  0  0 0 4 0 0  0 0 4 0 0 
   
 0 0 0 −3 0   0 0 0 −3 0  0 0 0 −3 0  0 0 0 −3 0 
0 0 0 0 −3 0 0 0 0 −3 0 0 0 0 −3 0 0 0 0 −3
luego las que se generan permutando los proques de Jordan:
    
−3 1 0 0 0 −3 1 0 0 0 −3 1 0 0 0 −3 1 0 0 0
 0 −3 0 0 0   0 −3 0 0 0   0 −3 0 0 0  0 −3 0 0 0 
    
 0 0 4 1 0   0 0 4 1 0  0 0 4 0 0 0 0 4 0 0
   
   
 0 0 0 4 1   0 0 0 4 0  0 0 0 4 1  0 0 0 4 0 
0 0 0 0 4 0 0 0 0 4 0 0 0 0 4 0 0 0 0 4
    
−3 0 0 0 0 −3 0 0 0 0 −3 0 0 0 0 −3 0 0 0 0

 0 −3 0 0 0 
 0 −3 0 0 0 
 0 −3 0 0 0 
 0 −3 0 0 0 


 0 0 4 1 0 
 0 0 4 1 0 
 0 0 4 0 0 
 0 0 4 0 0 

 0 0 0 4 1  0 0 0 4 0  0 0 0 4 1  0 0 0 4 0 
0 0 0 0 4 0 0 0 0 4 0 0 0 0 4 0 0 0 0 4

(b) Las siguientes son las formas canónicas de las matrces cuyo polinomio caracterı́stico es f (t) =
(t + 3)4 .
    
−3 1 0 0 −3 0 0 0 −3 1 0 0 −3 1 0 0
 0 −3 1 0   0 −3 1
  0   0 −3 0 0   0 −3 1
  0 
  
 0 0 −3 1   0 0 −3 1  0 0 −3 1   0 0 −3 0 
0 0 0 −3 0 0 0 −3 0 0 0 −3 0 0 0 −3
    
−3 1 0 0 −3 0 0 0 −3 0 0 0 −3 0 0 0
 0 −3 0 0   0 −3 1
  0   0 −3 0 0   0 −3 0
  0 
  N
 0 0 −3 0   0 0 −3 0  0 0 −3 1   0 0 −3 0 
0 0 0 −3 0 0 0 −3 0 0 0 −3 0 0 0 −3