formas canonicas
 Lección 7. 
   Forma CanÓnica de Jordan

Iniciamos la última lección del presente capítulo con una versión completa del teorema de Hamilton-Cayley, el cual ya habíamos considerado antes. Esta nueva versión será usada para la forma canónica de Jordan que estudiaremos ahora. La forma de Jordan utiliza todo el material estudiado en los capítulos precedentes.

Teorema 7.. Sea $T:V\rightarrow V$ una transformación lineal de un $K$-espacio $V$ de dimensión finita $n\geq 1$. Sean $q_{T}(x)$ y $p_{T}(x)$ los polinomio mínimo y polinomio característico de $T$, respectivamente. Entonces, MATH Más exactamente, si

MATH

es la descomposición irreducible de $q_{T}(x)$, MATH, entonces

MATH

donde

MATH

para cada $1\leq i\leq k.$ En otras palabras, $q_{T}(x)$ y $p_{T}(x)$ tienen los mismos factores irreducibles salvo multiplicidades. Además, si $F$ es un cuerpo que contiene al cuerpo $K$, entonces

$a\in F$ es raíz de $q_{T}(x)$ si y sólo si $a$ es raíz de $p_{T}(x).$

Demostración

Pasamos ahora a definir los bloques y matrices de Jordan. Sea $K$ un cuerpo cualquiera y $a$ un elemento de $K,$ la matriz

MATH

de orden $r\geq 1$ se denomina bloque elemental de Jordan de orden $r$ correspondiente al elemento $a$ . El caso $r=1$ debe entenderse como la matriz $[a]$ de tamaño $1\times 1$. La matriz $J_{a}$ con $t\geq 1$ bloques elementales de Jordan, MATH de órdenes MATH ,

MATH

se denomina bloque de Jordan correspondiente al elemento $a$. Sean MATH elementos diferentes pertenecientes al cuerpo $K$, $k\geq 1,$la matriz

MATH

donde $J_{a_{i}}$ es un bloque de Jordan correspondiente al valor $a_{i}$ se denomina matriz de Jordan correspondiente a los elementos MATH.

Sea $T:V\rightarrow V$ una transformación lineal de un $K$-espacio $V$ de dimensión finita $n\geq 1$. Se dice que $T$ es diagonalizable en bloques de Jordan si existe una base $X$ en el espacio $V$ tal que $m_{X}(T)$ es una matriz de Jordan. Finalmente, decimos que una matriz cuadrada $A$ de orden $n\geq 1$ es diagonalizable en bloques de Jordan diagonalizable en bloques de Jordan si $A$ es similar a una matriz de Jordan.

Corolario 9. Sea $T:V\rightarrow V$ una transformación lineal de un $K$-espacio $V$ de dimensión finita $n\geq 1$ y $X$ una base de $V$. Entonces, $T$ es diagonalizable en bloques de Jordan si y sólo si $m_{X}(T)$ es diagonalizable en bloques de Jordan.

Nuestro objetivo ahora es demostrar que toda transformación (matriz) sobre un cuerpo algebraicamente cerrado es diagonalizable en bloques de Jordan. Podemos comenzar demostrando este resultado para matrices y transformaciones nilpotentes sobre cualquier cuerpo $K$. Una transformación $T$ (matriz $A$) es nilpotente si existe un entero positivo $m\geq 1$ tal que $T^{m}=0$ ($A^{m}=0$); el menor entero positivo $m$ con esta condición se denomina índice de nilpotencia de $T$ (de $A$).

Proposición 13. Sea $N:W\rightarrow W$ una transformación lineal nilpotente de un espacio $W$ de dimensión finita $d\geq 1$. Entonces existe una base $X$ en $W$ tal que

MATH

donde

MATH

es un bloque elemental de Jordan de orden $s_{i}$ perteneciente al valor $0$ de tal manera que se cumplen las siguientes propiedades: MATH, MATH y MATH de nilpotencia de $N$.

Demostración

Teorema 8. Sea $T:V\rightarrow V$ una transformación lineal de un espacio $V$ de dimensión finita $n\geq 1$ tal que el polinomio característico de $T$ se descompone completamente en $K$ en producto de factores lineales (este es el caso cuando $K$ es algebraicamente cerrado). Entonces, $T$ es diagonalizable en bloques de Jordan.

Demostración

Ejemplo 2. En este ejemplo mostramos una matriz invertible $C$ tal que $C^{-1}AC$ es una matriz de Jordan, donde

MATH

Solución

Ejemplo 3. Sistemas de Ecuaciones Diferenciales Lineales de Primer Orden.

Solución

Ejemplo 4. Sistemas Diagonalizables de Ecuaciones Diferenciales Lineales de Primer Orden.

Solución

Ejemplo 5. Sistemas de Jordan de Ecuaciones Diferenciales Lineales de Primer Orden.

Solución

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright