Archivo de la etiqueta: Jordan

Álgebra Lineal II: Unicidad de la forma canónica de Jordan

Por Leonardo Ignacio Martínez Sandoval

Introducción

En la entrada anterior enunciamos el teorema de la forma canónica de Jordan y demostramos la existencia de dicha forma bajo ciertas hipótesis. Como corolario, quedó pensar cuál es la versión para matrices. En esta entrada enunciamos la versión para matrices (totalmente equivalente a la de transformaciones lineales) y nos enfocamos en mostrar la unicidad de la forma canónica de Jordan.

Unicidad de la forma canónica de Jordan

El siguiente teorema es totalmente análogo al enunciado en la entrada anterior. Recuerda que $\leq$ es un orden total fijo de $F$ (en $R$ , es el orden usual).

Teorema. Sea $A$ una matriz $M_{n} (F)$ cuyo polinomio característico $χ_{A} (X)$ se divide en $F$ . Entonces, existen únicos valores $λ_{1} \leq \dots \leq λ_{n}$ en $F$ y únicos enteros $k_{1}, \dots, k_{d}$ tales que $\begin{aligned} k_{1} + k_{2} + \dots + k_{d} = n, \\ k_{1} \leq k_{2} \leq \dots \leq k_{d}, \end{aligned}$ para los cuales $A$ es similar a la siguiente matriz de bloques de Jordan:

$(\begin{matrix} J_{λ_{1}, k_{1}} & 0 & \dots & 0 \\ 0 & J_{λ_{2}, k_{2}} & \dots & 0 \\ ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & J_{λ_{d}, k_{d}} \end{matrix}) .$

Usaremos esta versión para demostrar la unicidad, lo cual también implicará la unicidad para la versión de transformaciones lineales.

Mediante la demostración de existencia de la entrada anterior, llegamos a que si el polinomio característico de $A$ es

$χ_{A} (X) = (X - λ_{1})^{m_{1}} (X - λ_{2})^{m_{2}} \dots (X - λ_{r})^{m_{r}},$

entonces $A$ es similar a una matriz conformada por matrices de bloques de Jordan $J_{1}, J_{2}, \dots, J_{r}$ , en donde cada $J_{i}$ es de tamaño $m_{i}$ y de bloques de Jordan de eigenvalor $λ_{i}$ .

Si $A$ fuera similar a otra matriz $K$ de bloques de Jordan, podríamos agrupar por eigenvalores de los bloques $κ_{1} < \dots < κ_{s}$ en matrices de bloques de Jordan tamaños $o_{1}, \dots, o_{s}$ , digamos $K_{1}, \dots, K_{s}$ . El polinomio característico de $K$ sería entonces

$χ_{K} (X) = (X - κ_{1})^{o_{1}} (X - κ_{2})^{o_{2}} \dots (X - κ_{s})^{o_{s}} .$

Pero $K$ es similar a $A$ , y entonces deben tener el mismo polinomio característico, así que conciden en raíces y multiplicidad. Esto demuestra que $r = s$ y como los $λ_{i}$ y los $κ_{i}$ están ordenados, también demuestra las igualdades $λ_{i} = κ_{i}$ y $m_{i} = o_{i}$ para todo $i \in {1, \dots, r} .$

Sólo nos queda argumentar la igualdad entre cada $J_{i}$ y $K_{i}$ para $i \in {1, \dots, r}$ . Pero ambas una forma canónica de Jordan para la transformación nilpotente que se obtiene de restringir $T_{A - λ_{i} I}$ a $\ker (T_{A - λ_{i} I}^{m_{i}})$ . Por la unicidad que demostramos para la forma canónica de Jordan para transformaciones nilpotentes, concluimos que $J_{i} = K_{i}$ . Esto termina la demostración de la unicidad de la forma canónica de Jordan.

Una receta para encontrar la forma canónica de Jordan

Ya con el teorema demostrado, ¿cómo juntamos todas las ideas para encontrar la forma canónica de Jordan de una matriz $A$ en $M_{n} (F)$ cuyo polinomio característico se divida en $F$ ? Podemos proceder como sigue.

Encontramos el polinomio característico $χ_{A} (X)$ y su factorización, digamos $χ_{A} (X) = (X - λ_{1})^{m_{1}} (X - λ_{2})^{m_{2}} \dots (X - λ_{r})^{m_{r}} .$
Nos enfocamos en encontrar las matrices de bloque de Jordan $J_{i}$ para cada eigenvalor $λ_{i}$ . Sabemos que la matriz $J_{i}$ será de tamaño $m_{i}$ .
Para saber exactamente cuál matriz de bloques de Jordan es $J_{i}$ , pensaremos en que tiene $b_{1}, b_{2}, \dots, b_{m_{i}}$ bloques de Jordan de eigenvalor $λ_{i}$ de tamaños $1, 2, \dots, m_{i}$ . Consideramos la matriz $A_{i} = A - λ_{i} I$ . Los $b_{1}, \dots, b_{m_{i}}$ son la solución al siguiente sistema de ecuaciones en las variables $x_{1}, \dots, x_{m_{i}}$ .
$\begin{aligned} m_{i} & = 1 \cdot x_{1} + 2 \cdot x_{2} + 3 \cdot x_{3} + \dots + m_{i} \cdot x_{m_{i}} \\ m_{i} - n + rango (A_{i} - λ_{i} I) & = 0 \cdot x_{1} + 1 \cdot x_{2} + 2 \cdot x_{3} + \dots + (m_{i} - 1) \cdot x_{m_{i}} \\ m_{i} - n + rango ({A_{i} - λ_{i} I}^{2}) & = 0 \cdot x_{1} + 0 \cdot x_{2} + 1 \cdot x_{3} + \dots + (m_{i} - 2) \cdot x_{m_{i}} \\ m_{i} - n + rango ({A_{i} - λ_{i} I}^{3}) & = 0 \cdot x_{1} + 0 \cdot x_{2} + 0 \cdot x_{3} + \dots + (m_{i} - 3) \cdot x_{m_{i}} \\ ⋮ \\ m_{i} - n + rango ({A_{i} - λ_{i} I}^{m_{i} - 1}) & = 0 \cdot x_{1} + 0 \cdot x_{2} + 0 \cdot x_{3} + \dots + 1 \cdot x_{m_{i}} . \end{aligned}$
Juntamos todos los $J_{i}$ en una misma matriz y los ordenamos apropiadamente.

El paso número $3$ está motivado por lo que sabemos de las matrices nilpotentes, y es bueno que pienses por qué se estudia específicamente ese sistema de ecuaciones para cada eigenvalor $λ_{i}$ y multiplicidad $m_{i}$ .

Ejemplo de obtener la forma canónica de Jordan

Veamos un ejemplo del procedimiento descrito en la sección anterior.

Ejemplo. Encontraremos la forma canónica de Jordan de la siguiente matriz: $A = (\begin{matrix} - 226 & - 10 & - 246 & 39 & 246 \\ 234 & 23 & 236 & - 46 & - 236 \\ - 198 & - 20 & - 192 & 41 & 195 \\ - 93 & 10 & - 122 & 10 & 122 \\ - 385 & - 30 & - 393 & 74 & 396 \end{matrix}) .$

Con herramientas computacionales, podemos darnos cuenta de que el polinomio característico de esta matriz es $χ_{A} (X) = X^{5} - 11 X^{4} + 46 X^{3} - 90 X^{2} + 81 X - 27.$

Este polinomio se puede factorizar como $(X - 1)^{2} (X - 3)^{3} .$ Así, la submatriz de bloques de Jordan $J_{1}$ de eigenvalor $1$ tendrá tamaño $2$ y la $J_{3}$ de eigenvalor $3$ tendrá tamaño $3$ . Pero, ¿de qué tamaño son cada uno de los bloques de Jordan en cada una de estas matrices?

Para respondernos esto para $J_{1}$ , notamos que sus bloques son de tamaño $1$ y $2$ solamente. Si hay $b_{1}$ bloques de tamaño $1$ y $b_{2}$ bloques de tamaño $2$ , por la teoría desarrollada arriba tendremos:

$\begin{aligned} b_{1} + 2 b_{2} & = 2 \\ b_{2} & = 2 - 5 + rango (A - I) = 2 - 5 + 4 = 1. \end{aligned}$

El rango de $A - I$ lo obtuvimos computacionalmente, pero recuerda que también puede ser obtenido con reducción gaussiana. Resolviendo el sistema, $b_{2} = 1$ y entonces $b_{1} = 0$ . Concluimos que en $J_{1}$ hay un bloque de Jordan de tamaño $2$ .

Para $J_{3}$ , reciclemos las variables $b_{i}$ (para no introducir nuevas). Los bloques pueden ser de tamaño $1, 2, 3$ . Supongamos que de estos tamaños respectivamente hay $b_{1}, b_{2}, b_{3}$ bloques. Los $b_{i}$ cumplen:

$\begin{aligned} b_{1} + 2 b_{2} + 3 b_{3} & = 3 \\ b_{2} + 2 b_{3} & = 3 - 5 + rango (A - 3 I) = 3 - 5 + 3 = 1 \\ b_{3} & = 3 - 5 + rango ((A - 3 I)^{2}) = 3 - 5 + 2 = 0. \end{aligned}$

Así, $b_{3} = 0$ , y en consecuencia $b_{2} = 1$ y entonces $b_{1} = 1$ . Concluimos que $J_{3}$ tiene un bloque de tamaño $1$ y uno de tamaño $3$ . Por lo tanto, la forma canónica de Jordan de $A$ es:

$(\begin{matrix} J_{1} & 0 \\ 0 & J_{3} \end{matrix}) = (\begin{matrix} J_{1, 2} & 0 & 0 \\ 0 & J_{3, 1} & 0 \\ 0 & 0 & J_{3, 2} \end{matrix}) = (\begin{matrix} 1 & 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 3 & 0 & 0 \\ 0 & 0 & 0 & 3 & 1 \\ 0 & 0 & 0 & 0 & 3 \end{matrix})$

$△$

Otro problema sobre forma canónica de Jordan

La receta anterior funciona en general y da la forma canónica de Jordan. Esto es algo que probablemente en la práctica en aplicaciones no tendrás que hacer manualmente nunca, pues hay herramientas computacionales que te pueden ayudar. Sin embargo, es importante entender con profundidad el teorema y la receta de manera teórica, pues hay problemas conceptuales en los que no podrás usar herramientas computacionales. A continuación veremos un ejemplo.

Problema. Sea $A$ una matriz en $M_{6} (R)$ con polinomio característico $χ_{A} (X) = X^{6} - 2 X^{4} + X^{2} .$

¿Cuántas posibilidades hay para la forma canónica de Jordan de $A$ ?
Demuestra que si el rango de $A$ es $5$ , entonces $A$ no es diagonalizable.

Solución. Podemos factorizar el polinomio característico de $A$ como sigue:

$χ_{A} (X) = X^{2} (X + 1)^{2} (X - 1)^{2} .$

Así, la forma canónica de Jordan está conformada por una matriz de bloques de Jordan $J_{0}$ de eigenvalor $0$ y tamaño $2$ ; una $J_{1}$ de eigenvalor $1$ y tamaño $2$ ; y una $J_{- 1}$ de eigenvalor $- 1$ y tamaño $2$ .

Cada $J_{i}$ tiene dos chances: o es un bloque de Jordan de tamaño $2$ , o son dos bloques de Jordan de tamaño $1$ . Así, en total tenemos $2 \cdot 2 \cdot 2 = 8$ posibilidades.

Si $A$ es de rango $5$ , entonces tendríamos en las cuentas de cantidad de bloques $b_{1}$ y $b_{2}$ para eigenvalor $0$ que

$\begin{aligned} b_{1} + 2 b_{2} & = 2 \\ b_{2} & = 2 - 6 + rango (A) = 2 - 6 + 5 = 1, \end{aligned}$

de donde en $J_{0}$ tendría $1$ bloque de tamaño $2$ y ninguno de tamaño $1$ . Si $A$ fuera diagonalizable, su diagonalización sería una forma canónica de Jordan donde para eigenvalor $0$ se tendrían $2$ bloques de tamaño $1$ y ninguno de tamaño $2$ . Así, $A$ tendría dos formas canónicas de Jordan distintas, lo cual es imposible.

Más adelante…

Con esta entrada terminamos de demostrar el teorema de la forma canónica de Jordan, uno de los teoremas más bonitos de álgebra lineal. ¿Te das cuenta de todo lo que utilizamos en su demostración? Forma matricial de transformaciones lineales, el teorema de Cayley-Hamilton, polinomio característico, subespacios estables, teoría de dualidad, sistemas de ecuaciones lineales, resultados auxiliares de polinomios, etc. Es un resultado verdaderamente integrador.

En la siguiente entrada, la última del curso, hablaremos de algunas de las consecuencias del teorema de la forma canónica de Jordan. Discutiremos cómo lo podemos utilizar para clasificar a las matrices por similaridad. Veremos una aplicación con respecto a una matriz y su transpuesta. También, esbozaremos un poco de por qué en cierto sentido el resultado no sólo vale para las matrices cuyo polinomio se divide sobre el campo, sino que para cualquier matriz. Con ello terminaremos el curso.

Tarea moral

Calcula la forma canónica de Jordan $J$ de la matriz $A = (\begin{matrix} 1 & 0 & - 3 \\ 1 & - 1 & - 6 \\ - 1 & 2 & 5 \end{matrix}) .$ Además de encontrar $J$ , encuentra de manera explícita una matriz invertible $P$ tal que $A = P^{- 1} J P$ .
Calcula la forma canónica de Jordan de la matriz $(\begin{matrix} 1 & 1 & 0 & 0 \\ 0 & 1 & 2 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 2 \end{matrix})$
Explica y demuestra cómo obtener lo siguiente para una matriz de bloques de Jordan:
- Su polinomio característico.
- Su polinomio mínimo.
- Su determinante.
- Su traza.
- Sus eigenespacios.
Justifica con más detalle por qué la receta que se propone para calcular la forma canónica de Jordan en efecto funciona. Necesitarás varios de los argumentos que dimos en la entrada anterior.
Demuestra que una matriz $A \in M_{n} (F)$ para la cual su polinomio característico se divide en $F$ es diagonalizable si y sólo si cada bloque de cada matriz de bloques de la forma canónica de Jordan tiene tamaño $1$ .

Entradas relacionadas

Ir a Álgebra Lineal II
Entrada anterior del curso: Existencia de la forma canónica de Jordan
Siguiente entrada del curso: Aplicaciones 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»

Álgebra Lineal II: Existencia de la forma canónica de Jordan

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En las entradas anteriores demostramos que para cualquier matriz nilpotente existe (y es única) una matriz similar muy sencilla, hecha por lo que llamamos bloques de Jordan de eigenvalor cero. Lo que haremos ahora es mostrar una versión análoga de este resultado para una familia mucho más grande de matrices. De hecho, en cierto sentido tendremos un resultado análogo para todas las matrices.

Pensando en ello, lo que haremos en esta entrada es lo siguiente. Primero, generalizaremos nuestra noción de bloques de Jordan para contemplar cualquier eigenvalor. Estudiaremos un poco de los bloques de Jordan. Luego, enunciaremos el teorema que esperamos probar. Finalmente, daremos el primer paso hacia su demostración. En la siguiente entrada terminaremos la demostración y hablaremos de aspectos prácticos para encontrar formas canónicas de Jordan.

Enunciado del teorema de la forma canónica de Jordan

A continuación definimos a los bloques de Jordan para cualquier eigenvalor y tamaño.

Definición. Sea $F$ un campo. El bloque de Jordan de eigenvalor $λ$ y tamaño $k$ es la matriz $J_{λ, k}$ en $M_{k} (F)$ cuyas entradas son todas $λ$ , a excepción de las que están inmediatamente arriba de la diagonal superior, las cuales son unos. En símbolos, $J_{λ, k} = [a_{i j}]$ con $a_{i j} = {\begin{cases} 1 & si j = i + 1 \\ λ & si i = j \\ 0 & en otro caso. \end{cases}$

También podemos expresarlo de la siguiente manera:

$J_{λ, k} = (\begin{matrix} λ & 1 & 0 & \dots & 0 & 0 \\ 0 & λ & 1 & \dots & 0 & 0 \\ 0 & 0 & λ & \dots & 0 & 0 \\ ⋮ & ⋱ & ⋮ \\ 0 & 0 & 0 & \dots & λ & 1 \\ 0 & 0 & 0 & \dots & 0 & λ \end{matrix}),$ en donde estamos pensando que la matriz es de $k \times k$ .

Una última manera en la que nos convendrá pensar a $J_{λ, k}$ es en términos de los bloques de Jordan de eigenvalor cero: $J_{λ, k} = λ I_{k} + J_{0, k}$ .

Definición. Una matriz de bloques de Jordan en $M_{n} (F)$ es una matriz diagonal por bloques en la que cada bloque en la diagonal es un bloque de Jordan.

Lo que nos gustaría demostrar es el siguiente resultado. En él, piensa en $\leq$ como algún orden total fijo de $F$ (para $R$ es el orden usual, pero otros campos no necesariamente tienen un orden natural asociado).

Teorema. Sea $V$ un espacio vectorial de dimensión finita $n$ sobre el campo $F$ y $T : V \to V$ una transformación lineal tal que $χ_{T} (X)$ se divide sobre $F$ . Entonces, existen únicos valores $λ_{1} \leq \dots \leq λ_{n}$ en $F$ y únicos enteros $k_{1}, \dots, k_{d}$ tales que $\begin{aligned} k_{1} + k_{2} + \dots + k_{d} = n, \\ k_{1} \leq k_{2} \leq \dots \leq k_{d}, \end{aligned}$ para los cuales existe una base de $V$ en la cual $T$ tiene como forma matricial a la siguiente matriz de bloques de Jordan:

$(\begin{matrix} J_{λ_{1}, k_{1}} & 0 & \dots & 0 \\ 0 & J_{λ_{2}, k_{2}} & \dots & 0 \\ ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & J_{λ_{d}, k_{d}} \end{matrix}) .$

Por supuesto, este teorema también tiene una versión matricial, la cuál tendrás que pensar cómo escribir.

Un teorema de descomposición de kernels

Ya tenemos uno de los ingredientes que necesitamos para dar la demostración de la existencia de la forma canónica de Jordan: su existencia para las transformaciones nilpotentes. Otro de los ingredientes que usaremos es el teorema de Cayley-Hamilton. El tercer ingrediente es un resultado de descoposición de kernels de transformaciones evaluadas en polinomios.

Proposición. Sea $V$ un espacio vectorial sobre $F$ . Sea $T : V \to V$ una transformación lineal. Y sean $P_{1} (X), \dots, P_{r} (X)$ polinomios en $F [x]$ cuyo máximo común divisor de cualesquiera dos de ellos es el polinomio $1$ . Entonces, $\ker ((P_{1} P_{2} \dots P_{r}) (T)) = ⨁_{i = 1}^{r} \ker (P_{i} (T)) .$

Demostración. Para cada $i \in {1, 2, \dots, r}$ consideraremos a $Q_{i} (X)$ como el polinomio que se obtiene de multiplicar a todos los polinomios dados, excepto $P_{i} (X)$ . Y por comodidad, escribiremos $P (X) = (P_{1} \dots P_{r}) (X)$ . Notemos que entonces $P (X) = (Q_{i} P_{i}) (X)$ para cualquier $i \in {1, 2, \dots, r}$ .

Primero probaremos un resultado polinomial auxiliar. Veremos que $Q_{1} (X), \dots, Q_{r} (X)$ tienen como máximo común divisor al polinomio $1$ . En caso de no ser así, un polinomio $D (X)$ no constante dividiría a todos ellos. Sin pérdida de generalidad, $D$ es irreducible (tomando, por ejemplo $D (X)$ de grado mínimo con esta propiedad). Como $D (X)$ es irreducible y divide a $Q_{r} (X)$ , entonces debe dividir a alguno de los factores de $Q_{r} (X)$ , que sin pérdida de generalidad (por ejemplo, reetiquetando), es $P_{1} (X)$ . Pero $D (X)$ también divide a $Q_{1} (X)$ , así que debe dividir a alguno de sus factores $P_{2} (X), \dots, P_{r} (X)$ , sin pérdida de generalidad a $P_{2} (X)$ . Pero entonces $D (X)$ divide a $P_{1} (X)$ y $P_{2} (X)$ , lo cual contradice las hipótesis. Así, $Q_{1} (X), \dots, Q_{r} (X)$ tienen como máximo común divisor al polinomio $1$ . Por el lema de Bézout para polinomios (ver tarea moral), existen entonces polinomios $R_{1} (X), \dots, R_{r} (X)$ tales que

$\begin{matrix} (1) & (R_{1} Q_{1} + R_{2} Q_{2} + \dots + R_{r} Q_{r}) (X) = 1. \end{matrix}$

Estamos listos para pasar a los argumentos de álgebra lineal. Veamos primero que cualquier elemento en la suma de la derecha está en el kernel de $P (T)$ . Tomemos $v = v_{1} + \dots + v_{r}$ con $v_{i} \in \ker (P_{i} (T))$ . Al aplicar $P$ obtenemos

$\begin{aligned} P (v) & = P (v_{1}) + \dots + P (v_{r}) \\ = Q_{1} (P_{1} (v_{1})) + \dots + Q_{r} (P_{r} (v_{r})) \\ = 0 + \dots + 0 = 0. \end{aligned}$

Esto muestra que $v \in \ker (P (T))$ , de donde se obtiene la primera contención que nos interesa.

Veamos ahora la segunda contención, que $\ker (P (T)) = ⨁_{i = 1}^{r} \ker (P_{i} (T))$ . Tomemos $v \in \ker (P (T))$ . Al aplicar $(1)$ en $T$ y evaluar en $v$ obtenemos que

$\begin{aligned} v & = Id (v) = (1) (T) (v) \\ = (R_{1} Q_{1} + R_{2} Q_{2} + \dots + R_{r} Q_{r}) (T) (v) \\ = (R_{1} Q_{1}) (T) (v) + \dots + (R_{r} Q_{r}) (T) (v) . \end{aligned}$

Pero esto justo expresa a $v$ como elemento de $\ker (P_{i} (T))$ pues para cada $i$ tenemos

$\begin{aligned} P_{i} (T) ((R_{i} Q_{i}) (T) (v)) & = (P_{i} R_{i} Q_{i}) (T) (v) \\ = (R_{i} Q_{i} P_{i}) (T) (v) \\ = R_{i} (T) P (T) (v) \\ = R_{i} (0) = 0, \end{aligned}$

de modo que expresamos a $v$ como suma de vectores en $\ker (P_{1} (T)), \dots, \ker (P_{r} (T))$ .

Ya demostramos la igualdad de conjuntos, pero recordemos que en la igualdad de suma directa hay otra cosa que hay que probar: que el cero tiene una forma única de expresarse como suma de elementos de cada subespacio (aquella en donde cada elemento es cero). Supongamos entonces que $0 = v_{1} + \dots + v_{r}$ con $v_{i} \in \ker (P_{i} (T))$ para cada $i$ . Si aplicamos $Q_{i}$ en esta igualdad, como tiene todos los factores $P_{j}$ con $j \neq i$ obtenemos $0 = Q_{i} (0) = Q_{i} (v_{i}) .$

Por otro lado, al aplicar nuevamente $(1)$ en $T$ y evaluar en $v_{i}$

$\begin{aligned} v_{i} & = Id (v_{i}) = (1) (T) (v_{i}) \\ = (R_{1} Q_{1} + R_{2} Q_{2} + \dots + R_{r} Q_{r}) (T) (v_{i}) \\ = (R_{1} Q_{1}) (T) (v_{1}) + \dots + (R_{r} Q_{r}) (T) (v_{i}) \\ = (R_{i} Q_{i}) (T) (v_{i}) \\ = 0. \end{aligned}$

De esta forma, en efecto tenemos que los espacios están en posición de suma directa, que era lo último que nos faltaba verificar.

Existencia de la forma canónica de Jordan

Estamos listos para demostrar la existencia de la forma canónica de Jordan. Supongamos que $V$ es un espacio vectorial de dimensión finita $n$ sobre $F$ y que $T : V \to V$ es una transformación lineal cuyo polinomio característico se divide en $F [x]$ . Sabemos entonces que es de la siguiente forma:

$χ_{T} (X) = (X - λ_{1})^{m_{1}} (X - λ_{2})^{m_{2}} \dots (X - λ_{r})^{m_{r}},$

donde $λ_{1}, \dots, λ_{r}$ son eigenvalores distintos de $T$ y $m_{1}, \dots, m_{r}$ son las multiplicidades algebraicas respectivas de estos eigenvalores como raíces de $χ_{T} (X)$ .

Por el teorema de Cayley-Hamilton, sabemos que $χ_{T} (T) = 0$ , de modo que $\ker (χ_{T} (T)) = V$ . Por la proposición de descomposición de la sección anterior aplicada a los polinomios $P_{i} (X) = (X - λ_{i})^{m_{i}}$ (verifica que son primos relativos dos a dos) para $i \in {1, \dots, r}$ tenemos entonces que $V = ⨁_{i = 1}^{r} \ker ((T - λ_{i} id)^{m_{i}}) .$

Pero, ¿cómo es la transformación $T - λ_{i} id$ restringida a cada $\ker ((T - λ_{i} id)^{m_{i}})$ ? ¡Es nilpotente! Precisamente por construcción, $(T - λ_{i} id)^{m_{i}}$ se anula totalmente en este kernel. Así, por la existencia de la forma canónica de Jordan para matrices nilpotentes, hay una base $β_{i}$ para cada $\ker ((T - λ_{i} id)^{m_{i}})$ tal que $T - λ_{i} id$ restringida a ese kernel tiene como forma matricial una matriz $J_{i}$ de bloques de Jordan de eigenvalor cero. Pero entonces $T$ (restringida a dicho kernel) tiene como forma matricial a $J_{i} + λ_{i} I_{m_{i}}$ , que es una matriz de bloques de Jordan de eigenvalor $λ$ .

Con esto terminamos: como $V$ es la suma directa de todos esos kernel, la unión de bases $β_{1}, \dots, β_{r}$ es una base para la cual $T$ tiene como forma matricial a una matriz de bloques de Jordan.

Más adelante…

Hemos demostrado la existencia de la forma canónica de Jordan, pero aún nos falta demostrar su unicidad. Además de esto, también necesitaremos un mejor procedimiento para encontrarla. Haremos eso en la siguiente entrada.

Tarea moral

Enuncia el teorema de la forma canónica de Jordan versión matrices.
Investiga más sobre el lema de Bézout para polinomios y cómo se demuestra. Después de esto, expresa al polinomio $1$ como combinación lineal de los polinomios $x^{2} - 1, x^{3} + 1, x^{2} + 5 x + 4$ .
Verifica que los polinomios $P_{i} (X) = (X - λ_{i})^{k_{i}}$ de la demostración de la existencia de la forma canónica de Jordan cumplen las hipótesis de la proposición de descomposición de kernels.
Sea $F$ un campo y $r, s$ elementos en $F$ . Sea $n$ un entero. Demuestra que los bloques de Jordan $J_{r, n}$ y $J_{s, n}$ en $M_{n} (F)$ conmutan.
Siguiendo las ideas de la demostración de existencia, encuentra la forma canónica de Jordan de la matriz $(\begin{matrix} 1 & 1 & 1 & 1 \\ 0 & 1 & 1 & 1 \\ 0 & 0 & 2 & 2 \\ 0 & 0 & 0 & 2 \end{matrix}) .$

Entradas relacionadas

Ir a Álgebra Lineal II
Entrada anterior del curso: Unicidad de la forma canónica de Jordan para nilpotentes
Siguiente entrada del curso: Unicidad 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»

Álgebra Lineal II: Unicidad de la forma de Jordan para nilpotentes

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

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{aligned} k_{1} + k_{2} + \dots + k_{d} = n, \\ k_{1} \leq k_{2} \leq \dots \leq k_{d}, \end{aligned}$ y para los cuales $A$ es similar a la siguiente matriz de bloques: $(\begin{matrix} J_{0, k_{1}} & 0 & \dots & 0 \\ 0 & J_{0, k_{2}} & \dots & 0 \\ ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & J_{0, k_{d}} \end{matrix}) .$

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} J P$ , 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{cases} 0 & para k \geq i \\ e_{i - k} & para k \leq i - 1 . \end{cases}$

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.

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} \leq \dots \leq k_{d}$ :

$J = (\begin{matrix} J_{0, k_{1}} & 0 & \dots & 0 \\ 0 & J_{0, k_{2}} & \dots & 0 \\ ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & J_{0, k_{d}} \end{matrix}) .$

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} = (\begin{matrix} J_{0, k_{1}}^{r} & 0 & \dots & 0 \\ 0 & J_{0, k_{2}}^{r} & \dots & 0 \\ ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & J_{0, k_{d}}^{r} \end{matrix}) .$

¿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} + 2 m_{2} + 3 m_{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{aligned} 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{aligned}$

De manera similar,

$\begin{aligned} rango (J^{r}) & = \sum_{i = 1}^{d} rango (J_{0, k_{i}}^{r}) \\ = \sum_{j = 1}^{n} m_{j} rango (J_{0, j}^{r}) . \end{aligned}$

El término $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{aligned} n & = 1 \cdot m_{1} + 2 \cdot m_{2} + 3 \cdot m_{3} + \dots + n \cdot m_{n} \\ rango (J) & = 0 \cdot m_{1} + 1 \cdot m_{2} + 2 \cdot m_{3} + \dots + (n - 1) \cdot m_{n} \\ rango (J^{2}) & = 0 \cdot m_{1} + 0 \cdot m_{2} + 1 \cdot m_{3} + \dots + (n - 2) \cdot m_{n} \\ rango (J^{3}) & = 0 \cdot m_{1} + 0 \cdot m_{2} + 0 \cdot m_{3} + \dots + (n - 3) \cdot m_{n} \\ ⋮ \\ rango (J^{n - 1}) & = 0 \cdot m_{1} + 0 \cdot m_{2} + 0 \cdot m_{3} + \dots + 1 \cdot m_{n} . \end{aligned}$

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^{'}$ con valores $m_{j}^{'}$ .

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 $rango (J^{r}) = rango (A^{r}) = rango (J^{' r}) .$ Así, tanto $(m_{1}, \dots, m_{n})$ como $({m_{1}}^{'}, \dots, {m_{n}}^{'})$ son soluciones al siguiente sistema de ecuaciones en variables $x_{1}, \dots, x_{n}$ .

$\begin{aligned} n & = 1 \cdot x_{1} + 2 \cdot x_{2} + 3 \cdot x_{3} + \dots + n \cdot x_{n} \\ rango (A) & = 0 \cdot x_{1} + 1 \cdot x_{2} + 2 \cdot x_{3} + \dots + (n - 1) \cdot x_{n} \\ rango (A^{2}) & = 0 \cdot x_{1} + 0 \cdot x_{2} + 1 \cdot x_{3} + \dots + (n - 2) \cdot x_{n} \\ rango (A^{3}) & = 0 \cdot x_{1} + 0 \cdot x_{2} + 0 \cdot x_{3} + \dots + (n - 3) \cdot x_{n} \\ ⋮ \\ rango (A^{n - 1}) & = 0 \cdot x_{1} + 0 \cdot x_{2} + 0 \cdot x_{3} + \dots + 1 \cdot x_{n} . \end{aligned}$

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}}^{'}, \dots, {m_{n}}^{'})$ . Entonces, en $J$ y $J^{'}$ 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^{'}$ , concluimos que $J = J^{'}$ .

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:

Calculamos todas las potencias de $A$ hasta $n - 1$ .
Usando reducción gaussiana (o de otro modo), calculamos el rango de cada una de estas potencias.
Resolvemos el sistema de ecuaciones en variables $x_{j}$ de la sección anterior.
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} (R)$ : $C = (\begin{matrix} - 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{matrix})$

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} = (\begin{matrix} 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{matrix})$

$C^{3} = (\begin{matrix} 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{matrix}) .$

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 \geq 3$ obtenemos que $rango (C^{k}) = 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{aligned} 7 & = x_{1} + 2 x_{2} + 3 x_{3} + 4 x_{4} + 5 x_{5} + 6 x_{6} + 7 x_{7} \\ 4 & = x_{2} + 2 x_{3} + 3 x_{4} + 4 x_{5} + 5 x_{6} + 6 x_{7} \\ 2 & = x_{3} + 2 x_{4} + 3 x_{5} + 4 x_{6} + 5 x_{7} \\ 0 & = x_{4} + 2 x_{5} + 3 x_{6} + 4 x_{7} \\ 0 & = x_{5} + 2 x_{6} + 3 x_{7} \\ 0 & = x_{6} + 2 x_{7} \\ 0 & = x_{7} \end{aligned}$

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{aligned} 7 & = x_{1} + 2 x_{2} + 3 x_{3} \\ 4 & = x_{2} + 2 x_{3} \\ 2 & = x_{3} . \end{aligned}$

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 $(\begin{matrix} J_{0, 1} & 0 & 0 \\ 0 & J_{0, 3} & 0 \\ 0 & 0 & J_{0, 3} \end{matrix}) .$ Explícitamente, ésta es la siguiente matriz:

$(\begin{matrix} 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{matrix}) .$

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

$(\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}) .$

$△$

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

Considera la siguiente matriz: $M = (\begin{matrix} 11 & 11 & - 11 & - 11 \\ - 1 & - 1 & 1 & 1 \\ 3 & 3 & - 3 & - 3 \\ 7 & 7 & - 7 & - 7 \end{matrix}) .$
1. Muestra que $M$ es una matriz nilpotente y determina su índice.
2. ¿Cuál es la forma canónica de Jordan de $M$ ?
Describe las posibles formas canónicas de Jordan para una matriz nilpotente $A \in M_{5} (F)$ de índice $2$ .
Describe las posibles formas canónicas de Jordan para una matriz nilpotente $A \in M_{7} (F)$ de rango $5$ .
Encuentra de manera explícita la inversa de la siguiente matriz en $M_{n} (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: $(\begin{matrix} 1 & 2 & 3 & \dots & n - 1 & n \\ 0 & 1 & 2 & \dots & n - 2 & n - 1 \\ 0 & 0 & 1 & \dots & n - 3 & n - 2 \\ ⋮ & ⋱ & ⋮ \\ 0 & 0 & 0 & \dots & 1 & 2 \\ 0 & 0 & 0 & \dots & 0 & 1 \end{matrix}) .$
Sea $A$ una matriz nilpotente en $M_{n} (R)$ . Muestra que las matrices $A$ y $5 A$ 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»

Álgebra Lineal II: Otras aplicaciones de formas canónicas de Jordan

Por Elizabeth Chalnique Ríos Alvarado

Deja un comentario

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 = (\begin{matrix} 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{matrix})$

Calculamos $χ_{A} (X)$ expandiendo $d e t (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{aligned} χ_{A} (X) & = X | \begin{array}{c} X - 1 & 0 & 0 & - 2 \\ 0 & X & 0 & 0 \\ 0 & - 1 & X & 0 \\ 1 & 0 & 0 & X + 2 \end{array} | \\ = X^{2} | \begin{array}{c} X - 1 & 0 & 2 \\ 0 & X & 0 \\ 1 & 0 & X + 2 \end{array} | \\ = X^{3} | \begin{array}{c} X - 1 & - 2 \\ 1 & X + 2 \end{array} | \\ = X^{4} (X + 1) \end{aligned}$

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} = r a n g o (A^{2}) - 2 r a n g o (A) + 5,$ $N_{2} = r a n g o (A^{3}) - 2 r a n g o (A^{2}) + r a n g o (A)$ etcétera. Puedes checar fácilmente que $A$ tiene rango 3.

Luego, calculemos $A^{2} = (\begin{matrix} - 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{matrix})$ , $A^{3} = (\begin{matrix} 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{matrix})$ .

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 $(\begin{matrix} - 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{matrix}) .$

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.

Usa el Teorema de Jordan para probar que cualquier matriz $A \in M_{n} (C)$ es similar a su transpuesta.
Prueba que si $A \in M_{n} (C)$ es similar a $2 A$ , entonces $A$ es nilpotente.
Usa el teorema de Jordan para probar que si $A \in M_{n} (C)$ es nilpotente, entonces $A$ es similar a $2 A$ .

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»

Álgebra Lineal II: Clasificación de matrices por similaridad

Por Elizabeth Chalnique Ríos Alvarado

Deja un comentario

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 $(\begin{matrix} J_{k_{1}} (λ_{1}) & 0 & \dots & 0 \\ 0 & J_{k_{2}} (λ_{2}) & \dots & 0 \\ ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & J_{k_{d}} (λ_{d}) \end{matrix})$

Entonces el polinomio característico de $A$ es $χ_{A} (X) = \prod_{i = 1}^{d} χ_{J_{k_{i}}} (λ_{i}) (X) .$

Ahora, dado que $J_{n}$ es nilpotente tenemos $χ_{J_{k_{i}}} (X) = X^{n}$ y así $χ_{J_{n} (λ)} (X) = (X - λ)^{n} .$

Se sigue que $χ_{A} (X) = \prod_{i = 1}^{d} (X - λ_{i})^{k_{i}}$ y así necesariamente $λ_{1}, \dots, λ_{d}$ son todos eigenvalores de $A$ . Nota que no asumimos que $λ_{1}, \dots, λ_{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 $(\begin{matrix} J_{k_{1}} (λ_{1}) & 0 & \dots & 0 \\ 0 & J_{k_{2}} (λ_{2}) & \dots & 0 \\ ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & J_{k_{d}} (λ_{d}) \end{matrix})$ para algunos enteros positivos $k_{1}, \dots, k_{d}$ que suman $n$ y algunas $λ_{1}, \dots, λ_{d} \in F$ . Entonces

Cada $λ_{i}$ es un eigenvalor de $A$ .
Para cada eigenvalor $λ$ de $A$ y cada entero positivo $m$ , el número de bloques de Jordan $J_{m} (λ)$ entre $J_{k_{1}} (λ_{1}), \dots, J_{k_{d}} (λ_{d})$ is $N_{m} (λ) = r a n g o (A - λ I_{n})^{m + 1} - 2 r a n g o (A - λ I_{n})^{m} + r a n g o (A - λ 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 - λ I_{n}$ y observa que $B^{m}$ es similar a $(\begin{matrix} (J_{k_{1}} (λ_{1}) - λ I_{k_{1}})^{m} & 0 & \dots & 0 \\ 0 & (J_{k_{2}} (λ_{2}) - λ I_{k_{2}})^{m} & \dots & 0 \\ ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & \dots & (J_{k_{d}} (λ_{d}) - λ I_{k_{d}})^{m} \end{matrix})$ , por lo que $r a n g o (B^{m}) = \sum_{i = 1}^{d} r a n g o (J_{k_{i}} (λ_{i}) - λ I_{k_{i}})^{m}$ .

Ahora, el rango de $(J_{n} (λ) - μ I_{n})^{m}$ es

$n$ si $λ \neq μ$ , como en este caso $J_{n} (λ) - μ I_{n} = J_{n} + (λ - μ) I_{n}$ es invertible,
$n - m$ para $λ = μ$ y $m \leq n$ , como se sigue del Problema __.
0 para $λ = μ$ y $m > n$ , dado que $J_{n}^{n} = O_{n}$ .

De ahí, si $N_{m} (λ)$ es el número de bloques de Jordan $J_{m} (λ)$ entre $J_{k_{1}} (λ_{1}), \dots, J_{k_{d}} (λ_{d})$ , entonces $r a n g o (B^{m}) = \sum_{\begin{matrix} λ_{i} = λ \\ k_{i} \geq m \end{matrix}} (k_{i} - m) + \sum_{λ_{i} \neq λ} k_{i},$ luego sustrayendo esas igualdades para $m - 1$ y $m$ se tiene que $r a n g o (B^{m - 1}) - r a n g o (B^{m}) = \sum_{\begin{matrix} λ_{i} = λ \\ k_{i} \geq m \end{matrix}} 1$ y finalmente $\begin{array}{r} r a n g o (B^{m - 1}) - 2 r a n g o (B^{m}) + r a n g o (B^{m + 1}) = \\ (r a n g o (B^{m - 1}) - r a n g o (B^{m})) - (r a n g o (B^{m}) - r a n g o (B^{m + 1})) = \\ \sum_{\begin{array}{c} λ_{i} = λ \\ k_{i} = m \end{array}} 1 = N_{m} (λ) \end{array}$ como queríamos.

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.

¿Cuáles son las posibles formas canónicas de Jordan de una matriz cuyo polinomio característico es $(X - 1) (X - 2)^{2}$ ?
Considera una matriz $A \in M_{6} (C) d e r a n g o 4 c u y o p o l i n o m i o m í n i m o e s$ 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»