APÉNDICE D Formas canónicas de Jordan 1063

Entonces 0E = T k−2 (α1u1 + · · · + αrur + β1 T (w1 ) + · · · + βt T (wt ))

r t
= ∑ α j T k−2 (u j ) + ∑ β j T k−1 (w j )
j=1 j=1
t
= 0E + ∑ β j T k−1 (w j )
j=1
t
= ∑ β j T k−1 (w j )
j=1
 
t
=T k−1
∑ β j w j
j=1

implica β1 w1 + · · · + βt wt ∈ V ; Por tanto, existen γ1 , . . . , γr , δ1 , . . . , δs ∈ K tales que

γ1u1 + · · · + γrur + δ1υ1 + · · · + δsυs + β1 w1 + · · · + βt wt = 0E .

Luego, como {u1 , . . . ,ur , ,υ1 , . . . ,υs ,w1 , . . . ,wt } es linealmente independiente, se desprende β j = 0
para todo j. Al sustituir los valores β j = 0 en (D.6) se obtiene α1u1 + · · · + αrur = 0E ; finalmente,
puesto que los vectores u j son linealmente independientes, los α j deben ser también nulos. Q

P Nota D.2 Observemos que en la demostración de la inclusión en V e independencia lineal de los

vectores T (w1 ), . . . , T (wt ) se puede prescindir de la hipótesis de la independencia lineal y pertenencia
al espacio U de los vectores u j ; es decir, si V , W y los vectores υ j y wk son como antes, entonces los
vectores T (wk ) pertenecen a V y son linealmente independientes.

A continuación establecemos y demostramos el teorema para representar matricialmente un opera-

dor nilpotente por medio de una matriz diagonal por bloques básicos nilpotentes; es decir, una forma
canónica nilpotente.

Teorema D.5 (Formas canónicas nilpotentes)

1. Sean E un espacio vectorial de dimensión finita n y T : E → E un operador lineal nilpotente

con ı́ndice de nilpotencia ν. Sean Sk = Ker(T k ) y mk = dim(Sk ), k = 1, 2, . . . , ν. Entonces existe
una base B de E tal que la representación matricial de T , relativa a esa base, es una matriz
diagonal por bloques; donde cada bloque N j de la diagonal es una matriz nilpotente básica.
Además de los bloques nilpotentes N j hay exactamente:
⎫
• mν − mν−1 ≥ 1 bloques de orden ν, ⎪
⎪
⎪
• 2mν−1 − mν−2 − mν bloques de orden ν − 1, ⎪ ⎪
⎪
.. ⎪
⎬
. (D.7)
• 2m2 − m1 − m3 bloque de orden 2, ⎪
⎪
⎪
⎪
• 2m1 − m2 bloques de orden 1, ⎪
⎪
⎪
⎭
• m1 , la nulidad de T , bloques N j en total.

2. Sea A una matriz cuadrada de orden n que es nilpotente con ı́ndice de nilpotencia ν. Sea Sk
el espacio nulo de Ak y mk = Nul(Ak ), la nulidad de Ak , para k = 1, 2, . . . , ν. Entonces A es
similar a una matriz diagonal por bloques; donde cada bloque N j de la diagonal es una matriz
nilpotente básica y además se cumplen nuevamente las relaciones (D.7) para los bloques N j
(obviamente hay que poner A en lugar de T en la última lı́nea).

Page (PS/TeX): 79 / 1063, COMPOSITE