Introducción

En las notas anteriores desarrollamos teoría interesante acerca de las formas canónicas de Jordan, ahora vamos a ver algunos ejemplos de todo eso.

Ejemplo 1

Considera la matriz $$A=\left(\begin{array}{ccccc}1& 0& 0& 0& 2\\ 0& 0& 1& 0& 0\\ 0& 0& 0& 0& 0\\ 0& 1& 0& 0& 0\\ -1& 0& 0& 0& -2\end{array}\right)$$

Calculamos ${\chi }_A(X)$ expandiendo $det(X{I}_5–A)$ con respecto a la tercera fila y obtenemos (usando de nuevo la expansión respecto a la segunda fila en el nuevo determinante) $$\begin{array}{rl}{\chi }_A(X)& =X\left|\begin{array}{cccc}X-1& 0& 0& -2\\ 0& X& 0& 0\\ 0& -1& X& 0\\ 1& 0& 0& X+2\end{array}\right|\\ & =X^2\left|\begin{array}{ccc}X-1& 0& 2\\ 0& X& 0\\ 1& 0& X+2\end{array}\right|\\ & =X^3\left|\begin{array}{cc}X-1& -2\\ 1& X+2\end{array}\right|\\ & =X^4(X+1)\end{array}$$

El eigenvalor $-1$ tiene multiplicidad algebraica 1, por lo que hay un solo bloque de Jordan asociado con este eigenvalor, de tamaño 1. Ahora, veamos qué pasa con el eigenvalor 0 que tiene multiplicidad algebraica 4. Sea $N_m$ el número de bloques de Jordan de tamaño $m$ asociados con ese eigenvalor. Por el Teorema visto en la nota anterior tenemos que $$N_1=rango(A^2)–2rango(A)+5,$$ $$N_2=rango(A^3)–2rango(A^2)+rango(A)$$ etcétera. Puedes checar fácilmente que $A$ tiene rango 3.

Luego, calculemos $A^2=\left(\begin{array}{ccccc}-1& 0& 0& 0& -2\\ 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0\\ 0& 0& 1& 0& 0\\ 1& 0& 0& 0& 2\end{array}\right)$, $A^3=\left(\begin{array}{ccccc}1& 0& 0& 0& 2\\ 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0\\ -1& 0& 0& 0& -2\end{array}\right)$.

Nota que $A^2$ tiene rango 2 (pues una base del generado por sus filas está dada por la primera y cuarta fila) y $A^3$ tiene rango 1. De donde, $$N_1=2-2\cdot 3+5=1,$$ por lo que hay un bloque de Jordan de tamaño 1 y $$N_2=1-2\cdot 2+3=0,$$ entonces no hay un bloque de Jordan de tamaño 2. Dado que la suma de los tamaños de los bloques de Jordan asociados con el eigenvalor 0 es 4, y como ya sabemos que hay un bloque de tamaño 1 y no hay de tamaño 2, deducimos que hay un bloque de tamaño 3 y que la forma canónica de Jordan de $A$ es $$\left(\begin{array}{ccccc}-1& 0& 0& 0& 0\\ 0& 0& 0& 0& 0\\ 0& 0& 0& 1& 0\\ 0& 0& 0& 0& 1\\ 0& 0& 0& 0& 0\end{array}\right).$$

Ejemplo 2

Más adelante…

Con esto finalizamos el curso de Álgebra Lineal II, lo que sigue es el maravilloso mundo del Álgebra Moderna.

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. Usa el Teorema de Jordan para probar que cualquier matriz $A\in M_n(\mathbb{C})$ es similar a su transpuesta.
2. Prueba que si $A\in M_n(\mathbb{C})$ es similar a $2A$, entonces $A$ es nilpotente.
3. Usa el teorema de Jordan para probar que si $A\in M_n(\mathbb{C})$ es nilpotente, entonces $A$ es similar a $2A$.

Entradas relacionadas

• Ir a Álgebra Lineal II
• Entrada anterior del curso: Clasificación de matrices por similaridad

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»