LA FORMA DE JORDAN

11 de diciembre de 2006
1. Ideas preliminares
Denicion Sea A n n y S un subespacio de R
n
(o C
n
). Decimos que S es invariante
por A si,
Au S, u S.
Ejemplo. Si es un valor propio de A, S() := u R
n
[ Au = u es invariante por
A.
Denicion Sea A una matriz n n. Si R
n
= S T, con S y T invariantes por A,
decimos que R
n
= S T es una descomposicion invariante por A. La misma denicion
se extiende a
R
n
= S
1
. . . S
k
con S
j
invariante por A para todo j.
Ejemplo. Si A es diagonalizable y
1
, . . . ,
k
son sus valores propios, entonces
R
n
= S(
1
) . . . S(
k
)
es una descomposicion invariante por A.
Aplicacion. Si R
n
= S T es una descomposicion invariante por A, consideramos una
base de R
n
construida de la forma
s
1
, . . . , s

. .
base de S
, t
+1
, . . . , t
n
. .
base de T
y
P =
_
_
s
1
. . . s

t
+1
. . . t
n
_
_
entonces
P
1
AP =
_
A

0
0 A
nn
_
1
Las descomposiciones invariantes producen matrices diagonales por bloques. Notese
que si
P
1
AP =
_

_
A
1
A
2
.
.
.
A
k
_

_
con A
j
cuadrada para todo j, entonces: (a) la particion correspondiente de columnas de
P genera una descomposicion invariante en k subespacios; (b) el polinomio caracterstico
de A es el producto de los polinomios caractersticos de las matrices A
j
.
Objetivo. En un primer paso, el objetivo de llegar a una forma canonica de Jordan es
lograr una transformacion P tal que
P
1
AP =
_

_
A
1
A
2
.
.
.
A
k
_

_
donde el polinomio caracterstico de cada A
j
contiene una unica raz, distinta de la de los
demas bloques. Por tanto, si el polinomio caracterstico de A es
(x
1
)
m(
1
)
(x
2
)
m(
2
)
. . . (x
k
)
m(
k
)
el bloque A
j
tendra como polinomio caracterstico
(x
j
)
m(
j
)
.
As, estamos realizando una descomposicion invariante por A
C
n
= E
1
E
2
. . . E
k
donde dimE
j
= m(
j
).
2. N ucleos iterados
Denicion Sea A una matriz n n y un valor propio de A. Consideramos los subes-
pacios
E
j
() := N( (A I)
j
), j 1,
a los que llamamos n ucleos iterados. Denotamos E
0
() = N( I ) = 0.
Propiedades elementales.
(1) E
1
() = S().
2
(2) E
j
() E
j+1
() para todo j.
Dem. Es consecuencia inmediata de que
(A I)
j
u = 0 = (A I)
j+1
u = 0.

(3) Si E

() = E
+1
(), entonces E
+1
() = E
+2
(). En consecuencia
E

() = E
+1
() = E
+2
() = . . . .
Dem. Se deduce de la siguiente cadena de implicaciones
(A I)
+2
u = 0 = v := (A I)u E
+1
() = E

()
= (A I)
+1
u = (A I)

v = 0,
luego E
+2
() E
+1
() E
+2
().
(4) Los subespacios E
j
() son invariantes por A.
Dem. Notemos que si u E
j
(), entonces
(A I)
j
u = 0 = 0 = A(A I)
j
u
()
= (A I)
j
Au
= Au E
j
().
Para ver (*) basta notar que
(A I)
j
=
j

i=0
()
ji
_
j
i
_
A
i
,
luego A(A I)
j
= (A I)
j
A.
Propiedades no tan elementales.
(5) Para todo j 1
dimE
j+1
() dimE
j
() dimE
j
() dimE
j1
().
(6) Sean
1
, . . . ,
k
los valores propios de A. Sean j
1
, . . . , j
k
1. Entonces la siguiente
suma de subespacios es directa:
E
j
1
(
1
) E
j
2
(
2
) . . . E
j
k
(
k
).
(7) La dimension maxima de los n ucleos iterados es la multiplicidad del valor propio,
esto es, para cada , existe tal que
E

() = E
+1
(), dimE

() = m().
3
Sobre las dimensiones de los n ucleos iterados. Sean
n
j
:= dimE
j
() = dimN( (A I)
j
), j 0
(notese que n
0
= 0). Entonces, las propiedades anteriores implican que esta sucesion de
enteros cumple las tres siguientes propiedades:
(1) 0 = n
0
< n
1
< . . . < n

= n
+1
= . . . ,
(2) n

n
1
n
1
n
2
. . . n
2
n
1
n
1
n
0
= n
1
(3) n

= m().
La sucesion de n ucleos iterados queda entonces:
E
0
() E
1
() E
2
() . . . E

() = E
+1
() = . . .
dim : 0 = n
0
< n
1
< n
2
< . . . < n

= n
+1
= . . .
Una observacion. Si B := P
1
AP, entonces
u N( (B I)
j
) P u N( (A I)
j
).
Por tanto, las dimensiones de los n ucleos iterados son invariantes por semajanza.
Corolario (Teorema de descomposicion de Jordan). Si el polinomio caracterstico
de A es
(x
1
)
m(
1
)
(x
2
)
m(
2
)
. . . (x
k
)
m(
k
)
entonces existen
j
de forma que
C
n
= E

1
(
1
) . . . E

k
(
k
)
y un cambio de base de forma que
P
1
AP =
_

_
A
1
.
.
.
A
k
_

_
donde para cada j el polinomio caracterstico de A
j
es (x
j
)
m(
j
)
.
Ademas, las dimensiones de los n ucleos iterados de las submatrices A
i
coinciden con
las de los de A.
Dem. La primera armacion es consecuencia directa de las propiedades (6) y (7). Tomando
conjuntamente una base de todos los E

j
() y poniendola por columnas en P se llega a
la matriz diagonal por bloques.
Veamos que las dimensiones de los n ucleos iterados de A
1
coinciden con las dimensiones
de E
j
(
1
). Sea B := P
1
AP. Como
u N( (B
1
I)
j
) P u E
j
(
1
) E

1
(
1
) = Cp
1
, p
2
, . . . , p
m(
1
)
)
4
(p
j
son las columnas de P), entonces
N( (B
1
I)
j
) Ce
1
, e
2
, . . . , e
m(
1
)
)
(e
j
son los vectores canonicos). Esto quiere decir que los elementos de N( (B
1
I)
j
) solo
pueden tener las primeras m(
1
) componentes no nulas. A partir de all, es obvio que
u N( (B
1
I)
j
) u =
_
v
0
_
, v N( (A
1

1
I)
j
).
Lo mismo se puede hacer con los demas valores propios.
Conclusion. A partir de ahora podemos concentrarnos en matrices con un unico valor
propio, ya que el teorema precedente parte el trabajo en submatrices con un unico valor
propio.
3. Demostraciones
Propiedad (5). Para todo j 1
dimE
j+1
() dimE
j
() dimE
j
() dimE
j1
().
Dem. Sea m := dimE
j+1
() dimE
j
() y tomemos v
1
, . . . , v
m
una base de un suplemen-
tario de E
j
() en E
j+1
(), esto es, vectores independientes tales que
E
j+1
() = E
j
() Cv
1
, . . . , v
m
).
Notese que esto quiere decir que
v
1
, . . . , v
m
E
j+1
(),

1
v
1
+ . . . +
m
v
m
E
j
()
1
= . . . =
m
= 0.
Denimos w
i
:= (A I)v
i
. Entonces es facil comprobar que
w
1
, . . . , w
m
E
j
(),

1
w
1
+ . . . +
m
w
m
E
j1
()
1
= . . . =
m
= 0,
luego
dimCw
1
, . . . , w
m
) = m,
Cw
1
, . . . , w
m
) E
j
(),
Cw
1
, . . . , w
m
) E
j1
() = 0,
esto es, el resultado buscado.
5
Lema. Si p(A)u = 0 = q(A)u y r(x) := m.c.d.p(x), q(x), entonces r(A) u = 0.
Dem. Sea m(x) el polinomico monico de menor grado tal que m(A) u = 0. Por hipotesis,
m existe (ver algunos comentarios despues). Si m no fuera unico, entonces tendramos m
1
y m
2
monicos del mismo grado tales que m
1
(A) u = 0 = m
2
(A) u, luego m
3
:= m
1
m
2
tiene grado estrictamente menor y m
3
(A) u = 0, lo que contradice la eleccion de m.
Si p(A) u = 0, entonces p es m ultiplo de m, ya que en caso contrario el resto de dividir
p por m (no nulo y de grado estrictamente menor que m) contradira la eleccion de m.
Por esta razon, como p(A)u = 0 = q(A)u y m.c.d.(p(x), q(x)) = 1, necesariamente
m(x) 1, luego u = 0.
Comentario. El resultado anterior se puede ver aplicando un sencillo resultado de
algebra de polinomios en una variable. Consideramos el conjunto
T
u
:= p(x) [ p(A)u = 0,
que es un ideal en P. Como P es un dominio de ideales principales, T
u
tiene un unico
generador monico (el m(x) de la demostracion). De hecho, es la demostracion de que P
es dominio de ideales principales no diere mucho de la realizada.
Que el conjunto T
u
no es vaco se sigue, tal y como estamos trabajando, de las hipotesis.
No obstante, se puede demostrar que el polinomio caracterstico de A esta en T
u
para
todo u (Teorema de CayleyHamilton). Sin usar este resultado, se puede ver directamente
que existe A
k
que es combinacion lineal de las potencias de menor grado de A, ya que el
espacio de las matrices n n tiene dimension n
2
.
Propiedad (6). Sean
1
, . . . ,
k
los valores propios de A. Sean j
1
, . . . , j
k
1. Entonces
la siguiente suma de subespacios es directa:
E
j
1
(
1
) E
j
2
(
2
) . . . E
j
k
(
k
).
Dem. Sean u
1
, . . . , u
k
tales que
u
1
+ u
2
+ . . . + u
k
= 0, u
i
E
j
i
(
i
).
Tenemos que
(A
1
I)
j
1
u
1
= 0,
(A
2
I)
j
2
. . . (A
k
I)
j
k
u
1
= (A
2
I)
j
2
. . . (A
k
I)
j
k
(u
2
+ . . . + u
k
) = 0
luego por el Lema, u
1
= 0. De la misma forma se ve que todos los demas u
i
son nulos.
Propiedad (7a). Para todo j
dimE
j
() m().
6
Dem. Sea P invertible de forma que sus p primeras columnas formen una base de E
j
()
(p := dimE
j
()). Entonces, con el cambio de base
P
1
AP =
_
A
p
C
p
0 B
p
_
(con A p p). Si A
p
v = v, entonces
P
1
AP
_
v
0
_
=
_
v
0
_
.
Sea
w := P
_
v
0
_
S() E
j
().
Si ,= , S() E
j
() = E
1
() E
j
() = 0, luego w = 0 y, por tanto, v = 0. Entonces,
hemos visto que el polinomio caracterstico de A
p
es (x )
p
. Puesto que el polinomio
caracterstico de A
p
divide al de A, dimE
j
() = p m().
Propiedad (7b). Si E
+1
() = E

(), entonces
dimE

() m().
Dem. Sea p := dimE

(). Tomamos P como en la demostracion del teorema anterior, de

forma que
P
1
AP =
_
A
p
C
p
0 B
p
_
=:

A,
donde A
p
es p p. Vamos a ver que B
p
no tiene el valor propio .
Notemos de nuevo que para todo j
u N( (

A I)
j
) P u N( (A I)
j
),
luego se deduce que:
N( (

A I)

) = N( (

A I)
+k
), j
N( (

A I)

) = Re
1
, . . . , e
p
),
y de esta ultima igualdad, que las primeras p columnas de (

A I)

son nulas Conside-

ramos la matriz
(

A I)

=
_
(A
p
I)

C
p
0 (B
p
I)

_
=
_
0

C
p
0 (B
p
I)

_
Si (B
p
I)v = 0, entonces
(

AI)
2
_
0
v
_
=
_
0

C
p
0 (B
p
I)

_ _

C
p
v
(B
p
I)

v
_
=
_
0

C
p
0 (B
p
I)

_ _

C
p
v
0
_
= 0
lo que implica
(

A I)

_
0
v
_
= 0
y por tanto v = 0.
7
Nota. La Propiedad (7b) es suciente para garantizar que dimE

() = m(). La razon
es que por la Propiedad (6),
n dimE

1
(
1
) + . . . + dimE

k
(
k
) m(
1
) + . . . + m(
k
) = n
lo que fuerza a que las desigualdades sean igualdades.
4. Cajas de Jordan y matrices de Jordan
Denicion Llamamos caja de Jordan de orden k asociada a un valor propio a una
matriz k k de la forma
J
k
() :=
_

_
1
1

.
.
.
.
.
. 1

_
.
Propiedades.
(1) La matriz J
k
() tiene como polinomio caracterstico (x )
k
y dimS() = 1.
(2) Las dimensiones de los n ucleos iterados de J
k
() son:
dimN( (J
k
() I)
j
) =
_
j, j = 1, . . . , k
k, j k
_
= mn(k, j).
Dem. Se puede hacer directamente notando que
J
k
() I =
_

_
0 1
0 1
0
.
.
.
.
.
.
1
0
_

_
y viendo como decrece de uno en uno el rango de las potencias de esta matriz.
Tambien se puede ver notando que, como n
1
= 1, por la propiedad (5) de las
dimensiones de los n ucleos iterados n
j
= j hasta que j = k.
Denicion Una matriz de Jordan asociada a un unico valor propio es una matriz
diagonal por bloques cuyos bloques son cajas de Jordan asociadas a
_

_
J
k
1
()
J
k
2
()
.
.
.
J
kr
()
_

_
Una matriz de Jordan general es una matriz diagonal por bloques cuyos bloques son matri-
ces de Jordan asociadas a distintos valores propios, o bien (equivalentemente), una matriz
diagonal por bloques cuyos bloques son cajas de Jordan.
8
5. Dos problemas combinatorios
Objetivo. Vamos a mostrar seguidamente como se establece una relacion uno a uno
entre las distintas posibilidades de dimensiones de los n ucleos iterados de una matriz de
Jordan m m con un unico valor propio y las posibilidades de congurar las cajas de
Jordan hasta llenar el espacio mm.
Problema (P). Hallar una sucesion de enteros que cumpla las tres siguientes propie-
dades:
(a) 0 = n
0
< n
1
< . . . < n

= n
+1
= . . . ,
(b) n

n
1
n
1
n
2
. . . n
2
n
1
n
1
n
0
= n
1
(c) n

= m.
Problema (Q). Hallar un conjunto de valores q
1
, q
2
, . . . , q

, . . . de forma que
(a) q
+1
= q
+2
= . . . = 0
(b) q
1
+ 2 q
2
+ 3 q
3
+ . . . + q

= m
Nota. Antes de mostrar como se relacionan, indicamos que van a representar las solu-
ciones de estos problemas y la de un problema intermedio:
n
j
seran las dimensiones de los n ucleos iterados;
p
j
sera el n umero de cajas de Jordan de tama no j j o superior;
q
j
sera el n umero de cajas de Jordan de tama no j j.
El trabajo se podra hacer sin tener en cuenta cual es el valor de en el que la solucion de
(P) se detiene y la de (Q) toma su ultimo valor no nulo, valor que de hecho sera el mismo
al relacionar ambas sucesiones.
Propiedad A. Dada una solucion del Problema (P), denimos
p
j
:= n
j
n
j1
, j 1.
Notese que esta sucesion cumple
0 = . . . = p
+1
< p

p
+1
. . . p
1
= n
1
.
Seguidamente denimos
q
j
:= p
j
p
j+1
, j 1,
de modo que q

= p

y q
j
= 0 para todo j > . Entonces esta sucesion es una solucion del
Problema (Q).
9
Propiedad B. Dada una solucion del Problema (Q), denimos
p
j
:= q
j
+ q
j+1
+ . . . + q

, j = 1, . . . ,
(p
j
= 0 para j > ) y por recurrencia

n
0
:= 0
n
j
:= p
j
+ n
j1
, j 1.
Entonces esta sucesion es solucion del Problema (P). Por consiguiente, hay una corres-
pondencia biunvoca entra las soluciones de los (P) y (Q).
Teorema. Dada una solucion de (P) y q
j
la solucion asociada del Problema (Q),
entonces la matriz de Jordan mm asociada al valor propio construida con
q
j
bloques j j para cada j
cumple
dimE
j
() = n
j
, j 0.
Dem. Tomemos una matriz de Jordan construida de la forma anterior. Entonces, dado
que la matriz es diagonal por bloques,
dimE
j
() = q

dimN( (J

() I)
j
) + q
1
dimN( (J
1
() I)
j
) +
+. . . + q
1
dimN( (J
1
() I)
j
) =
= q

mn(j, ) + q
1
mn(j, 1) + . . . + q
1
mn(j, 1) =
= j (q

+ q
1
+ . . . + q
j+1
) + jq
j
+ (j 1)q
j1
+ . . . + 2q
2
+ q
1
=
= j(p

+ p
1
p

+ . . . + p
j+1
p
j+2
) +
+j(p
j
p
j+1
) + . . . + 2(p
2
p
3
) + (p
1
p
2
) =
= j p
j+1
j p
j+1
+ p
j
+ p
j1
+ . . . + p
1
=
= n
j

Conclusiones.
(1) Para cualquier solucion del Problema (P), existe una matriz (de hecho una matriz
de Jordan) mm con un unico valor propio de forma que
dimE
j
() = n
j
, j.
(2) Por consiguiente, dadas posibles conguraciones de las dimensiones de los n ucleos
iterados asociados a todos los valores propios, existe una matriz (de hecho, matriz
de Jordan) que los tiene como n ucleos iterados.
(3) Dos matrices de Jordan esencialmente distintas (que no se obtengan por permutaci on
del orden de los bloques) no son semejantes.
Dem. La conguracion en bloques (cuantos bloques hay de cada tama no) da unvo-
camente una posibilidad de dimensiones de los n ucleos iterados, pero esta es un
invariante por semejanza.
10
6. Existencia de forma de Jordan
Primera observacion. Si
P
1
AP =
_
J
k
()
0
_
y u
1
, . . . , u
k
son las primeras columnas de P, entonces
Au
1
= u
1
Au
2
= u
2
+ u
1
.
.
.
Au
k
= u
k
+ u
k1
luego para todo j 2
u
j1
= (A I)u
j
.
Segunda observacion. Si S es un subespacio que cumple
E
j1
() S E
j
()
y T := (A I)S = (A I) u[ u S, entonces
E
j2
() T E
j1
(), dimT = dimS.
Dem. Hay que ver tres cosas: (a) T E
j1
(), lo cual es obvio, ya que
u E
j
() = (A I)u E
j1
();
(b) T E
j2
() = 0, ya que si v T (luego v = (A I)u, con u S), entonces
(A I)
j2
v = 0 = (A I)
j1
u = 0 = u S E
j1
() = 0;
(c) si u S, entonces
(A I)u = 0 = u E
1
() S E
j1
() S = 0,
luego la independencia lineal se preserva al multiplicar por (A I).
Teorema. Toda matriz mm con un unico valor propio es semejante a una matriz
de Jordan asociada al valor propio . Ademas, las dimensiones de las cajas de Jordan
vienen dadas por los coecientes q
j
ligados a las dimensiones de los n ucleos iterados.
Dem. Esa E

() el primer n ucleo iterado de tama no maximo. Sea S

= S
0

tal que
E

() = E
1
() S
0

,
11
de modo que dimS
0

= n

n
1
= p

= q

. Por la observaci on anterior podemos poner

E
1
() = E
2
() (A I)S
0

S
0
1
. .
S
1
con
dimS
0
1
= (n
1
n
2
) dimS
0

= p
1
p

= q
1
0.
De la misma forma
E
2
() = E
3
() (A I)S
1
S
0
2
. .
S
2
=
= E
3
() (A I)
2
S
0

(A I)S
0
1
S
0
2
con
dimS
0
2
= q
2
.
As sucesivamente se construye una particion de E

()
E

() = S
0

(A I)S
0

. . . (A I)
2
S
0

(A I)
1
S
0

S
0
1
. . . (A I)
3
S
0
1
(A I)
2
S
0
1
.
.
.
.
.
.
S
0
2
(A I)S
0
2
S
0
1
= S

S
1
. . . S
2
S
1
de forma que
dimS
0
j
= q
j
, j = 1, . . . , .
Construimos ahora una base de E

() de la siguiente manera: se toma una base de cada

S
0
j
(es posible que alognos sean nulos y no haya que tomar base)
u
j,1
, . . . , u
j,q
j
y se construyen las secuencias de vectores para cada uno de ellos (digamos u)
v
1
= (A I)
j1
u = (A I)v
2
v
2
= (A I)
j2
u = (A I)v
3
.
.
.
v
j1
= (A I)u = (A I)v
j
v
j
= u,
de manera que
Av
1
= v
1
, Av
k
= v
k1
+ v
k
, k = 2, . . . , j.
La matriz obtenida por el cambio de base obtenido mediante la union de estas secuencias
de vectores es una matriz de Jordan con q
j
cajas j j para todo j.
12
Teorema. Toda matriz es semejante a una matriz de Jordan (su forma de Jordan). La
forma de Jordan ( unica, salvo permutaciones de bloques) es la unica matriz de Jordan en
la que coinciden las dimensiones de los n ucleos iterados con los de A.
Teorema. En la misma clase de semejanza de matrices estan todas las matrices con
el mismo polinomio caracterstico e identicas dimensiones de n ucleos iterados y ninguna
mas.
7. Detalles adicionales
7.1. Teorema de CayleyHamilton
Teorema (CayleyHamilton). Sea p(x) el polinomio caracterstico de A. Entonces
p(A) = 0.
Dem. Una forma elemental de demostrar esto es hacerlo con la forma de Jordan. Puesto
que p(J) = P
1
p(A)P, basta ver que p(J) = 0. Ahora bien, es elemental que
p(J) =
_

_
p(J
k
1
(
1
))
p(J
k
2
(
2
))
.
.
.
p(J
k
r
(
r
))
_

_
y por otro lado
(J
k
() I)
k
= 0,
luego el teorema ya esta probado.
Sin llegar a emplear la forma de Jordan, el resultado es tambien una consecuencia del
Teorema de Descomposicion de Jordan. Por este teorema, y dado que
p(P
1
AP) =
_

_
p(A
1
)
p(A
2
)
.
.
.
p(A
k
)
_

_
,
bastara con demostrar el resultado para matrices con un unico valor propio. Ahora bien,
si el polinomio caracterstico de A es (x )
n
, entonces existe n tal que E

() =
N( (A I)

) = C
n
, lo que implica que (A I)

= 0 con n.
Comentarios. Este tipo de resultados motiva la introduccion de los conceptos de poli-
nomio mnimo, divisores elementales, factores invariantes, etc. Vamos simplemente a listar
la relacion entre este enfoque y el de polinomios:
13
(1) El polinomio mnimo de una matriz es el polinomio monico de menor grado tal que
q(A) = 0. Su existencia y unicidad se deducen de argumentos similares a los dados
en el Lema de la Seccion 3. Es facil ver que si para cada
j
,
j
es el mnimo valor
tal que
dimE

j
(
j
) = m(
j
),
entonces
m(x) := (x
1
)

1
. . . (x
k
)

k
es el polinomio mnimo de la forma de Jordan de A y, por tanto, de A.
(2) Los divisores elementales de A son polinomios de la forma (x
j
)
r
construidos
seg un la siguiente regla:
por cada bloque de Jordan J
k
j
(
j
) se toma un polinomio (x
j
)
k
j
.
Esto quiere decir que hay tantos divisores elementales como cajas de Jordan y que
sus grados marcan los tama nos de las mismas.
(3) Una matriz es diagonalizable si y solo si su forma de Jordan es diagonal. Equivalen-
temente, si y solo si
E
2
() = E
1
(), valor propio de A.
De nuevo, esto equivale a que todos los divisores elementales sean de grado uno y a
que el polinomio mnimo no tenga races m ultiples.
7.2. Forma traspuesta
En bastantes contextos es com un encontrarse con la forma de Jordan compuesta de
cajas de la forma
_

1
.
.
.
.
.
.
1
_

_
,
es decir, con los 1s debajo de la diagonal. Si se ha sabido encontrar la base que lleva a la
forma de Jordan habitual, basta cambiar el orden de los vectores para pasar a esta forma.
En concreto si los vectores
u
1
, u
2
, . . . , u
p
crean una caja p p asociada a , los vectores
u
p
, u
p1
, . . . , u
1
dan la misma con los unos por debajo de la diagonal.
Consecuencia. Toda matriz es semejante a su traspuesta. Esto tambien se puede ver
notando que los n ucleos iterados de A y A

tienen las mismas dimensiones.

14
7.3. Forma de Jordan real
Si A es real, = + (con ,= 0) y ya se tiene la base calculada para la parte de
la forma de Jordan referida a , entonces para = basta conjugar los vectores
obtenidos,esto es,
u E
j
() u E
j
()
Por tanto, el n umero y tipo de cajas de Jordan es el mismo.
Si u
1
, . . . , u
p
son los vectores de la base que lleva a forma de Jordan relacionados con el
valor propio = + (con ,= 0), luego u
1
, . . . , u
p
son los relacionados con , entonces
se toman
v
1
= Re u
1
, v
2
= Imu
1
v
3
= Re u
2
, v
4
= Imu
2
.
.
.
v
2p1
= Re u
p
, v
2p
= Imu
p
(Re e Im denotan la parte real e imaginaria del vector). Con estos vectores, las cajas de
y se mezclan, dando lugar a cajas mas grandes, pero ya reales. Por ejemplo
_
+ 1
0 +
_
_
1
0
_
_

_
1 0
0 1
0 0
0 0
_

_
De esta forma, cuando hay valores propios complejos en una matriz real, se puede trabajar
con cajas de Jordan por bloques
J
k
(, ) :=
_

_
I
2

.
.
.
.
.
. I
2

_
, :=
_


_
, I
2
:=
_
1 0
0 1
_
7.4. Matrices simetricas
Proposicion. Toda matriz simetrica (hermitiana) es diagonalizable.
Dem. Vamos a limitarnos al caso simetrico. Si Au = u, con u C
n
y C. entonces
|u|
2
= u

Au = (Au)

u = |u|
2
,
luego es real. Basta ver ahora que para todo valor propio E
2
() = E
1
(), lo cual se
concluye de esta cadena de implicaciones:
u E
2
() = (A I)
2
u = 0
15
= u

(A I)
2
u = 0
= ((A I)u)

((A I)u) = 0
= |(A I)u|
2
= 0
= u E
1
().

by F.J. Sayas
Mathematics, Ho!, October, 2002
Fuentes y otras lecturas
Eugenio Hernandez.

Algebra y Geometra. AddisonWesley.
Rainer Kress. Linear Integral Operators. Springer Verlag.
Mathematics, Ho! is a personal project for individual and comunal achievement in higher Maths among Mathematicians, with a bias to
Applied Mathematics. It is a collection of class notes and small courses. I do not claim entire originality in these, since they have been much
inuenced by what I report as references. Conditions of use. You are allowed to use these pages and to share this material. This is by no
means aimed to be given to undergraduate students, since the style is often too dry. Anyway you are requested to quote this as a source
whenever you make extensive use of it. Note also that this is permanently work in progress.
16