You are on page 1of 9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

ALGORITMO PARA LA REDUCCIN DE UNA MATRIZ A LA


FORMA CANNICA DE JORDAN UTILIZANDO EL MATLAB

Felix Juan Puig Ramn.


Zaida Luz Valerino Garca.
Dpto. Matemtica Aplicada. Facultad de Ingeniera Elctrica. Universidad de Oriente
zvale@fie.uo.edu.cu
RESUMEN
En este trabajo se presenta la utilizacin del MATLAB en las clases prcticas de Algebra
Lineal, impartidas en el primer ao de la carrera Automtica, para obtener la forma
cannica de Jordan de una matriz. Bajo cierta condicion sobre la multiplicidad algebraica
de los valores propios y utilizando el asistente matemtico para los clculos, determinamos
la estructura de la matriz de Jordan, las cadenas de vpg asociadas a cada valor propio y la
corespondiente matriz de transicin. Con la discusin de ejemplos, se puede constatar que
la utilizacin de este mtodo permite una mejor comprensin del problema en estudio y
contribuye al desarrollo del pensamiento lgico y algortmico de los estudiantes.
INTRODUCCIN
Una lnea de trabajo actual por parte de profesores e investigadores estimulados por la
utilidad de los ordenadores como medios de enseanza, est dirigida al diseo y utilizacin
de software profesionales, lo que propicia profundizar en los conceptos, procedimientos y
mtodos de enseanza de la disciplina en estudio.
Considerando que la reduccin de una matriz a la forma cannica de Jordan constituye uno
de los temas fundamentales del Algebra Lineal, as como su aplicacin al estudio de las
Ecuaciones Diferenciales y a la Teora del Control Moderno, y teniendo en cuenta tanto su
complejidad conceptual como prctica al presentar ejemplos significativos que ilustren este
tema, en este trabajo se expone una experiencia de la utilizacin del MATLAB en las
clases prcticas de la asignatura Algebra Lineal insertada en el primer ao de la carrera
Automtica.
La dificultad prctica fundamental en el clculo de una base de vectores propios
generalizados (vpg) de una matriz radica en que no todo vector propio es vector terminal
de una cadena de Jordan no trivial. Por tal motivo, siendo consecuente con la teora, en [1]
y [2] se ilustra como hallar un vector propio terminal de la cadena basndose en la
definicin de vpg, lo cual exige resolver ciertos sistemas de ecuaciones lineales con
parmetros y por ende se requiere de un volumen de clculo considerable.
Por otra parte en [3], apoyndose en el DERIVE, se calcula una base de vpg determinando
inicialmente las cadenas LI de vpg asociadas a cada valor propio a travs del clculo de las
dimensiones de los subespacios que conforman la cadena ascendente de subespacios de
1/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

Jordan, comenzando por el subespacio propio asociado, luego escriben la matriz de


transicin y por ltimo hallan la matriz de Jordan. Adems para el clculo de las cadenas
de Jordan LI asociadas al mismo valor propio se apoyan en la independencia lineal de sus
vectores generadores lo cual es una condicin necesaria pero no suficiente.
Nosotros, apoyndonos en el MATLAB [4], primero hallamos el ndice y las
multiplicidades geomtrica y algebraica de los valores propios de la matriz inicial, para
mostrar el formato de una matriz cannica de Jordan semejante, luego determinamos el
nmero y longitudes de las cadenas LI de vpg asociadas a cada uno de sus valores propios,
requiriendo interpretar la hiptesis del teorema de Jordan en [1]; a continuacin hallamos,
una a una, las cadenas de vpg asociadas al mismo valor propio, lo cual permite interpretar
el concepto de vpg y utilizar como condicin necesaria, para la independencia lineal de las
mismas, que los vpg generadores de cadenas diferentes sean LI. Ya obtenidas estas
cadenas comprobamos si sus vectores propios terminales son LI y, de ser as, solamente
restara unirlas para obtener la base de vpg buscada.
Es prudente sealar que este procedimiento exige que la multiplicidad de cada valor propio
sea menor que siete, lo cual garantiza, en particular, que sea aplicable a toda matriz de
orden menor o igual que seis, no constituyendo esto una limitacin pedaggica
significativa.
DESARROLLO.
1. Planteamiento del problema
Dada una matriz A de orden n, se necesita hallar una matriz de Jordan J, semejante a la
matriz A, y una matriz no singular U tal que U-1AU = J.
Este problema debe presentarse como una continuacin natural del problema de la
diagonalizacin de una matriz, y de hecho es una generalizacin del mismo, por lo que su
formulacin requiere generalizar ante todo el concepto de vector propio de una matriz y
algunas de sus propiedades bsicas.
2. Vectores propios generalizados
El vector bk de Cn es un vector propio generalizado (vpg(k)) de orden k asociado al valor
propio de la matriz A si:
(A-I)kbk=0
y (A-I)k-1bk0
Si bk es un vpg(k), ste genera una cadena de Jordan constituida por k vectores.
C(,k): bk, bk-1, . . . , b2, b1
donde:
bk-1 = (A-I)bk
bk-2 = (A-I)bk-1 = (A-I)2 bk
................... ...
b2 = (A-I)b3 = (A-I)k-2 bk
b1 = (A-I)b2 = (A-I)k-1 bk
De las igualdades anteriores es inmediato que cada vector bj de la cadena es un vpg(j), en
particular el vector b1 terminal de la cadena es un vector propio no nulo de la matriz A.
2/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

La fundamentacin teorca de la solucin al problema planteado se debe en gran medida a


las siguientes propiedades de los vpg.
P1 Toda cadena de Jordan es LI.
P2 Cadenas de Jordan asociadas a valores propios diferentes son LI.
P3 Cadenas de Jordan asociadas a un mismo valor propio son LI si, y slo si, lo son sus
vectores propios terminales.
P4 El subespacio generado por la cadena C(,k) es invariante por la matriz A como
operador lineal.
P5 La matriz de la restriccin del operador lineal A sobre el subespacio generado por la
cadena C(,k) es una celda o caja de Jordan de orden k.
Como consecuencia de estas propiedades se deduce que la matriz A con entradas en un
campo K se simplifica a una matriz cannica de Jordan J a travs de una transformacin de
similaridad, J = U1AU, si, y slo si, las columnas de la matriz U conforman una base de
Kn constituida por vpg de A. Ademas es inmediato que dicha base, de existir, es la unin
de tantas cadenas de Jordan LI. como celdas tenga la matriz J.
El teorema de Jordan demuestra la existencia de una base de vpg de la matriz A si, y slo
si, su espectro est incluido en el campo K, as como la relacin entre la estructura de la
matriz cannica de Jordan con el ndice y las multiplicidades geomtrica y algebraica de
cada valor propio de la matriz dada.
3. Solucin del problema
Hallemos una base de vpg de la matriz A, a la cual cada valor propio aporta tantos vectores
como sea su multiplicidad algebraca y tantas cadenas LI de vpg como sea su mltiplicidad
geomtrica, incluyendo al menos una de longitud mxima e igual al ndice del valor
propio. Por consiguiente si para cada valor propio son conocidos el ndice k(.) = k y las
multiplicidades geomtrica g(.) = g y algebraica m(.) = m y asumiendo que para cada
valor propio ., se cumpla que:
1m6
Entonces se puede demostrar que los valores de k, g y m determinan univocamente la
estructura de una matriz J de Jordan semejante con A.
Una vez conocida la matriz J podemos determinar las longitudes de las g cadenas de vpg
asociadas a cada valor propio , (se corresponden con los ordenes de las celdas asociadas a
), permitiendo esto conocer el orden de todos los vpg que aporta dicho valor propio. Se
sugiere, para mejor comprencin y relacin de la teora con la prctica, tabular estos
resultados.
De acuerdo con la propiedad P2 solo necesitamos garantizar la independencia lineal entre
las cadenas de vpg asociadas al mismo valor propio . A tales efectos estas sern halladas,
atendiendo al orden decreciente de sus longitudes, comenzando por las de longitud k y
exigindole al vpg bh de orden h, generador de la cadena C(,h) en turno, que sea LI con
respecto a los vpg de orden h presentes en las cadenas ya obtenidas, siendo adems
seleccionado, entre los vectores de una base del Ker(A-I)h tal que (A-I)h-1bh0. Los
restantes vectores de la cadena se hallan por recurrencia conforme a la definicin de
cadedena de vpg a partir de su generador bh.
3/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

Solo resta comprobar, conforme a la propiedad P3, que el vector propio terminal de esta
cadena sea LI con respecto a los vectores propios terminales de las cadenas precedentes.
4. Algoritmo para hallar una base de vpg. y la matriz de Jordan semejante con A.
Paso I Hallar el espectro (A) y la multiplicidad algebraica, m() = m de cada valor
propiop . Sea p(x) el polinomio caracteristico de la matriz A.
p(x) = (-1) n (x - 1)m1... (x - r)mr

(A) = {1,2,. . . ,r}

m(j) = mj

Paso 2 Hallar el polinomio mnimo m(x) e ndice, k() = k, de cada valor propio .
m(x) =(x - 1)k1 ... (x - r)kr , k(j) = kj
.Paso

3 Hallar la multiplicidad geomtrica, g()=g, de cada valor propio .


g() = n - rango(A-I), n = orden de A.

Paso 4 Escribir la matriz de Jordan J semejante con A, conforme a los valores hallados de:
m(), k() y g() respectivamente.
J = J1 + J2 + ... + Jr

Paso 5 Para cada valor propio , hallar las g cadenas de Jordan:


Cj(,kj): bjkj , bjkj-1, ... , bj1, 1jg
k = k1 k2 ... kg
cuyos vectores deben cumplir las condiciones:

bjkj Base( Ker (A - I)kj)

(A - I)kj-1 bjkj 0

bjt-1 = (A - I) bjt , t = kj, kj-1,...,2

b11, b21, ... , bg1 sean L.I.

Paso 6 Escribir para cada v.p. una base del ncleo de (A - I)k()

B : =

g ( )

U C ( , k )
j

j =1

Paso 7 Escribir una base B de vpg de la matriz A.

B :=

U B

( A)

4/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

5. Utilizacin del MATLAB para la solucin del problema.

Con la utilizacin del MATLAB, se facilitan los clculos, logrndose adems una
participacin activa del alumno, lo que permite una mejor comprensin de la teora y una
contribucion al desarrollo del pensamiento lgico y algortmico de los estudiantes.
Mostremos el algoritmo de reduccion a la forma canonica de Jordan al caso de dos
matrices de orden 6 con espectro y polinomio mnimo comn pero con formas cannicas
de Jordan diferentes.
Ejemplo 1
1
2 1 0
1
3
0
1 1 0
2
1

A = 1 0 2 1 1 1

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

1
2 2 0
3
2

Paso 1
Se hallan los valores propios con la instruccin eig(A) y se obtiene:

(A) = {2},

m=6

Paso 2
Se obtiene la matriz B2=A-eye(6)*2 y se calcula el polinomio mnimo de A aplicando la
definicin:
m(x) = (x-2)4 ,
k=4
Paso 3

Clculo de la multiplicidad geomtrica de = 2:


g =2

g(2) = 6 - rank(B2),

Paso 4
Teniendo en cuenta que: m = 6, g = 2 y k = 4, inferimos que hay dos celdas de Jordan de
rdenes 4 y 2 respectivamente. Por tanto una matriz de Jordan J, semejante a la matriz A,
puede ser:

J =

2
0

0
0

2
0
0

2
0

1
2

0
0

0
0
0

0
1

Paso 5

5/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

Se deben hallar dos cadenas de Jordan, de longitudes 4 y 2 respectivamente. Para ello


consideremos la tabla siguiente:
C(,k) vpg(4) vpg(3) Vpg(2)
C1(2,4
u4
u3
u2
)
C2(2,2
z2
)

Vp
u1
z1

Para hallar una cadena de longitud 4, se busca una base del ncleo de (A-2I)4 con la
instruccin null(B2^4) y se obtienen los 6 vectores cannicos de R6, de los cuales se
escoge uno,
u4 =( 1, 0, 0, 0, 0, 0 ), ya que, (A-2I)3u4 0.
Siendo u4 el vector generador de la cadena, los vectores restantes se obtienen
recursivamente:
u3 = B2*u4 , u2 = B2*u3, u1 = B2*u2
u3 = ( 1, 0,-1, 1,-2, 2)
u2 = ( 0,-1, 0, 0, 0, 0 )
u1 = (-1, 1, 0,-1, 1,-1)
Para hallar una cadena de longitud 2, se busca una base del ncleo de (A-2I)2 con la
instruccin null(B2^2) y se obtienen 4 vectores, de los cuales se escoge uno,
z2 = (-0.866, 0, 0,-0.2887, 0.2887, 0.2887 )
ya que: (A-2I)z2 0 y adems u2 y z2 son L.I. luego:
z1 = B2*z2
z1 = (-0.2887, 0.866, 0,-0.2887, 0.866,-0.866 )
Teniendo en cuenta que z1 y u1 son LI, podemos asegurar, por la propiedad P3, que el
vector z2 ha sido bin seleccionado.
Si se desea comprobar que los seis vectores hallados son L.I. y por tanto una base de vpg
de la matriz A, se construye la matriz
U = [ u1 u2 u3 u4 z1 z2] y se calcula su rango con la intruccin, rank(U), cuyo valor es 6.
La matriz U hallada, es la matriz de cambio de base, de la base cannica de R6 a la base de
vpg de A y debe cumplirse que:
J= U-1 A U
lo cual puede comprobarse facilmente mediante la instruccin.
inv(U)*A*U.
Ejemplo 2

6/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

A=

3
0

2
1

Paso 1

(A) = {2},

m=6

Paso 2

m() = ( - 2)3,

k=3

Paso 3

g(2) = 6 - rank(B2),

g=3

1
1
0

1
1

Paso 4 Hay tres celdas de rdenes 3, 2 y 1 respectivamente, Por tanto una matriz de
Jordan, semejante a la matriz A, puede ser:
2
0

J = 0

0
0

1
2

0
1

0
0

0
0

0
0

2
0

0
2

0
1

0
0

0
0

0
0

2
0

0
0
0

0
0

Paso 5
Se deben hallar tres cadenas de Jordan, de longitudes 3, 2 y 1.
Consideremos la tabla.

C(,k)
C1(2,3)
C2(2,2)
C3(2,1)

vpg(3)

vpg(2)

vp

u3

u2
z2

u1
z1
v1

Para hallar una cadena de longitud 3, se busca una base del ncleo de (A-2I)3 con la
instruccin null(B2^3) y se obtienen los 6 vectores cannicos de R6, de los cuales se
escoge uno,
u3 = ( 0, 0, 1, 0, 0, 0 ), ya que, (A - 2I)2u3 0.
Siendo u3 el vector generador de la cadena, los restantes vectores se obtienen
recursivamente por:
u2 = B2*u3, u1 = B2*u2
u2 = ( 2,-2, 0, 1,-2, 2 )
u1 = ( 1,-1, 0, 1,-1, 1 )
Para hallar una cadena de longitud 2, se busca una base del ncleo de (A-2I)2 con la
instruccin null(B2^2) y se obtienen 5 vectores, de los cuales se escoge uno,
7/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

z2 = ( 1, 0, 0, 0, 0, 0 )
ya que: (A - 2I)z2 0 y adems u2 y z2 son L.I. luego:
z1 = B2*z2
z1 = ( 1, 0, 0, 2,-1, 1 )
Teniendo en cuenta que los vectores z1 y u1 son LI podemos asegurar, de acuerdo a la
propiedad P3, que el vector z2 ha sido bin escogido.
Para hallar una cadena de longitud 1 (un vector propio), se busca una base del ncleo de
(A-2I) con la instruccin null(B2) y se obtienen 3 vectores, de los cuales se escoge uno:
v1 = (-0.5889, 0.553, 0,- 0.018, 0.5889, 0.018 )
ya que: u1, z1 y v1 son LI.
Si se desea comprobar que los vectores hallados son L.I.y por tanto constituyen una base
de vpg de A, se forma la matriz U = [ u1 u2 u3 z1 z2 v1] y se obtiene que su rango es seis.
La matriz U hallada, es la matriz de cambio de base cuyas columnas son vectores propios
generalizados de la matriz A y se cumple que:
J= U-1 A U
lo cual puede comprobarse mediante la instruccin
inv(U)*A*U
CONCLUSIONES
Consideramos que la utilidad del asistente matemtico para efectuar los clculos permite
estudiar la simplificacin de una matriz a su forma cannuca de Jordan de un modo mas
dinmico que lo tradicional, puesto que prioriza el aspecto conceptual evitando que este se
diluya en una gran cantidad de clculos rutinarios manuales ya dominados previamente por
el alumno, lo cual garantiza nuestra conformidad de no descuidar el necesario desarrollo de
las habilidades de clculo. Por otra parte el mtodo utilizado propicia la motivacin de los
alumnos por el tema, exigindoles interactuar con la teora y por tanto contribuir al
desarrollo de su pensamiento lgico y algortmico.
Si la multiplicidad algebraica de algn valor propio de la matriz A es mayor que seis,
entonces el ndice k y las multiplicidades algebraica y geomtrica no determinan, por si
solos, el formato de una matriz de Jordan semejante con A. En estos casos sugerimos hallar
su formato determinando previamente las dimensiones de los subespacios encajados de
vpg, asociados a , cuyo primer eslabn es el subespacio propio Ke=(A-I) y el ltimo, el
subespacio radical Ker(A-I) k asociado al valor propio, y luego continuar de acuerdo a
este trabajo. No consideramos necesario incluir este analisis atravs de un ejemplo por
cuanto se aleja de nuestro objetivo pedaggico que es: brindar una metodologa sencilla
para calcular una matriz de Jordan semejante a una matriz dada asi como la
correspondiente matriz de transcicin, aplicable a cualquier matriz compleja de orden
menor que siete.
REFERENCIAS

[1] Prez, P. (1989), Algebra Lineal. Vol. 1 2edicin.Universidad Politcnica de


Valencia.

8/9

Revista Pedagoga Universitaria

Vol. X No. 4 2005

[2] Gonzlez, M. T., Martnez, M. A. (1996). Resolucin de sistemas de ecuaciones


diferenciales lineales con coeficientes constantes con el programa Derive. Epsilon,
N 36, 1996. Pags. 387 406.
[3] Noble, B. (1969), Applied Linear Algebra. Prentice Hall.
[4] Ayuda en lnea del software MATLAB versin 5.0, The MathWorks, Inc. 1996

9/9

You might also like