GEOMETRIA Y ALGEBRA LINEAL 2 TEMA 2

FORMA CANÓNICA DE JORDAN

En las notas anteriores estábamos interesados en hallar la representación matricial más

simple posible de un operador T : V → V para obtener información del mismo. Vimos
que bajo ciertas condiciones es posible hallar una base B de V tal que B ((T ))B es una matriz
diagonal. Sin embargo, habían casos donde esto no era posible: por ejemplo, cuando T
tenía valores propios fuera del cuerpo K considerado, o cuando todos los valores propios
se encontraban en K pero para alguno de ellos su multiplicidad geométrica no coincidía
con su multiplicidad algebraica. Cuando T no es diagonalizable, aún es posible hallar una
base B para la cual B ((T ))B tiene una forma sencilla, que no va a ser diagonal, pero “casi”.
Es aquí donde se presentan unas formas matriciales conocidas como formas canónicas de
Jordan. Para definirlas, es necesario trabajar con matrices de bloques (ya lo hemos hecho
en una oportunidad) y entender la relación entre este tipo de matrices con el concepto de
subespacios invariantes.

El objetivo de estas notas será el siguiente: dado un operador lineal no diagonalizable

T : V → V , debemos hallar una base B (a la cual llamaremos base de Jordan) tal que B ((T ))B
es cierta matriz por bloques (llamada forma de Jordan).

2.1 Subespacios invariantes

Supongamos de momento que tenemos un operador lineal T : V → V , y sea λ un valor
propio de T y consideremos el subespacio propio asociado Sλ . Para cada v ∈ Sλ ten-
emos que T (v) = λv, donde λv ∈ Sλ ya que Sλ es un subespacio vectorial de V . En otras
palabras, T (v) ∈ Sλ para cada v ∈ Sλ . Esto suele denotarse como T (Sλ ) ⊆ Sλ . Si nos
permitimos cierta informalidad, podemos decir que el espacio Sλ “no varía” cuando se
le aplica el operador T . Los subespacios propios son entonces un caso particular de los
llamados subespacios invariantes, los cuales son fundamentales cuando se quiere hallar
la forma de Jordan de un operador no diagonalizable.

1
Definición 2.1.1. Dado un operador lineal T : V → V y W un subespacio vectorial de T ,
diremos que W es invariante (o T -invariante) si T (W ) ⊆ W . ♣

El primer resultado importante para hallar la forma de Jordan de un operador nos dice
que para cada subespacio T -invariante podemos hallar una representación matricial por
bloques de T .

Definición 2.1.2. Una matriz M ∈ Mn (K) es una matriz por bloques si tiene la forma
 
A B
M=
0 C

donde A y C son matrices cuadradas de órdenes n1 y n2 , respectivamente, tales que

n1 + n2 = n, y donde B ∈ Mn1 ×n2 (K) y 0 ∈ Mn2 ×n1 (K). ♣

El concepto anterior puede generalizarse a una cantidad arbitraria de bloques.

Proposición 2.1.3. Sean V un K-espacio vectorial de dimensión finita, T : V → V un op-

erador lineal, y W un subespacio T -invariante. Entonces, existe una base B de V tal que
la matriz asociada a T en base B tiene la siguiente forma:
 
A B
B ((T ))B = .
0 C

Demostración: Supongamos que dim(V ) = n y dim(W ) = m (así, m ≤ n). Sea {w1 , . . . , wm }

una base de W , y la extendemos a una base B = {w1 , . . . , wm , vm+1 , . . . , vn }. Como W es
T -invariante, sabemos que T (w1 ), . . . , T (wm ) ∈ W , por lo que podemos escribir dichas
imágenes de la siguiente forma:

T (w1 ) = a11 w1 + a21 w2 + · · · + am1 wm ,

T (w2 ) = a12 w1 + a22 w2 + · · · + am2 wm ,
..
.
T (wm ) = a1m w1 + a2m w2 + · · · + amm wm ,

donde los escalares son únicos.

2
Tenemos entonces:
a11 a12 a1m
     
 a21   a22  a2m 
 ..   ..  .. 
. . .
     
     
coordB (T (w1 )) =  am1  , coordB (T (w2 )) =  am2  , · · · coordB (T (wm )) =  amm .
     
 0   0   0
     

 .   .   .
 ..   ..   ..


0 0 0

Luego,

a11 a12 ··· a1m

 
 a21 a22 ··· a2m 
 .. .. .. .. 

. . . .
  

 A

coordB (T (w1 )) coordB (T (w2 )) · · · coordB (T (wm )) =  am1 am2 · · · amm = ,
 
0
 0 0 ··· 0
 

 . .. .. ..
 ..

. . . 
0 0 ··· 0

donde A es la matriz  
a11 a12 ··· a1m
 a21 a22 ··· a2m 
A= .
 
.. .. .. ..
 . . . . 
am1 am2 · · · amm
Tenemos por lo tanto:  
A C
B ((T ))B = .
0 B
(No hace falta calcular el resto de los vectores de coordenadas para saber que la matriz
asociada a T en B tiene la forma anterior).
Corolario 2.1.4. Si V = W ⊕ U donde W y U son dos subespacios T -invariantes, entonces
existe una base B de V tal que
 
A 0
B ((T ))B = .
0 C

♥
Demostración: Al ser V la suma directa de W y de U , podemos formar una base de V
uniendo una base de W y una base de U . Sean entonces {w1 , . . . , wm } una base de W y
{u1 , . . . , uh } una base de U (por lo que dim(V ) = n = m + h). Por la demostración anterior,
podemos completar {w1 , . . . , wm } a una base B1 de V tal que:

3
  
A B1
B∞ ((T ))B∞ = .
0 C1
De manera similar, completando {u1 , . . . , uh } a una base B2 = {v1 , . . . , vn−h , u1 , . . . , uh }
tenemos que  
A2 0
B2 ((T ))B2 = .
B2 C
Entonces, es claro que si completamos {w1 , . . . , wm } con {u1 , . . . , uh } obtenemos una base
B = {w1 , . . . , wm , u1 , . . . , uh } para la cual
 
A 0
B ((T ))B = .
0 C

Observación 2.1.5. Para el caso en el cual T : V → V es diagonalizable, sabemos que

V = Sλ1 ⊕ · · · ⊕ Sλh , donde λ1 , . . . , λh son los valores propios diferentes de T , y Sλi es
el subespacio propio correspondiente a λi . Como tales subespacios son T -invariantes,
podemos aplicar el corolario anterior y hallar una base B de V (formada por vectores
propios de T ) tal que
A1 0 · · · 0
 
 0 A2 · · · 0 
B ((T ))B =  .. .. . . .. 
.

 . . . . 
..
0 0 . Ah
donde  
λi 0 · · · 0
 0 λi · · · 0 
Ai =   ∈ Mm.a.(λi ) (K).
 
.. .. . . ..
 . . . . 
0 0 ··· λi
♠

2.2 Formas canónicas de Jordan

El objetivo de esta sección es ver que para todo operador lineal T : V → V es posible en-
contrar una base B tal que la representación matricial B ((T ))B es una matriz por bloques,
donde dichos bloques tienen una forma especial y se conocen como bloques de Jordan. Las
herramientas para probar este teorema escapan de los objetivos y alcances de este curso.
Nos parece más pertinente entender cómo se contruye tal base B presentando varios ejem-
plos.

4
Para los casos en los cuales no es posible diagonalizar T , los subespacios T -invariantes
no suelen ser sencillos. En otras palabras, la matriz A que construimos en la prueba de
la Proposición 2.1.3 no tiene por qué ser diagonal. Sin embargo, vamos a ser capaces de
lograr que A tenga una de las formas especificadas en la siguiente definición.

Definición 2.2.1. Sea λ ∈ K un valor propio de un operador lineal T : V → V . Para

1 ≤ k ≤ n se define el sub-bloque de Jordan de λ de tamaño k como la matriz

λ 0 ··· ··· 0
 
 1 λ ··· ··· 0 
. . . . ..
 
sJk (λ) =  0 1 . . .
 

 . . .
 .. .. .. . . . ...


0 0 ··· 1 λ

Nótese que λ aparece repetido a lo largo de la diagonal principal, y 1 se repite a lo largo de

la primera subdiagonal inferior. El resto de las entradas de la matriz anterior son iguales
a 0. ♣

Ejemplo 2.2.2. Sea T : V → V un operador lineal tal que 2 es un valor propio de T . En-
tonces, el sub-bloque de Jordan de 2 de tamaño 4 viene dado por
 
2 0 0 0
 1 2 0 0 
sJ4 (2) = 
 0 1 2 0 .


0 0 1 2

Los bloques de Jordan serán el principal tipo de matriz de estas notas, y se “ensamblan
pegando” varios sub-bloques de Jordan, teniendo en cuenta cierto orden.

Definición 2.2.3. Sea nuevamente λ ∈ K un valor propio de un operador lineal T : V → V .

Un bloque de Jordan de λ es cualquier matriz por bloques de la forma
 
sJk1 (λ) 0 ··· 0
 0 sJk2 (λ) · · · 0 
J(λ) =  .
 
.. .. .. ..
 . . . . 
0 0 · · · sJkp (λ)

tal que k1 ≤ k2 ≤ · · · ≤ kp . ♣

5
Ejemplo 2.2.4. Los siguientes son ejemplos de bloques de Jordan de tamaño 5 para el valor
propio 2.
     
2 0 0 0 0 2 0 0 0 0 2 0 0 0 0
 0 2 0 0 0   1 2 0 0 0   0 2 0 0 0 
     
 0 1 2 0 0   0 0 2 0 0   0 0 2 0 0 
     
 0 0 0 2 0   0 0 1 2 0   0 0 1 2 0 
0 0 0 1 2 0 0 0 1 2 0 0 0 1 2

¿Cuáles otros bloques de Jordan de 2 y de tamaño 5 pueden formarse? ♦

A continuación, presentamos el teorema más importante de estas notas. Como men-

cionamos al inicio, su demostración escapa a las herramientas con las que contamos ac-
tualmente.

Teorema 2.2.5. Sea V un K-espacio vectorial de dimensión n y T : V → V un operador

lineal sobre V tal que su polinomio característico tiene la siguiente forma:

χT (λ) = (−1)n (λ − λ1 )m1 (λ − λ2 )m2 · · · (λ − λh )mh

con λi ∈ K para todo 1 ≤ i ≤ h, y λ1 < λ2 < · · · < λh . Entonces existe una base B de V tal
que  
J(λ1 ) 0 ··· 0
 0 J(λ2 ) · · · 0 
((T )) =
 
B B  .. .. . .. .
.. 
 . . 
0 0 ··· J(λh )
donde J(λi ) ∈ Mmi (K) para cada 1 ≤ i ≤ h.

Más aún, la representación matricial anterior es única en el siguiente sentido: si B 0 es otra

base de V tal que  
J 0 (λ1 ) 0 ··· 0
 0 J 0 (λ2 ) · · · 0 
((T )) =
 
B 0 B 0  .. .. .. .. 
 . . . . 
0
0 0 · · · J (λh )
y con cada J 0 (λi ) un bloque de Jordan de λi y de tamaño mi , entonces B ((T ))B = B0 ((T ))B0 .
Sin embargo, la base B 0 no tiene por qué coincidir con B. Se le llama entonces a la repre-
sentación B ((T ))B la forma canónica de Jordan del operador T , y a B se le suele llamar
una base de Jordan de V . ♥

6
Observación 2.2.6. Sea λ ∈ K un valor propio de un operador lineal T : V → V y consi-
deremos el bloque de Jordan asociado J(λ). Sabemos que J(λ) tiene la siguiente forma:
 
sJk1 (λ) 0 ··· 0
 0 sJk2 (λ) · · · 0 
J(λ) =  .
 
.. .. .. ..
 . . . . 
0 0 · · · sJkp (λ)

Se puede notar que el número de sub-bloques de Jordan de J(λ) coincide con la dimensión
de Sλ , es decir, con la multiplicidad geométrica de λ. En efecto, consideremos por ejemplo
el bloque de Jordan  
2 0 0 0 0
 0 2 0 0 0 
 
 0 1 2 0 0 
J(2) =  
 0 0 0 2 0 
0 0 0 1 2
del Ejemplo 2.2.4. Tenemos que el primer sub-bloque de Jordan es sJ1 (2) = (2), y por otro
lado que la primera columna  
2
 0 
 
 0 
 
 0 
0
de J(2) corresponde a un vector propio asociado asociado a 2. (Recuerde que el vector de
coordenadas de T (v), con v un vector propio asociado a λ, en una representación matricial
B ((T ))B sólo tiene a λ en la i-ésima componente y 0 en el resto, asumiendo que v está en el
i-ésimo lugar de la base B).

Para el segundo sub-bloque  

2 0
sJ2 (2) = ,
1 2
su segunda columna corresponde a la tercera columna
 
0
 0 
 
 2 
 
 0 
0

de J(2). Ésta a su vez corresponde a otro vector propio asociado a 2.

7
Finalmente, para el tercer sub-bloque de Jordan tenemos de manera similar un vector
propio asociado a 2. Entonces, la matriz J(2) determina exactamente tres vectores propios
asociados a 2, por lo que la multiplicidad geométrica del valor propio 2 es en este caso
igual a 3, que a su vez coincide con el número de sub-bloques de Jordan de J(2). ♠

Un aspecto importante de las formas canónicas de Jordan es que podemos saber cómo
son todas las representaciones matriciales posibles para operadores T : V → V , sean diag-
onalizables o no. Por ejemplo, si dim(V ) = 2 o 3, es fácil saber cómo son todas las formas
canónicas de Jordan de T , pero por supuesto esto se complica para dimensiones más altas.
Trabajaremos estos dos casos para entender mejor a qué nos referimos.

Formas de Jordan de orden 2

Sea A ∈ M2 (K) y supongamos que las raíces del polinomio característico χA pertenecen a
K. Tenemos varios casos a analizar dependiendo de cómo sean dichas raíces:

1. χA tiene dos raíces diferentes, digamos λ1 y λ2 . En este caso, A es diagonalizable

y por tanto semejante la matriz diagonal (que en este caso es su forma canónica de
Jordan)  
λ1 0
J= .
0 λ2
Notamos que (λ1 ) y (λ2 ) son bloques de Jordan de tamaño 1.

2. χA tiene una sola raíz de multiplicidad 2, digamos λ ∈ K, tal que m.a.(λ) = m.g.(λ) =
2. En este caso, A es diagonalizable y por ende semejante a la matriz diagonal
 
λ 0
J= .
0 λ

3. χA tiene una sola raíz λ ∈ K tal que m.g.(λ) = 1 < 2 = m.a.(λ). Se tiene entonces que
la forma canónica de Jordan de A es la matriz
 
λ 0
J= .
1 λ

Formas de Jordan de orden 3

Ahora consideremos A ∈ M3 (K) y supongamos también que todas las raíces de χA pertenecen
a K. Tenemos varias posibilidades para la forma canónica de Jordan de A:

8
1. Si χA posee tres raíces diferentes, digamos λ1 , λ2 y λ3 , entonces A es diagonalizable
y su forma canónica de Jordan es:
 
λ1 0 0
J =  0 λ2 0  .
0 0 λ3

2. Si χA posee dos raíces diferentes λ1 y λ2 tales que m.g.(λ2 ) = m.a.(λ2 ) = 2, entonces

A es diagonalizable y su forma canónica de Jordan es
 
λ1 0 0
J =  0 λ2 0  .
0 0 λ2

3. Si χA posee dos raíces diferentes λ1 y λ2 tales que m.g.(λ2 ) = 1 < 2 = m.a.(λ2 ),

entonces la forma canónica de Jordan de A es
 
λ1 0 0
J =  0 λ2 0  .
0 1 λ2

4. Si χA posee una sola raíz λ tal que m.g.(λ) = m.a.(λ2 ) = 3, entonces A es diagonaliz-
able y su forma canónica de Jordan es
 
λ 0 0
J =  0 λ 0 .
0 0 λ

5. Si χA posee una sola raíz λ tal que m.g.(λ) = 1 < 3m.a.(λ2 ), entonces la forma
canónica de Jordan de A es  
λ 0 0
J = 1 λ 0 .
0 1 λ
6. Si χA posee una sola raíz λ tal que m.g.(λ) = 2 < 3m.a.(λ2 ), entonces la forma
canónica de Jordan de A es  
λ 0 0
J=  0 λ 0 .
0 1 λ

9
Ejemplo 2.2.7. Determine la forma canónica de Jordan J de la matriz
 
2 −4 1
A= 0 7 0 
0 −5 2

y halle una base B de R3 para la cual la matriz asociada a TA es J.

Comenzamos calculando el polinomio característico de A:

 
2 − λ −4 1  
7−λ 0
χA (λ) = det(A − λI3 ) = det  0 7−λ 0  = (2 − λ)det
−5 2 − λ
0 −5 2 − λ
= (−1)3 (λ − 2)2 (λ − 7).

Ahora calculemos los espacios propios asociados a los valores propios 2 y 7. Para el
primero de ellos, debemos resolver el sistema de ecuaciones
     
0 −4 1 x 0
 0 5 0  ·  y  =  0 .
0 −5 0 z 0

Podemos ver que y = z = 0 y que x ∈ R. Por lo tanto,

S2 = h(1, 0, 0)i .

Ahora para el valor propio 7 resolvemos el sistema

     
−5 −4 1 x 0
 0 0 0  ·  y  =  0 .
0 −5 −5 z 0

En este caso notamos que x = −y y z = −y. Por lo tanto,

S7 = h(−1, 1, −1)i .

Vemos que m.g.(2) = 1 < 2 = m.a.(2) y que m.g.(7) = 1 = m.a.(7). Entonces, la forma
canónica de Jordan de A es:  
2 0 0
J =  1 2 0 .
0 0 7
Finalmente, hallemos una base de Jordan B = {v1 , v2 , v3 } para A, es decir, queremos hallar

10
B tal que  
2 0 0
B ((TA ))B =
 1 2 0 .
0 0 7
Sabemos que las columnas de B ((TA ))B son los vectores de coordenadas de Av1 , Av2 y Av3
en la base B, respectivamente. Entonces, debemos hallar v1 , v2 y v3 de tal manera que
cumplan con lo siguiente:

Av1 = 2v1 + v2 ,
Av2 = 2v2 ,
Av3 = 7v3 .

Es decir,

(A − 2I)v1 = v2 ,
(A − 2I)v2 = ~0,
(A − 7I)v3 = ~0.

Debemos resolver entonces tres sistemas de ecuaciones: dos de ellos homogéneos y uno
que no. Notamos que el tercer sistema sólo depende de v3 , entonces como solución pode-
mos tomar cualquier vector propio de A asociado a 7, como por ejemplo

v3 = (−1, 1, −1).

Con respecto el segundo sistema (A − 2I)v2 = ~0, ciertamente depende únicamente de v2

(un vector propio de A asociado a 2). Pero a diferencia del tercer sistema, debemos tener
algo de cuidado al elegir v2 .

¡Una elección arbitraria de v2 podría causar que el primer sistema

(A − 2I)v1 = v2 no tenga solución!

En otras palabras, debemos elegir v2 de tal manera que el sistema (A − 2I)v1 = v2 sea
compatible. Sean entonces v1 = (x, y, z) y v2 = (a, b, c). Debemos hallar a, b, c de tal
manera que el siguiente sistema tenga solución:
     
0 −4 1 x a
 0 5 0  ·  y  =  b .
0 −5 0 z c

11
Reduzcamos la matriz aumentada:
   
0 −4 1 a 0 −4 1 a
 0 5 0 b ; 0 5 0 b .
0 −5 0 c 0 0 0 b+c

En este caso sólo se puede generar por reducción una fila de ceros. Entonces, para que
el sistema anterior tenga solución, debe ocurrir que b + c = 0. Esta condición la satisface
cualquier vector del subespacio propio S2 , por lo que podemos tomar

v2 = (1, 0, 0).

Y con esto podemos hallar finalmente v1 , resolviendo el sistema con matriz aumentada
igual a:  
0 −4 1 1
 0 5 0 0 .
0 −5 0 0
De aquí se tiene que y = 0. Luego, 1 = −4y + z = z. Tenemos entonces que v1 es cualquier
vector de la forma (x, 0, 1). Haciendo por ejemplo x = 0, tenemos

v1 = (0, 0, 1).

Por lo tanto,
B = {(0, 0, 1), (1, 0, 0), (−1, 1, −1)}
es una base de Jordan para A.

Para complementar este ejemplo, vamos a hallar una matriz P ∈ M3 (R) invertible tal que
A = P −1 · J · P . Tengamos en cuenta que A es la matriz de TA : R3 → R3 en la base
canónica E = {(1, 0, 0), (0, 1, 0), (0, 0, 1)} de R3 , y que J es la matriz de TA en la base de
Jordan B anterior. Por ende, P es la matriz de transición B ((idR3 ))E o de cambio de la
base E a la base B, y P −1 = E ((idR3 ))B . Es casi inmediato saber quién es P −1 , ya que sus
columnas son los vectores de coordenadas de los vectores de B en la base E, es decir,
 
0 1 −1
P −1 = E ((idR3 ))B =  0 0 1  .
1 0 −1

Ahora hallamos P :
     
0 1 −1 1 0 0 1 0 −1 0 0 1 1 0 0 0 1 1
 0 0 1 0 1 0  ;  0 1 −1 1 0 0  ;  0 1 0 1 −1 0 
1 0 −1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0

12
Así:  
0 1 1
P =  1 −1 0  .
0 1 0
Notamos que:
       
2 −4 1 0 1 −1 2 0 0 0 1 1
 0 7 0  = A = P −1 · J · P =  0 0 1  ·  1 2 0  ·  1 −1 0  .
0 −5 2 1 0 −1 0 0 7 0 1 0

Observación 2.2.8. En la Proposición 2.1.3 vimos que todo subespacio T -invariante deter-
mina un bloque en una representación matricial de T . Lo contrario también se cumple,
es decir, todo bloque de Jordan de un operador lineal T determina un subespacio T -
invariante.

Consideremos la matriz A y la base de Jordan B del ejemplo anterior. Probemos que el

subespacios W = h(1, 0, 1), (1, 0, 0)i y S7 = h(−1, 1, −1)i que corresponden a los bloques
J(2) y J(7) son TA -invariantes.

Sea w = α(1, 0, 1) + β(1, 0, 0) en W . Luego,

TA (w) = αTA (1, 0, 1) + βTA (1, 0, 0) = α · (2 · (1, 0, 1) + 1 · (1, 0, 0)) + β · 2(1, 0, 0)

= 2α(1, 0, 1) + (α + 2β)(1, 0, 0) ∈ W.

Por otro lado, ya sabemos que S7 es TA -invariante por ser un subespacio propio de TA .

Ahora bien, los bloques de Jordan de TA determinan algunos espacios TA -invariantes,

pero no todos. Por ejemplo, S2 también es TA -invariante, pero no está determinado por
ninguno de los bloques de Jordan de TA (pues de hecho, está contenido en W ). ♠

2.2.1 Formas de Jordan y matrices semejantes

En esta sección demostraremos un criterio que nos permite discernir de manera sencilla
(sin hallar matrices de transición) si dos matrices son semejantes o no, al únicamente com-
parar sus formas de Jordan.

Teorema 2.2.9. Sean A y B dos matrices con coeficientes en un cuerpo K tales que χA y χB
tienen todas sus raíces en K, y sean JA y JB sus correspondientes formas de Jordan (que
existen por el Teorema 2.2.5). Entonces, A y B son semejantes si, y solamente si, JA = JB
(salvo el orden de los bloques de Jordan). ♥

13
Demostración: Probemos primero la implicación recíproca que es más fácil. Supongamos
entonces que JA = JB . Por otro lado, sabemos que A es semejante a JA y que B es seme-
jante a JB . Tenemos entonces A ∼ JA , JA = JB y JB ∼ B, y como la semejanza entre
matrices es una relación transitiva, podemos concluir que A ∼ B.

Ahora supongamos que A y B son semejantes. Entonces A y B definen el mismo operador

lineal T : Kn → Kn . Por definición de base canónica de Jordan, existen bases de Jordan A
y B tales que JA = A ((T ))A y JB = B ((T ))B . Por la convención adoptada en el Teorema
2.2.5 para la colocación de los bloques y sub-bloques de Jordan, tenemos entonces que
JA = JB .

2.2.2 Ejemplo: cuando no es claro decidirnos por cuál bloque de Jordan

En este ejemplo trabajaremos con un operador lineal sobre un R-espacio vectorial de di-
mensión 4. Para esta dimensión o mayores, determinar la forma de Jordan de un operador
no es tan sencillo como cuando se trabaja en dimensión 2 o 3.

Consideremos por ejemplo el operador lineal T : R4 → R4 cuya matriz en la base canónica

E de R4 viene dada por
 
3 1 −1 −1
 0 2 0 0 
A = E ((T ))E = 
 1 1 1
.
0 
0 0 0 2

Vamos a hallar la forma de Jordan de A y una base de Jordan. Primero calculemos el

polinomio característico de T .
 
3−λ 1 −1 −1  
3 − λ 1 −1
 0 2−λ 0 0 
χT (λ) = det   = (2 − λ)det  0 2−λ 0 
 1 1 1−λ 0 
1 1 1−λ
0 0 0 2−λ
 
2 3 − λ −1
= (2 − λ) det = (2 − λ)2 ((3 − λ)(1 − λ) + 1) = (2 − λ)2 (λ2 − 4λ + 4)
1 1−λ
= (λ − 2)4 .

Tenemos que λ = 2 es el único valor propio de T , con multiplicidad algebraica 4. Calcule-

mos ahora su multiplicidad geométrica. Para ellos resolvemos el sistema de ecuaciones
(A − 2I4 )~v = ~0:

14
     
1 1 −1 −1 x 0
 0 0 0 0   y   0 
 ·  =  .
 1 1 −1 0   z   0 
0 0 0 0 w 0

Reducimos la matriz del sistema:

   
1 1 −1 −1 0 0 0 −1
 0 0 0 0   0 0 0 0 
 1 1 −1 0  ;  1 1 −1 0 
   

0 0 0 0 0 0 0 0

De aquí se tiene que w = 0 y que x + y − z = 0. Luego, podemos escribir cada (x, y, z, w) ∈

S2 como sigue:

(x, y, z, w) = (x, y, x + y, 0) = (x, 0, x, 0) + (0, y, y, 0) = x(1, 0, 1, 0) + y(0, 1, 1, 0).

Entonces,
S2 = h(1, 0, 1, 0), (0, 1, 1, 0)i ,
y por ende m.g.(2) = 2. Sabemos que este número indica el número de sub-bloques de
Jordan de J(2) (el único bloque de Jordan de la forma de Jordan JA de T ). Como los sub-
bloques de ordenan por tamaño (de menor a mayor), tenemos sólo dos posibles formar de
Jordan para T :
   
2 0 0 0 2 0 0 0
 0 2 0 0  0 0
 1 2 0 0 
J = (J(2)) =  0 1 2 0 
 J = (J (2)) =  0 0 2 0 .
 

0 0 1 2 0 0 1 2

Recordemos que la forma de Jordan de un operador es única (según la convención del

Teorema 2.2.5), por lo que sólo una de las matrices anteriores es la forma de Jordan de T .
Para discernir cúal es la forma de Jordan de T , es necesario usar el concepto de polinomio
minimal de un operador.

Sea p ∈ K[λ] un polinomio de grado m de la forma

p(λ) = am λm + am−1 λm−1 + · · · + a1 λ + a0 .

Podemos evaluar p en una matriz A ∈ Mn (K) mediante la expresión

p(A) = am Am + am−1 Am−1 + · · · + a1 A + a0 In .

15
Definición 2.2.10. Sea A ∈ Mn (K). Se define el polinomio minimal de A como el poli-
nomio mónico µA de menor grado tal que µA (A) = 0. Tenga en cuenta que aquí 0 denota
la matriz cuadrada nula de orden n. ♣

Existe un resultado conocido como el Teorema de Cayley-Hamilton que afirma que el poli-
nomio característico de A anula a la matriz A. Los siguientes resultados serán presentados
sin demostración.

Teorema 2.2.11 (Teorema de Cayley-Hamilton). Sea A ∈ Mn (K) y χA el polinomio carac-

terístico de A. Entonces,
χA (A) = 0.
♥

Teorema 2.2.12. Sea A ∈ Mn (K) y p ∈ K[λ] un polinomio con coeficientes en K. Entonces,

p(A) = 0 si, y sólo si, el polinomio minimal de A divide a p. En particular, el polinomio
minimal de A divide al polinomio característico de A, y las raíces de µA son precisamente
los valores propios de A. ♥

Volviendo a nuestro ejemplo, como el polinomio característico de A es χA (λ) = (λ − 2)4 ,

tenemos que µA (λ) es alguno de los siguientes polinomios:

µ1A (λ) = (λ − 2), µ2A (λ) = (λ − 2)2 , µ3A (λ) = (λ − 2)3 , µ4A (λ) = χA (λ) = (λ − 2)4 .

Ahora encontremos cuál de ellos es el de menor grado que anula a A.

 
1 1 −1 −1
 0 0 0 0 
µ1A (A) = A − 2I4 =   1 1 −1 0  ,


0 0 0 0
     
1 1 −1 −1 1 1 −1 −1 0 0 0 −1
 0 0 0 0 · 0 0 0 0  =  0 0 0 0 ,
  
µ2A (A) = (A − 2I4 )2 = 
 1 1 −1 0   1 1 −1 0   0 0 0 −1 
0 0 0 0 0 0 0 0 0 0 0 0
     
0 0 0 −1 1 1 −1 −1 0 0 0 0
 0 0 0 0   0 0 0 0    0 0 0 0 
 
µ3A (A) = (A − 2I4 )3 = 
 0 0 0 −1  ·  1 1 −1 0  =  0 0 0 0  .
 

0 0 0 0 0 0 0 0 0 0 0 0

Entonces, µA (λ) = µ3A (λ) = (λ − 2)3 es el polinomio minimal de A.

Como A es semejante a su forma de Jordan JA , vemos que µiA (A) = 0 si y sólo si µiA (JA ) =
0, ya que:

16
 µiA (A) = (A − 2I4 )i = (P −1 · JA · P − 2P −1 · I4 · P )i = P −1 · (JA − 2I4 ) · P
µiA (A) = P −1 · µiA (JA ) · P.

Ahora consideremos las matrices J − 2I4 y J 0 − 2I4 . Tenemos lo siguiente:

 
0 0 0 0
 0 0 0 0 
(J − 2I4 ) =  0 1 0
,
0 
0 0 1 0
     
0 0 0 0 0 0 0 0 0 0 0 0
 0 0 0 0   0 0 0 0   0 0 0 0 
(J − 2I4 )2 =  0 1 0
· = ,
0   0 1 0 0   0 0 0 0 
0 0 1 0 0 0 1 0 0 1 0 0
     
0 0 0 0 0 0 0 0 0 0 0 0
 0 0 0 0   0 0 0 0   0 0 0 0
    
(J − 2I4 )3 =  0 0 0 · = .
0   0 1 0 0   0 0 0 0 
0 1 0 0 0 0 1 0 0 0 0 0
 
0 0 0 0
1 0 0 0 
(J 0 − 2I4 ) = 

,
 0 0 0 0 
0 0 1 0
     
0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0   1 0 0 0   0 0 0 0
(J 0 − 2I4 )2 = 
     
 0 0 0 · = .
0   0 0 0 0   0 0 0 0 
0 0 1 0 0 0 1 0 0 0 0 0

Vemos entonces que µ2A (J 0 ) = (J 0 − 2I4 )2 = 0. Si A fuese semejante a J 0 , se tendría que

A = Q−1 · J 0 · Q (con Q invertible), y luego µ2A (A) = 0 pues µ2A (A) = Q−1 · µ2A (J 0 ) · Q, pero
esto contradice el cálculo µ2A (A) 6= 0 hecho anteriormente. Se deduce así que A y J 0 no son
semejantes. Por lo tanto, J 0 no puede ser la forma canónica de Jordan de A, y se deduce
entonces que ese rol le corresponde a J:
 
2 0 0 0
 0 2 0 0 
JA = J =  0 1 2 0 .


0 0 1 2

17
Hallemos ahora una base de Jordan B = {v1 , v2 , v3 , v4 } para A. Estos cuatro vectores deben
satisfacer las siguientes igualdades:

Av1 = 2v1 ,
Av2 = 2v2 + v3 ,
Av3 = 2v3 + v4 ,
Av4 = 2v4 .

Es decir,

(A − 2I)v1 = ~0,
(A − 2I)v2 = v3 ,
(A − 2I)v3 = v4 ,
(A − 2I)v4 = ~0.

El vector v1 sólo aparece en la primera ecuación, por lo que podemos tomar cualquier
vector propio de A asociado a 2, como por ejemplo

v1 = (1, 0, 1, 0).

No podemos trabajar de momento con el segundo sistema porque necesitamos calcular

primero v3 , que a su vez se obtiene una vez sepamos quién es v4 . Nótese además de v4 ,
un vector propio asociado a 2, debe escogerse de tal manera que el tercer sistema tenga
solución. Hagamos entonces v3 = (x, y, z, w) y v4 = (a, b, c, d). Tenemos así el siguiente
sistema no homogéneo:
     
1 1 −1 −1 x a
 0 0 0 0   y   b 
   
 1 1 −1 0  ·  z  =  c  .
 

0 0 0 0 w d

Reduzcamos la matriz aumentada:

   
1 1 −1 −1 a 0 0 0 −1 a − c
 0 0 0 0 b   0 0 0 0 b
;

 
 1 1 −1 0 c   1 1 −1 0 c 
0 0 0 0 d 0 0 0 0 d

Debemos elegir entonces v4 = (a, b, c, d) un vector propio de T asociado a 2 con b = d = 0.

Nótese que sólo podemos elegir múltiplos de (1, 0, 1, 0). Pero ya elegimos v1 = (1, 0, 1, 0)
anteriormente, por lo que no podemos hacer v4 = (x, 0, x, 0) pues {v1 , v4 } sería un conjunto
linealmente dependiente. Esto se resuelve haciendo v1 igual al otro vector generador de
S2 :

18
 v1 = (0, 1, 1, 0).
Tenga en cuenta que para escoger v1 no hace falta ninguna condición (más allá de ser un
vector propio asociado a 2). Tenemos así:

v4 = (1, 0, 1, 0).

Para el cálculo de v3 : por un lado, v3 debe ser solución del sistema (A − 2I)v3 = v4 (que
existe por cómo hemos escogido v4 ), y por otro lado, debemos seleccionar v3 de tal manera
que (A − 2I)v2 = v3 tenga solución. Sea v2 = (u, v, s, t) ∈ R4 . Tenemos el sistema de
ecuaciones      
1 1 −1 −1 u x
 0 0 0 0 
· v = y 
   

 1 1 −1 0   s   z 
0 0 0 0 t w
con matriz aumentada y reducida por filas:
   
1 1 −1 −1 x 0 0 0 −1 x − z
 0 0 0 0 y  0 0 0 0 y 
 1 1 −1 0 z  ; 

   .
1 1 −1 0 z 
0 0 0 0 w 0 0 0 0 w

Por lo cual y = w = 0. Ahora resolvemos (A − 2I)v3 = v4 :

     
1 1 −1 −1 x 1
 0 0 0 0   y   0 
  
 1 1 −1 0  ·  z  = 
 
1 
0 0 0 0 w 0

sabiendo que y = w = 0. El sistema anterior se reduce a una ecuación x − z = 1 (o

x = z + 1). Luego, las soluciones de este sistema son de la forma (z + 1, 0, z, 0). Podemos
tomar por ejemplo z = 0, y así:
v3 = (1, 0, 0, 0).
Finalmente, calculamos v2 resolviendo el sistema (A − 2I)v2 = v3 :
     
1 1 −1 −1 u 1
 0 0 0 0   v   0 
 1 1 −1 0  ·  s  =  0  ,
     

0 0 0 0 t 0

que sabemos que tendrá solución por cómo hemos escogido v3 . Dichas soluciones son de
la forma (u, v, u + v, −1). Podemos hacer u = v = 0 y obtener:

19
 v2 = (0, 0, 0, −1).
Tenemos entonces la siguiente base de Jordan para T :

B = {(0, 1, 1, 0), (0, 0, 0, −1), (1, 0, 0, 0), (1, 0, 1, 0)}.

Para terminar el ejercicio, hallemos una matriz invertible P tal que A = P −1 · JA · P .

Sabemos que:  
0 0 1 1
 1 0 0 0 
P −1 = E ((idR4 ))B = 
 1 0 0 1 .


0 −1 0 0
Hallamos P :
   
0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0
 1 0 0 0 0 1 0 0  0 1 0 0 0 0 0 −1 
;
 
 
 1 0 0 1 0 0 1 0   0 0 1 1 1 0 0 0 
0 −1 0 0 0 0 0 1 1 0 0 1 0 0 1 0
 
1 0 0 0 0 1 0 0
 0 1 0 0 0 0 0 −1 
;
 0

0 1 1 1 0 0 0 
0 0 0 1 0 −1 1 0
 
1 0 0 0 0 1 0 0
 0 1 0 0 0 0 0 −1 
; .
 0 0 1 0 1 1 −1 0 
0 0 0 1 0 −1 1 0

Entonces,  
0 1 0 0
 0 0 0 −1 
 1 1 −1 0  .
P = 

0 −1 1 0

       
3 1 −1 −1 0 0 1 1 2 0 0 0 0 1 0 0
 0 2 0 0   1 0
  0 0   0
  2 0 · 0 0
0   0 −1 
 = · .
 1 1 1 0   1 0 0 1   0 1 2 0   1 1 −1 0 
0 0 0 2 0 −1 0 0 0 0 1 2 0 −1 1 0

20