En estas líneas demostraremos un pequeño resultado que se utiliza en los sistemas

diferenciales.
1 si j  i  1
Definición.- Se define la matriz N n  M n , n , N n  aij  por aij   .
0 en otro caso
Más explícitamente:
0 1 0  0
 
0 0 1  0
 
0 0 0  0
 
     1
 
0 0 0 0 0
Es decir con 1’s encima de la diagonal principal y cero en otra parte.

Teorema.- La matriz N k es nilpotente de orden k , k    k  2 . Es decir N kk  0 .

Prueba.- Hacemos inducción sobre el tamaño de la matriz.

0 1 0 10 1 0 0
Para k  2 , N 2    se verifica fácilmente N 22     
0 0 0 00 0 0 0
Entonces, suponemos cierto para k  n esto significa que

0 0 0 0

n
 1 0  0 0 
  
0 0 1  0 0 0 0  0
   
N nn  0 0 0  0  0 0 0  0
   
     1      0
   
0 0 0 0 0 0 0 0 0 0

El cálculo para k  n  1 lo vamos a simplificar utilizando la multiplicación matricial

por bloques. N n1 puede verse de manera más simple como
 N A
N n1   n 
 B 0 
0
 
0
Con A      n1 , B  0 0  0  1n , el lector puede fácilmente verificar los
  
 
1
siguientes productos: BN n  B , BA  0  , AB  0n , n , 0  B  B , A0   0   n1 .
Entonces aplicando estos resultados y procediendo de manera recursiva
 N n A N n A  N n2 N n A
N n1     
 B 0  B 0   B
2

0 
 N n1 N nn A
Se deduce que N nn11   n  además por hipótesis N n es nilpotente de orden
 B 0 
n , de donde es obvio que N nn1  0  M n ,n . Por lo tanto N nn11  0  M n1,n1 . 
Medrano Rocha Dodovrosky Francisco
Carrera de Matemáticas
Universidad Simón I. Patiño.