D Formas canónicas

de Jordan

En todo lo que resta de este apéndice los espacios que se consideren serán espacios vectoriales sobre
un campo fijo K y las matrices que aparezcan tendrán componentes en ese campo. El lector que no
esté habituado a trabajar con campos generales deberı́a estudiar primero el apéndice B. Denotaremos en
todo este apartado la identidad multiplicativa del campo simplemente por 1 en lugar de 1K y el neutro
aditivo del campo, 0K , por 0.
Si T es un operador lineal en un espacio vectorial de dimensión finita, T no necesariamente es
diagonalizable; sin embargo, bajo condiciones muy generales, siempre es posible encontrar una base
del espacio de tal suerte que la representación matricial de T , relativa a esa base, tenga un formato muy
simple y fácil de manejar. Los formatos que estudiaremos son las llamadas formas canónicas de Jordan.

Definición D.1 (Bloques de Jordan) Una matriz cuadrada de orden k de la forma

⎡ ⎤
μ 1 0 0 ··· 0
⎢ 0 μ 1 0 ··· 0 ⎥
⎢ ⎥
⎢ .. .. .. .. ..⎥
⎢ . 0 . . . .⎥
Jk (μ) = ⎢ ⎥,
⎢ .. .. ⎥
⎢
⎢ . . ··· μ 1 0 ⎥
⎥
⎣ 0 0 ··· 0 μ 1 ⎦
0 0 ··· 0 0 μ

donde μ ∈ K (las componentes en la diagonal son todas iguales a μ, las componentes en la supradia-
gonal son todas iguales a la identidad multiplicativa y las demás componentes son nulas), se llama
bloque de Jordan de orden k.

Si μ = 0 en un bloque de Jordan, éste tiene la forma

⎡ ⎤
0 1 0 ··· 0
⎢ 0 0 1 ··· 0 ⎥
⎢ ⎥
⎢ ⎥
Nk = ⎢ ... ... . . . . . . ..
.⎥ (D.1)
⎢ ⎥
⎣ 0 0 ··· 0 1 ⎦
0 0 ··· 0 0

esto es, si Nk = [ni j ], ni(i+1) = 1, i = 1, 2, . . . , k − 1, y las demás componentes son nulas. Notemos que
para todo bloque de Jordan se tiene

Jk (μ) = μIk + Nk

y, en particular, J1 (μ) = [μ] y N1 = [0].

1055

Page (PS/TeX): 71 / 1055, COMPOSITE