Procedimiento practico para determinar la forma canonica de

Jordan *
G.A. Raggio**
6 de septiembre de 2007

Ya que hemos distribuido, ensenado y recomendado versiones distintas y, lamentablemente no coinci-

dentes, para determinar la forma canonica de Jordan, quiero dar aqu la que yo considero la mas eficiente.
Su implementacion no precisa conocer ni la multiplicidad algebraica, ni la multiplicidad geometrica de
los autovalores. Y, no se precisa calcular ningun autovector. Esto ultimo se vuelve necesario solamente si
se debe calcular la matriz invertible que transforma por semejanza la matriz dada a la correspondiente
forma canonica de Jordan.

Es importante observar que los algoritmos numericos usados para determinar la forma canonica de
Jordan no tienen absolutamente nada que ver con el que se describe a continuacion. Para este punto con-
sultar por ejemplo: G. Strang: Linear Algebra and its Applications. Academic Press, Orlando 1980.

Procedimiento
Dada una matriz cuadrada A de dimension n n, con n 2

-1. (Optativo) Si A tiene bastantes ceros trate de simplificar la estructura de A permutando pares de
filas y correspondientes pares de columnas.

Si permuta la fila 8 con la fila 43 no olvide de permutar la columna 8 con la columna 43.
Cualquiera de las dos operaciones por si sola altera el espectro; las dos juntas no.

0. Consiga como pueda todos los autovalores de A.

Si n 5 esto puede resultar imposible.

No se necesitan las multiplicidades algebraicas de los autovalores, pero si las conoce no mo-
lestan.

1. Tome un autovalor que no haya tomado y calcule sucesivamente las potencias (A 1)m para
m = 1, 2, ; y la dimension del nucleo1 (A 1)m , o sea dim(ker[(A 1)m ]), hasta que este
ultimo numero no cambie lo que sucedera para algun mo n (y se tiene dim(ker[(A 1)m ]) =
dim(ker[(A 1)mo ]) para todo m mo ). Para m = 1, 2, , mo , determine los numeros

dm := 2 dim(ker[(A 1)m ]) dim(ker[(A 1)m1 ]) dim(ker[(A 1)m+1 ]) .

Entonces dm 0 es igual al numero de veces que aparece el bloque de Jordan Jm () de dimension

m m con en la diagonal en la forma canonica de Jordan de A. La multiplicidad geometrica de
es igual a la suma de los dm . La multiplicidad algebraica de es igual a la suma de los productos
mdm .
* Notaspara Metodos Matematicos de la Fsica, 2do -cuatrimestre 2007
** FaMAF, Universidad Nacional de Cordoba.
1 Recuerde que la suma de la dimension del nucleo de una matriz cuadrada B y el rango de B es igual a la dimension de B.

Recuerde tambien que el rango de una matriz cuadrada es igual al numero de filas (o columnas) linealemente independientes.

1
 2. Repita el punto anterior mientras pueda.
La demostracion de la validez de este procedimiento se provee en el Teorema 3.10 de mis notas El Teorema
Espectral y Formas Canonicas.

Ejemplos
1. Considere, para a C las cuatro matrices

a 0 0 1 a 0 0 1
1 a 0 0 1 a 0 0
A= 0 0 a
, B=
0
,
0 0 a 0
0 0 1 a 0 0 0 a

a 0 0 0 a 0 0 0
1 a 0 0 1 a 0 0
C= 0 0 a 0
, D=
0
.
0 a 0
0 0 1 a 0 0 0 a
Si en estas cuatro matrices permutamos la primera columna con la segunda columna, la primera fila
con la segunda fila y, luego, la tercera columna con la cuarta columna y la tercera fila con la cuarta
fila, obtenemos en los cuatro casos matrices triangulares superiores cuyos elementos diagonales
son siempre a. El polinomio caracterstico de estas matrices es entonces ( a)4 , con lo cual a es el
unico autovalor y tiene multiplicidad algebraica 4. Calculamos

0 0 0 1 0 0 0 1
1 0 0 0
A a1 = , B a1 = 1 0 0 0 ,
0 0 0 0 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
C a1 =
0 0 0 0 , D a1 = 0 0 0 0 .

0 0 1 0 0 0 0 0
Calculando los rangos, obtenemos
dim(ker(A a1)) = 1 , dim(ker(B a1)) = 2 ,
dim(ker(C a1)) = 2 , dim(ker(D a1)) = 3 .
Calculamos
0 0 1 0 0 0 0 0
0 0 0 1 0 0 0 1
(A a1) =
2
0
, (B a1) =
2 ,
0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
(C a1)2 = (D a1)2 = 0 .
Luego,
dim(ker(A a1)2 ) = 2 , dim(ker(B a1)2 ) = 3 ,

dim(ker(C a1)2 ) = dim(ker(D a1)2 ) = 4 .

Siguiendo,
0 0 0 0
0 0 1 0
(A a1)3 =
0
, (B a1)2 = 0 ;
0 0 0
0 0 0 0

2
 dim(ker(A a1)3 ) = 3 , dim(ker(B a1)2 ) = 4 .
Finalmente,
(A a1)4 = 0 , dim(ker(A a1)4 ) = 4 .

Podemos determinar las formas canonicas de Jordan de A, B, C, y D como sigue. Abreviamos

k(X, m) := dim(ker(X a1)m ), con X = A, B, C, D.

m k(A, m) k(B, m) k(C, m) k(D, m)

0 0 0 0 0
1 1 2 2 3
2 2 3 4 4
3 3 4 4 4
4 4 4 4 4

La forma canonica de Jordan de A tiene entonces:

d1 = 2k(A, 1) k(A, 0) k(A, 2) = 0; o sea ningun bloque J1 (a);
d2 = 2k(A, 2) k(A, 1) k(A, 3) = 4 1 3 = 0; o sea, ningun bloque J2 (a);
d3 = 2k(A, 3) k(a, 2) k(A, 4) = 6 2 4 = 0; o sea ningun bloque J3 (a);
d4 = 2k(A, 4) k(A, 3) k(A, 5) = 8 3 4 = 1; o sea un bloque J4 (a).
Vale decir que la forma canonica de Jordan de A es J4 (a) y la multiplicidad geometrica del autovalor
a es 1.
Analogamente,

d1 = 2k(B, 1) k(B, 0) k(B, 2) = 1 , d2 = 2k(B, 2) k(B, 1) k(B, 3) = 0 ,

d3 = 2k(B, 3) k(B, 2) k(B, 4) = 1 ;

y por lo tanto la forma canonica de Jordan de B es

J1 (a) J3 (a)

y la multiplicidad geometrica de a es 2.
Similarmente,

d1 = 2k(C, 1) k(C, 0) k(C, 2) = 0 , d2 = 2k(C, 2) k(C, 1) k(C, 3) = 2 ,

con lo cual
J2 (a) J2 (a)
es la forma canonica de Jordan de C y 2 es la multiplicidad geometrica de a. Por ultimo,

d1 = 2k(D, 1) k(D, 0) k(D, 2) = 2 , d2 = 2k(D, 2) k(D, 1) k(D, 3) = 1 ,

y la forma canonica de Jordan de D es:

J1 (a) J1 (a) J2 (a) ,

cuyo autovalor a tiene multiplicidad geometrica 3. Observese que tanto B como C tienen multipli-
cidad geometrica 2 de su autovalor y hay dos casos posibles:

J1 (a) J3 (a) , J2 (a) J2 (a) .

3
 Es por esto que el conocimiento de la multiplicidad geometrica del autovalor es genericamente inutil
para la determinacion de la forma canonica de Jordan.
El ultimo caso en dimension 4 con multiplicidad 4 del autovalor es aquel donde la multiplicidad
geometrica es 4 en cuyo caso la matriz es diagonalizable y la forma canonica de Jordan es J1 (a)
J1 (a) J1 (a) J1 (a).

2. (Problema 19 Gua 1)

2 1 1 0 1 0
0 2 0 1 1 0

0 0 2 0 1 0
A=

.

0 0 0 2 1 0
0 0 0 0 2 1
0 0 0 0 0 1
Como A tiene forma triangular superior no es recomendable tocarla. Los autovalores son 2 y 1.
Ademas el autovalor 1 tiene que tener forzosamente multiplicidad algebraica y geometrica uno. El
autovalor 2 tiene claramente multiplicidad algebraica 5. Empezamos el procedimiento en el punto
1. con = 2.
0 1 1 0 1 0
0 0 0 1 1 0

0 0 0 0 1 0
A21= .

0 0 0 0 1 0
0 0 0 0 0 1
0 0 0 0 0 3

Claramente la segunda y tercera columnas son linealmente dependientes ( alternativamente, la

tercera y cuarta filas son linealmente dependientes asi como tambien la quinta y la sexta filas). El
rango es 4 y dim(ker[A 2 1]) = 2.

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

0 0 0 0 0 1
(A 2 1)2 =

;

0 0 0 0 0 1
0 0 0 0 0 3
0 0 0 0 0 9

que tiene, claramente, rango 3 y dim(ker[(A 2 1)2 ]) = 3.

0 0 0 0 1 3
0 0 0 0 0 2

0 0 0 0 0 3
(A 2 1) =
3

;

0 0 0 0 0 3
0 0 0 0 0 9
0 0 0 0 0 27

que tiene, claramente, rango 2 y dim(ker[(A 2 1)3 ]) = 4.

0 0 0 0 0 10
0 0 0 0 0 6

0 0 0 0 0 9
(A 2 1) =
4

;

0 0 0 0 0 9
0 0 0 0 0 27
0 0 0 0 0 81

4
que tiene, claramente, rango 1 y dim(ker[(A 2 1)4 ]) = 5. No es necesario calcular la quinta
potencia pues sabemos que mo 4 y por lo tanto mo = 4. Entonces tenemos

d1 = 2 2 0 3 = 1 , d2 = 2 3 2 4 = 0 , d3 = 2 4 3 5 = 0 , d4 = 2 5 4 5 = 1 ,

y dm = 2555 = 0 para m 5. La forma canonica de Jordan de A tiene un bloque unidimensional

J1 (2) y un bloque cuatridimensional J4 (2) y la multiplicidad geometrica del autovalor 2 es 2. La
multiplicidad algebraica se confirma a 1 1 + 1 4+ = 5. Si se juega el juego con el autovalor que
falta, aunque ya sabemos que produce un bloque unidimensional J1 (1), se calcula

3 1 1 0 1 0
0 3 0 1 1 0

0 0 3 0 1 0
A+1= 0 0 0 3 1 0 .


0 0 0 0 3 1
0 0 0 0 0 0

Esto tiene rango 5 y dim(ker[A + 1]) = 1, tomando el cuadrado se ve que dim(ker[(A + 1)2 ]) = 1
con lo cual m0 = 1. Entonces, d1 = 2 1 0 1 = 1 y dm = 2 1 1 1 = 0 para m 2, lo que
conduce efectivamente a lo que ya sabemos: J1 (1).

Summa sumarum la forma canonica de Jordan es (modulo permutacion arbitraria de bloques)

2 1 0 0 0 0
0 2 1 0 0 0

0 0 2 1 0 0
J4 (2) J1 (2) J1 (1) =
0 0 0 2 0 0
.


0 0 0 0 2 0
0 0 0 0 0 1