Un ejemplo de descomposición primaria

 
0 0 1 0 1

 1 0 0 0 0 

Sea A =  0 1 0 0 −1  ∈ R5×5 .
 
 0 0 0 1 0 
0 0 0 0 1

3
[No es difı́cil ver que el polinomio caracteristico es X 5 − 2X 4 + X 3 − X 2 + 2X − 1 = X + X 2 + 1 (X − 1) ,
pero no lo vamos a usar.]

Hallamos el minimal de A:

• Ae1 = e2 → A2 e1 = e3 → A3 e1 = e1 → me1 = X 3 − 1
• Ae2 = e3 → A2 e2 = e1 → A3 e2 = Ae1 = e2 → me2 = X 3 − 1

• Ae3 = e1 → A2 e3 = e2 → A3 e3 = Ae2 = e3 → me3 = X 3 − 1

• Ae4 = e4 → me4 = X − 1
• Ae5 = e1 − e3 + e5 → A2 e5 = e2 − e1 + e1 − e3 + e5 = e2 − e3 + e5 → A3 e5 = e3 − e1 + e1 − e3 + e5 = e5 →
me5 = X 3 − 1


Luego mA = X 3 − 1 = (X − 1) X 2 + X + 1 .

Hay que buscar bases de ker (A − 1) y de ker(A2 + A + 1):

     
0 0 1 0 1 1 0 0 0 0 −1 0 1 0 1
 1 0 0 0 0   0 1
   0 0 0 


 1 −1 0 0 0 
 0 1 0 0 −1  −  0 0
• ker (A − Id) = ker  1 0 0 0 1 −1 0 −1 
 = ker 
,
  
 
 0 0 0 1 0   0 0 0 1 0   0 0 0 0 0 
 0 0 0 0 1  0 0 0 0 1 0 0 0 0 0
1 0 1
 1   0   1 
     
 1  ,  0  ,  0 
y su núcleo es:      
 0   1   0 
0 0 1
 2    
0 0 1 0 1 0 0 1 0 1 1 0 0 0 0

 1 0 0 0 0  
 1
 0 0 0 0  
  0 1 0 0 0 

• ker(A2 + A + Id) = ker 
 0 1 0 0 −1   + 0
 1 0 0 −1 +
  0 0 1 0 0  =

 0 0 0 1 0   0 0 0 1 0   0 0 0 1 0 
0 0 0 0 1 0 0 0 0 1 0 0 0 0 1
     
1 1 1 0 1 −1 −1

 1 1 1 0 1 

 1   0
  


ker 
 1 1 1 0 −2 , y
  0  ,  1
su núcleo    

 0 0 0 3 0   0   0 
0 0 0 0 3 0 0

Luego, la base B en la que se parte en bloques la matriz A es

         
1 0 1 −1 −1
 1   0   1   1   0 
         
 1 , 0 , 0 , 0 , 1 .
         
 0   1   0   0   0 
0 0 1 0 0

1
  
1 0 1 −1 −1

 1 0 1 1 0 

La matriz cambio de base que entra en la base B y sale en la canónica es: P = 
 1 0 0 0 1 , cuya

 0 1 0 0 0 
0 0 1 0 0
1 1 1
− 23
 
3 3 3 0
 0 0 0 1 0 
−1
 
inversa es P  01
= 0 0 0 1 
2

 −
3 3 − 13 0 − 13 
− 13 − 13 2
3 0 2
3

Calculando P −1 AP se obtiene:

1 1 1
− 23
     
3 3 3 0 0 0 1 0 1 1 0 1 −1 −1 1 0 0 0 0
 0 0 0 1 0  1 0 0 0 0  1 0 1 1 0   0 1 0 0 0 
     
 0
 1 0 0 0 1 
 0 1 0 0 −1 
 1 0 0 0 1 =
  0 0 1 0 0 .

2
 −
3 3 − 13 0 − 13  0 0 0 1 0  0 1 0 0 0   0 0 0 −1 −1 
− 31 − 13 2
3 0 2
3
0 0 0 0 1 0 0 1 0 0 0 0 0 1 0

 
1 0 0 0 0
 0 1 0 0 0   
  C 0
Observar que  0 0 1 0 0  tiene forma en bloques con C ∈ R3×3 y D ∈ R2×2 . Además
  0 D
 0 0 0 −1 −1 
0 0 0 1 0
mC = (X − 1) y mD = X 2 + X + 1.

2
Ejemplo del cálculo de un vector cı́clico
 
2 0 −1 0 0

 0 −2 0 0 0 
 5×5 5
Sea la matriz A = 
 1 0 0  ∈ R , se busca un vector w ∈ R tal que mw = mA.
0 0 
 0 0 0 1 0 
0 −5 0 0 3

Desarrollando en orden por la quinta columna, por la cuarta y por la segunda queda que el polinomio carac-
3
terı́stico es (X − 3)(X − 1)(X + 2)(X 2 − 2x + 1) = (X − 3) (X + 2) (X − 1)

k
Luego el polinomio minimal debe de la forma (X − 3) (X + 2) (X − 1) , donde k toma algún valor entre 1, 2, 3.
Tratemos de calcular este polinomio minimal hallando los minimales de los vectores de la base canónica de R5 .
Se tiene:
2
• Ae1 = 2e1 + e3 → A2 e1 = 2(2e1 + e3 ) − e1 = 3e1 + 2e3 = 2Ae1 − e1 → me1 = X 2 − 2X + 1 = (X − 1)
• Ae2 = −2e2 − 5e5 → A2 e2 = −2(−2e2 − 5e5 ) − 5(3e5 ) = 4e2 − 5e5 = Ae2 + 6e2 → me2 = X 2 − X − 6 =
(X + 2) (X − 3)
2
• Ae3 = −e1 → A2 e3 = −2e1 − e3 = 2Ae3 − e3 → me3 = X 2 − 2X + 1 = (X − 1)
• Ae4 = e4 → me4 = X − 1

• Ae5 = 3e5 → me5 = X − 3

2
Por lo tanto mA = (X − 1) (X + 2) (X − 3).

2
Para hallar el vector cı́clico w busquemos v1 , v2 , v3 tales que sus minimales sean respectivamente (X − 1) ,
(X + 2) y (X − 3):
2
• v1 debe tener minimal (X − 1) , se puede tomar v1 = e1 .
• v2 debe tener minimal  basta buscar el autoespacio asociado al −2, o 
 (X + 2) por lo que sea calcular

4 0 −1 0 0 0
 0 0 0 0 0   1 
   
ker(A + 2Id) = ker  1 0
 2 0 0  que da por resultado el subespacio generado por 

 0  = v2

 0 0 0 3 0   0 
0 −5 0 0 5 1

• v3 debe tener minimal (X − 3) por lo que se puede tomar v3 = e5 .

De acuerdo al Teorema visto en clase, el vector w = v1 + v2 + v3 = (1, 1, 0, 0, 2) cumple que su minimal es el

minimal de la matriz.
Comprobemos este hecho: es suficiente ver que el minimal de w es de grado 4 (que es el grado de mA ):
    
2 0 −1 0 0 1 2
 0 −2 0 0 0   1   −2 
    
• Aw =  1 0 0 0 0   0  =  1 
   
 0 0 0 1 0   0   0 
0 −5 0 0 3 2 1
    
2 0 −1 0 0 2 3
 0 −2 0 0 0   −2   4 
2
    
• A w=  1 0 0 0 0   1  =  2 
   
 0 0 0 1 0  0   0 
0 −5 0 0 3 1 13

1
     
2 0 −1 0 0 3 4

 0 −2 0  4  
0 0     −8 

• A3 w = 
 1 0 0 0 0 

 2 =
  3 

 0 0 0 1 0  0   0 
0 −5 0 0 3 13 19

 
1 2 3 4
 1 −2 4 −8 
  2 3
 0 1
Pero la matriz  2 3  tiene rango 4 y entonces w, Aw, A w, A w son l.i. y por lo tanto el grado
 0 0 0 0 
2 1 13 19
de mw debe ser al menos 4, pero como divide a mA debe ocurrir necesariamente que mw = mA .

Por último, veamos la forma de la matriz semejante en una base que contenga a los vectores w, Aw, A2 w, A3 w,
completando a una base de R5 , por ejemplo con e4 (que claramente es linealmente independiente de estos
cuatro).  5 1
− 11 1
  
1 2 3 4 0 6 − 30 6 0 10
 1 −2 4 −8 0   11 1 19 3 
  −1
 361 − 180 1
36
4
0 − 20 
Llamando P =  0 1
 2 3 0 , se tiene que P =  − 9
 
9 9 0 0 .
 0 0 0 0 1   − 1 − 13 − 5 0 1 
36 180 36 20
2 1 13 19 0 0 0 0 1 0

Haciendo el cambio de base P −1 AP queda:

5 1
− 11 1
     
6 − 30 6 0 10 2 0 −1 0 0 1 2 3 4 0 0 0 0 6 0
11 1 19 3

 36 − 180 36 0 − 20 
 0 −2 0 0 0 

 1 −2 4 −8 0  
  1 0 0 −11 0 


 − 91 1
9
4
9 0 0 
 1 0 0  0
0 0   1 2 3 0 =
  0 1 0 3 0 .

1 13 5 1
 − 36 − 180 − 36 0 20
 0 0 0 1 0   0 0 0 0 1   0 0 1 3 0 
0 0 0 1 0 0 −5 0 0 3 2 1 13 19 0 0 0 0 0 1
 
0 0 0 6
2 2 3 4
 1 0 0 −11 
Como el polinomio mA = (X − 1) (X + 2) (X − 3) = 11X −3X −3X +X −6, la matriz 
 0 1 0

3 
0 0 1 3
no es otra que la matriz compañera del minimal.

En este ejemplo, además, el subespacio generado por el e4 resulta un complemento estable del cı́clico generado
por w, pero eso fue casualidad, en general solo se puede asegurar que quedará un matriz del tipo
 
0 0 0 6 ∗
 1 0 0 −11 ∗ 
 
 0 1 0
 3 ∗ 
.
 0 0 1 3 ∗ 
0 0 0 0 1

2
Ejemplo del cálculo de un complemento al subespacio generado por un vector cı́clico
 
0 0 1 0 1

 1 0 0 0 0 

Sea A =  0 1 0 0 −1  ∈ R5×5 . Su polinomio caracterı́stico es
 
 0 0 0 1 0 
0 0 0 0 1
3
X 5 − 2X 4 + X 3 − X 2 + 2X − 1 = X + X 2 + 1 (X − 1) = (X 3 − 1)(X − 1)2

Para calcular el polinomio minimal consideramos

         
0 0 1 0 1 0 0 0 0 1 0 1 0 1
 1 0 0 0 0   1   0   1 0 0 0 0  0   0 
         
 0
 1 0 0 −1   0  =  1 
    y 
 0 1 0 0 −1 
 1 =
  0 .

 0 0 0 1 0  0   0   0 0 0 1 0  0   0 
0 0 0 0 1 0 0 0 0 0 0 1 0 0
Es decir, tenemos Ae1 = e2 , A2 e1 = Ae2 = e3 , A3 e1 = A2 e2 = e1 entonces el minimal de e1 es X 3 − 1. Los
minimales de e2 y e3 no interesan porque están en el cı́clico generado por e1 . El minimal de e4 es claramente
X − 1. Veamos el minimal de e5 :
    
0 0 1 0 1 0 1
 1 0 0 0 0  0   0 
    
• Ae5 =   0 1 0 0 −1   0  =  −1  .
   
 0 0 0 1 0  0   0 
0 0 0 0 1 1 1
    
0 0 1 0 1 1 0
 1 0 0 0 0  0   1 
2
    
• A e5 =   0 1 0 0 −1   −1  =  −1  .
   
 0 0 0 1 0  0   0 
0 0 0 0 1 1 1
    
0 0 1 0 1 0 0
 1 0 0 0 0  1   0 
    
• A3 e 5 = 
 0 1 0 0 −1   −1  =  0  .
   
 0 0 0 1 0  0   0 
0 0 0 0 1 1 1

De donde, el minimal de e5 es también X 3 − 1. Se concluye que el minimal de A es X 3 − 1.

Sea
 S el subespacio
 cı́clico generado por e1 , o sea, S = he1 , e2 , e3 i. La matriz de A∗ restringida a S es
0 1 0
 0 0 1  (en la base dual de la base canónica de S).
1 0 0
Un vector cı́clico para esta matriz es por ejemplo e∗1 y a este llamamos ϕ0 . Calculemos hϕ0 iA : en coordenadas
la dual de la canónica se tiene:
    
0 1 0 0 0 1 0
 0 0 1 0 0  0   0 
    
A∗ ϕ0 =  1 0 0 0 0   0  =  1  = e3 + e5
    ∗ ∗
 0 0 0 1 0  0   0 
1 0 −1 0 1 0 1
    
0 1 0 0 0 0 0

 0 0 1 0 0 
 0  
  1 

∗
A (e∗3 + e∗5 ) =
 1 0 0 0 0 
 1 =
  0  = e∗2

 0 0 0 1 0  0   0 
1 0 −1 0 1 1 0

1
     
0 1 0 0 0 0 1
 0 0 1 0 0  1   0 
    
A∗ (e∗2 ) = 
 1 0 0 0 0 
 0 =
  0  = e∗1 = ϕ0

 0 0 0 1 0  0   0 
1 0 −1 0 1 0 0
De donde hϕ0 iA = he∗1 , e∗3 + e∗5 , e∗2 i.
 
1 0 0 0 0
Finalmente T es el anulador de he∗1 , e∗3 + e∗5 , e∗2 i, o sea las soluciones del sistema homogéneo con matriz  0 0 1 0 1 .
    0 1 0 0 0
0 0
 0   0 
   
El espacio solución resulta el generado por los vectores v4 =  0  , v5 =   −1 .
  
 1   0 
0 1

Veamos que es estable:

         
0 0 1 0 1 0 0 0 0 1 0 1 0 0
 1 0 0 0 0  0   0   1 0 0 0 0  0   0 
         
 0
 1 0 0 −1 
 0 =
  0 


 0 1 0 0 −1 
 −1 =
  −1 .

 0 0 0 1 0  1   1   0 0 0 1 0  0   0 
0 0 0 0 1 0 0 0 0 0 0 1 1 1

El complemento estable del subespacio cı́clico generado por e1 es entonces el generado por v4 y v5 . Si consid-
eramos la base {e1 , e2 , e3 , v4 , v5 }, y se multiplica la matriz A por los cambios de base P − 1 y P , siendo
 
1 0 0 0 0
 0 1 0 0 0 
 
P :=   0 0 1 0 −1  ,

 0 0 0 1 0 
0 0 0 0 1

la matriz producto P −1 AP queda en forma de bloques:

 
0 0 1 0 0
 1 0 0 0 0 
 
 0 1 0 0 0 .
 
 0 0 0 1 0 
0 0 0 0 1