Introducción

En la entrada anterior enunciamos el teorema de la forma canónica de Jordan para matrices nilpotentes. Demostramos una parte: la existencia de la forma canónica de Jordan. Para ello, nos enfocamos en el teorema en su versión en términos de transformaciones lineales. En esta entrada nos enfocaremos en demostrar la unicidad de la forma canónica de Jordan. Curiosamente, en este caso será un poco más cómodo trabajar con la forma matricial del teorema. Para recordar lo que queremos probar, volvemos a poner el enunciado del teorema a continuación. Lo que buscamos es ver que los enteros $k_1,\dots ,k_d$ que menciona el teorema son únicos.

Teorema. Sea $A$ una matriz nilpotente en $M_n(F)$. Entonces existen únicos enteros $k_1,\dots ,k_d$ tales que $$\begin{array}{rl}& k_1+k_2+\dots +k_d=n,\\ & k_1\le k_2\le \dots \le k_d,\end{array}$$ y para los cuales $A$ es similar a la siguiente matriz de bloques: $$\left(\begin{array}{cccc}{J}_{0,k_1}& 0& \cdots & 0\\ 0& J_{0,k_2}& \cdots & 0\\ ⋮& & \ddots & ⋮\\ 0& 0& \cdots & J_{0,k_d}\end{array}\right).$$

Nuestra estrategia para mostrar la unicidad será el estudio del rango de las potencias de $A$. Si $A$ es similar una matriz en forma canónica $J$, entonces existe $P$ invertible tal que $A=P^{-1}JP$, de donde se puede mostrar indutivamente que $A^k=P^{-1}{J}^{k}P$, mostrando que $A^k$ y $J^k$ son similares. Además, sabemos por teoría anterior que matrices similares tienen el mismo rango. De modo que si $A$ es similar a $J$ entonces todas las potencias de $A$ tienen el mismo rango que todas las potencias de $J$. Con esta idea en mente estudiaremos cómo es el rango de matrices de bloques de Jordan de eigenvalor cero.

Rango de potencias de bloques de Jordan

Claramente el rango del bloque de Jordan $J_{0,n}$ es $n-1$, pues ya está en forma escalonada reducida y tiene $n-1$ vectores distintos de cero. El siguiente resultado generaliza esta observación.

Proposición. Sea $n$ un entero positivo, $F$ un campo y $J_{0,n}$ el bloque de Jordan de eigenvalor $0$ y tamaño $n$ en $M_n(F)$. Para $k=1,\dots ,n$ se tiene que el rango de $J_{0,n}^k$ es igual a $n-k$. Para valores de $k$ más grandes, el rango es igual a cero.

Demostración. Si $e_1,\dots ,e_n$ es la base canónica de $F^n$, tenemos que $J_{0,n}{e}_i=e_{i-1}$ para $i=2,\dots ,n$ y $J_{0,n}{e}_1=0$. De manera intuitiva, la multiplicación matricial por $J_{0,n}$ va «desplazando los elementos de la base $e_1,\dots ,e_n$ a la izquierda, hasta sacarlos». De este modo, $J_{0,n}^k$ para $k=1,\dots ,n$ hace lo siguiente:

$$J_{0,n}^k{e}_i=\{\begin{array}{ll}0& \text{para }k\ge i\\ e_{i-k}& \text{para }k\le i-1\text{.}\end{array}$$

Así, $J_{0,n}^k$ manda a la base $e_1,\dots ,e_n$ a los vectores $e_1,\dots ,e_{n-k}$ y a $k$ copias del vector cero. Como los primeros son $n-k$ vectores linealmente independientes, obtenemos que el rango de $J_{0,n}^k$ es $n-k$.

Para valores de $k$ más grandes la potencia se hace la matriz cero, así que su rango es cero.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Rango de potencias de matrices de bloques de Jordan

¿Qué sucede si ahora estudiamos el rango de las potencias de una matriz de bloques de Jordan? Consideremos, por ejemplo, la siguiente matriz, en donde $k_1,\dots ,k_d$ son enteros positivos de suma $n$ y con $k_1\le \dots \le k_d$:

$$J=\left(\begin{array}{cccc}{J}_{0,k_1}& 0& \cdots & 0\\ 0& J_{0,k_2}& \cdots & 0\\ ⋮& & \ddots & ⋮\\ 0& 0& \cdots & J_{0,k_d}\end{array}\right).$$

Por un lado, es sencillo elevar esta matriz a potencias, pues simplemente los bloques se elevan a las potencias correspondientes. En símbolos:

$$J^r=\left(\begin{array}{cccc}{J}_{0,k_1}^r& 0& \cdots & 0\\ 0& J_{0,k_2}^r& \cdots & 0\\ ⋮& & \ddots & ⋮\\ 0& 0& \cdots & J_{0,k_d}^r\end{array}\right).$$

¿Cuál es el rango de esta potencia? Nos conviene cambiar un poco de notación. En vez de considerar a los $k_i$ por separado, los agruparemos de acuerdo a su valor, que puede ir de $1$ a $n$. Así, para cada $j=1,\dots ,n$ definimos $m_j$ como la cantidad de valores $k_i$ iguales a $j$. Bajo esta notación, la igualdad $k_1+\dots +k_d=n$ se puede reescribir como $$m_1+2m_2+3m_3+\dots +n{m}_n=n.$$

Una primera observación es que el rango de $J$ es simplemente la suma de los rangos de cada una de las $J_{0,k_i}$. Cada una de éstas contribuye con rango $k_i-1$. Así, en términos de las $m_j$ tenemos lo siguiente:

$$\begin{array}{rl}\text{rango}(J)& =\sum _{i=1}^d(k_i-1)\\ & =\sum _{j=1}^n(j-1)m_j\\ & =0\cdot m_1+1\cdot m_2+2\cdot m_3+\dots +(n-1)\cdot m_n.\end{array}$$

De manera similar,

$$\begin{array}{rl}\text{rango}(J^r)& =\sum _{i=1}^d\text{rango}(J_{0,k_i}^r)\\ & =\sum _{j=1}^n{m}_j\text{rango}(J_{0,j}^r).\end{array}$$

El término $\text{rango}(J_{0,j}^r)$ lo podemos calcular con la proposición de la sección anterior, cuidando la restricción entre el tamaño y las potencias que queremos. De aquí y de la restricción original para la las $m_j$ salen todas las siguientes igualdades:

$$\begin{array}{rl}n& =1\cdot m_1+2\cdot m_2+3\cdot m_3+\dots +n\cdot m_n\\ \text{rango}(J)& =0\cdot m_1+1\cdot m_2+2\cdot m_3+\dots +(n-1)\cdot m_n\\ \text{rango}(J^2)& =0\cdot m_1+0\cdot m_2+1\cdot m_3+\dots +(n-2)\cdot m_n\\ \text{rango}(J^3)& =0\cdot m_1+0\cdot m_2+0\cdot m_3+\dots +(n-3)\cdot m_n\\ & ⋮\\ \text{rango}(J^{n-1})& =0\cdot m_1+0\cdot m_2+0\cdot m_3+\dots +1\cdot m_n.\end{array}$$

A partir de aquí el rango de $J^n$ es $0$. Esto nos da una manera de entender con mucha precisión el rango de cualquier potencia de una matriz diagonal por bloques hecha con bloques de Jordan.

Unicidad de la forma canónica de Jordan

Estamos listos para justificar la unicidad de la forma canónica de Jordan. Una matriz diagonal por bloques hecha por bloques de Jordan queda totalmente determinada por los valores de $m_j$ de la sección anterior. Supongamos que $A$ tiene como forma canónica de Jordan tanto a una matriz $J$ con valores $m_j$, como a otra matriz $J^{\prime }$ con valores $m_j^{\prime }$.

Como dos matrices similares cumplen que sus potencias son todas del mismo rango, entonces para cualquier $r$ de $1$ a $n-1$ se cumple que $$\text{rango}(J^r)=\text{rango}(A^r)=\text{rango}(J^{\prime r}).$$ Así, tanto $(m_1,\dots ,m_n)$ como $({m_1}^{\prime },\dots ,{m_n}^{\prime })$ son soluciones al siguiente sistema de ecuaciones en variables $x_1,\dots ,x_n$.

$$\begin{array}{rl}n& =1\cdot x_1+2\cdot x_2+3\cdot x_3+\dots +n\cdot x_n\\ \text{rango}(A)& =0\cdot x_1+1\cdot x_2+2\cdot x_3+\dots +(n-1)\cdot x_n\\ \text{rango}(A^2)& =0\cdot x_1+0\cdot x_2+1\cdot x_3+\dots +(n-2)\cdot x_n\\ \text{rango}(A^3)& =0\cdot x_1+0\cdot x_2+0\cdot x_3+\dots +(n-3)\cdot x_n\\ & ⋮\\ \text{rango}(A^{n-1})& =0\cdot x_1+0\cdot x_2+0\cdot x_3+\dots +1\cdot x_n.\end{array}$$

Pero este es un sistema de $n$ ecuaciones en $n$ variables y con matriz asociada de determinante $1$, así que su solución es única. Esto muestra que $(m_1,\dots ,m_n)=({m_1}^{\prime },\dots ,{m_n}^{\prime })$. Entonces, en $J$ y $J^{\prime }$ aparecen la misma cantidad de bloques de cada tamaño. Como además los bloques van de tamaño menor a mayor tanto en $J$ como en $J^{\prime }$, concluimos que $J=J^{\prime }$.

Como consecuencia de toda esta discusión, obtenemos de hecho lo siguiente.

Corolario. Dos matrices nilpotentes son semejantes si y sólo si tienen la misma forma canónica de Jordan. Distintas formas canónicas de Jordan dan distintas clases de semejanza.

Una receta para encontrar la forma canónica de Jordan de nilpotentes

La demostración anterior no sólo demuestra la unicidad de la forma canónica de Jordan. Además, nos dice exactamente cómo obtenerla. Para ello:

1. Calculamos todas las potencias de $A$ hasta $n-1$.
2. Usando reducción gaussiana (o de otro modo), calculamos el rango de cada una de estas potencias.
3. Resolvemos el sistema de ecuaciones en variables $x_j$ de la sección anterior.
4. La forma canónica de Jordan de $A$ tiene $x_j$ bloques de tamaño $j$, que debemos colocar en orden creciente de tamaño.

Ejemplo. Consideremos la siguiente matriz en $M_7(\mathbb{R})$: $$C=\left(\begin{array}{ccccccc}-27& 266& 1& -37& 135& -125& 53\\ 217& -1563& 118& 33& -1251& 1020& 361\\ 236& -1784& 188& 16& -1512& 1234& 585\\ 11& -10& -25& 12& 28& -29& -80\\ -159& 1133& -114& -98& 878& -690& -232\\ 197& -1409& 88& -19& -1151& 952& 348\\ -230& 1605& -179& -100& 1316& -1031& -440\end{array}\right)$$

Sus números son muy complicados, sin embargo, nos podemos auxiliar de herramientas computacionales para encontrar sus potencias. Soprendentemente esta es una matriz nilpotente de índice $3$ pues:

$$C^2=\left(\begin{array}{ccccccc}0& -10209& -3403& -6806& -6806& 10209& 0\\ 0& 14691& 4897& 9794& 9794& -14691& 0\\ 0& 2739& 913& 1826& 1826& -2739& 0\\ 0& 7221& 2407& 4814& 4814& -7221& 0\\ 0& -14193& -4731& -9462& -9462& 14193& 0\\ 0& 10956& 3652& 7304& 7304& -10956& 0\\ 0& -11952& -3984& -7968& -7968& 11952& 0\end{array}\right)$$

y

$$C^3=\left(\begin{array}{ccccccc}0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\end{array}\right).$$

Usando reducción gaussiana, o herramientas computacionales, obtenemos que el rango de $C$ es $4$ y que el rango de $C^2$ es $2$. A partir de $k\ge 3$ obtenemos que $\text{rango}(C^k)=\text{rango}(O_7)=0$. Si queremos encontrar la forma canónica de Jordan de $C$, necesitamos entonces resolver el siguiente sistema de ecuaciones, que nos dirá cuántos bloques $x_j$ de tamaño $j$ hay:

$$\begin{array}{rl}7& =x_1+2x_2+3x_3+4x_4+5x_5+6x_6+7x_7\\ 4& =x_2+2x_3+3x_4+4x_5+5x_6+6x_7\\ 2& =x_3+2x_4+3x_5+4x_6+5x_7\\ 0& =x_4+2x_5+3x_6+4x_7\\ 0& =x_5+2x_6+3x_7\\ 0& =x_6+2x_7\\ 0& =x_7\end{array}$$

Para resolverlo lo mejor es proceder «de abajo hacia arriba». Las últimas cuatro ecuaciones nos dicen que $x_7=x_6=x_5=x_4=0$. Así, el sistema queda un poco más simple, como:

$$\begin{array}{rl}7& =x_1+2x_2+3x_3\\ 4& =x_2+2x_3\\ 2& =x_3.\end{array}$$

De la última igualdad, tenemos $x_3=2$, lo que nos dice que la forma canónica de Jordan tendría dos bloques de tamaño $3$. Sustituyendo en la penúltima igualdad obtenemos que $4=x_2+4$, de donde $x_2=0$. Así, no tendremos ningún bloque de tamaño $2$. Finalmente, sustituyendo ambos valores en la primera igualdad obtenemos que $7=x_1+0+6$. De aquí obtenemos $x_1=1$, así que la forma canónica de Jordan tendrá un bloque de tamaño $1$. En resumen, la forma canónica de Jordan es la matriz $$\left(\begin{array}{ccc}{J}_{0,1}& 0& 0\\ 0& J_{0,3}& 0\\ 0& 0& J_{0,3}\end{array}\right).$$ Explícitamente, ésta es la siguiente matriz:

$$\left(\begin{array}{ccccccc}0& 0& 0& 0& 0& 0& 0\\ 0& 0& 1& 0& 0& 0& 0\\ 0& 0& 0& 1& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 1& 0\\ 0& 0& 0& 0& 0& 0& 1\\ 0& 0& 0& 0& 0& 0& 0\end{array}\right).$$

Para verla un poco más «como de bloques» la podemos reescribir de la siguiente manera:

$$\left(\begin{array}{ccccccc}0& 0& 0& 0& 0& 0& 0\\ 0& 0& 1& 0& 0& 0& 0\\ 0& 0& 0& 1& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 1& 0\\ 0& 0& 0& 0& 0& 0& 1\\ 0& 0& 0& 0& 0& 0& 0\end{array}\right).$$

$\mathrm{△}$

Más adelante…

Hemos demostrado la existencia y unicidad de la forma canónica de Jordan para matrices nilpotentes. Este es un resultado interesante por sí mismo. Sin embargo, también es un paso intermedio para un resultado más general. En las siguientes entradas hablaremos de una versión más general del teorema de Jordan, para matrices tales que su polinomio característico se descomponga totalmente en el campo en el que estemos trabajando.

Tarea moral

1. Considera la siguiente matriz: $$M=\left(\begin{array}{cccc}11& 11& -11& -11\\ -1& -1& 1& 1\\ 3& 3& -3& -3\\ 7& 7& -7& -7\end{array}\right).$$
   1. Muestra que $M$ es una matriz nilpotente y determina su índice.
   2. ¿Cuál es la forma canónica de Jordan de $M$?
2. Describe las posibles formas canónicas de Jordan para una matriz nilpotente $A\in M_5(F)$ de índice $2$.
3. Describe las posibles formas canónicas de Jordan para una matriz nilpotente $A\in M_7(F)$ de rango $5$.
4. Encuentra de manera explícita la inversa de la siguiente matriz en $M_n(\mathbb{R})$ y usa esto para dar de manera explícita la solución al sistema de ecuación en las variables $x_i$ que aparece en la entrada: $$\left(\begin{array}{cccccc}1& 2& 3& \cdots & n-1& n\\ 0& 1& 2& \cdots & n-2& n-1\\ 0& 0& 1& \cdots & n-3& n-2\\ & ⋮& & \ddots & & ⋮\\ 0& 0& 0& \cdots & 1& 2\\ 0& 0& 0& \cdots & 0& 1\end{array}\right).$$
5. Sea $A$ una matriz nilpotente en $M_n(\mathbb{R})$. Muestra que las matrices $A$ y $5A$ son similares entre sí.

Entradas relacionadas

• Ir a Álgebra Lineal II
• Entrada anterior del curso: Existencia de la forma canónica de Jordan para nilpotentes
• Siguiente entrada del curso: Existencia de la forma canónica de Jordan

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»