Introducción

En las notas anteriores hemos desarrollado el Teorema de Jordan, y ahora veremos cómo podemos clasificar matrices por similaridad.

Sección

Supongamos que $A$ es una matriz similar a $$\left(\begin{array}{cccc}{J}_{k_1}({\lambda }_1)& 0& \cdots & 0\\ 0& J_{k_2}({\lambda }_2)& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & J_{k_d}({\lambda }_d)\end{array}\right)$$

Entonces el polinomio característico de $A$ es $${\chi }_A(X)=\prod _{i=1}^d{\chi }_{J_{k_i}}({\lambda }_i)(X).$$

Ahora, dado que $J_n$ es nilpotente tenemos ${\chi }_{J_{k_i}}(X)=X^n$ y así $${\chi }_{J_n(\lambda )}(X)=(X–\lambda {)}^n.$$

Se sigue que $${\chi }_A(X)=\prod _{i=1}^d(X–{\lambda }_i{)}^{k_i}$$ y así necesariamente ${\lambda }_1,\dots ,{\lambda }_d$ son todos eigenvalores de $A$. Nota que no asumimos que ${\lambda }_1,\dots ,{\lambda }_d$ sean distintos a pares, por lo que no podemos concluir de la igualdad anterior que $k_1,\dots ,k_d$ sean las multiplicidades algebráicas de los eigenvalores de $A$. Esto no es verdad en general: varios bloques de Jordan correspondientes a un dado eigenvalor pueden aparecer. El problema de la unicidad se resuelve completamente por el siguiente:

Teorema: Supongamos que una matriz $A\in M_n(F)$ es similar a $$\left(\begin{array}{cccc}{J}_{k_1}({\lambda }_1)& 0& \cdots & 0\\ 0& J_{k_2}({\lambda }_2)& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & J_{k_d}({\lambda }_d)\end{array}\right)$$ para algunos enteros positivos $k_1,\dots ,k_d$ que suman $n$ y algunas ${\lambda }_1,\dots ,{\lambda }_d\in F$. Entonces

1. Cada ${\lambda }_i$ es un eigenvalor de $A$.
2. Para cada eigenvalor $\lambda$ de $A$ y cada entero positivo $m$, el número de bloques de Jordan $J_m(\lambda )$ entre $J_{k_1}({\lambda }_1),\dots ,J_{k_d}({\lambda }_d)$ is $$N_m(\lambda )=rango(A–\lambda I_n{)}^{m+1}–2rango(A–\lambda I_n{)}^m+rango(A–\lambda I_n{)}^{m-1}$$ y depende sólo en la clase de similaridad de $A$.

Demostración. Ya vimos el inciso 1. La prueba del inciso 2 es muy similar a la solución del Problema __. Más precisamente, sea $B=A–\lambda I_n$ y observa que $B^m$ es similar a $\left(\begin{array}{cccc}(J_{k_1}({\lambda }_1)–\lambda I_{k_1}{)}^m& 0& \cdots & 0\\ 0& (J_{k_2}({\lambda }_2)–\lambda I_{k_2}{)}^m& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & (J_{k_d}({\lambda }_d)–\lambda I_{k_d}{)}^m\end{array}\right)$, por lo que ${\displaystyle rango(B^m)=\sum _{i=1}^{d}rango(J_{k_i}({\lambda }_i)–\lambda I_{k_i}{)}^m}$.

Ahora, el rango de $(J_n(\lambda )–\mu I_n{)}^m$ es

• $n$ si $\lambda \ne \mu$, como en este caso $$J_n(\lambda )–\mu I_n=J_n+(\lambda –\mu )I_n$$ es invertible,
• $n-m$ para $\lambda =\mu$ y $m\le n$, como se sigue del Problema __.
• 0 para $\lambda =\mu$ y $m>n$, dado que $J_n^n=O_n$.

De ahí, si $N_m(\lambda )$ es el número de bloques de Jordan $J_m(\lambda )$ entre $J_{k_1}({\lambda }_1),\dots ,J_{k_d}({\lambda }_d)$, entonces $$rango(B^m)=\sum _{\begin{array}{c}{\lambda }_i=\lambda \\ k_i\ge m\end{array}}(k_i–m)+\sum _{{\lambda }_i\ne \lambda }{k}_i,$$ luego sustrayendo esas igualdades para $m-1$ y $m$ se tiene que $$rango(B^{m-1})–rango(B^m)=\sum _{\begin{array}{c}{\lambda }_i=\lambda \\ k_i\ge m\end{array}}1$$ y finalmente $$\begin{array}{r}rango(B^{m-1})–2rango(B^m)+rango(B^{m+1})=\\ (rango(B^{m-1})–rango(B^m))–(rango(B^m)–rango(B^{m+1}))=\\ \sum _{\begin{array}{c}{\lambda }_i=\lambda \\ k_i=m\end{array}}1=N_m(\lambda )\end{array}$$ como queríamos.

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

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

1. ¿Cuáles son las posibles formas canónicas de Jordan de una matriz cuyo polinomio característico es $(X-1)(X-2{)}^2$?
2. Considera una matriz $A\in M_6(\mathbb{C})derango4cuyopolinomiomínimoes$X(X-1)(X-2)^{2}$.
   1. ¿Cuáles son los eigenvalores de $A$?
   2. ¿$A$ es diagonalizable?
   3. ¿Cuáles son las posibles formas canónicas de Jordan de $A$?

Más adelante…

En la siguiente nota veremos algunos ejemplos de cómo funciona todo esto.

Entradas relacionadas

• Ir a Álgebra Lineal II
• Entrada anterior del curso: Teorema de formas canónicas de Jordan
• Siguiente entrada del curso: Otras aplicaciones de formas canónicas 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»