Formas Canonicas De Jordan

Forma canónica de Jordan

En álgebra lineal, la forma canónica de Jordan es la forma de la matriz de un endomorfismo de un espacio vectorial en cierta base asociada a la descomposición en suma directa de subespacios invariantes bajo dicho endomorfismo. Dicha forma canónica consistirá en que la matriz estará formada por "bloques de Jordan" en la diagonal y bloques de ceros fuera de ella.

Introducción

Sea un endomorfismo sobre un -espacio vectorial de dimensión . Si el polinomio característico de se factoriza completamente sobre el cuerpo (es decir, si es el cuerpo de descomposición del polinomio característico de la matriz), existe una base donde la aplicación lineal viene dada por una "matriz de m bloques" ( ) con la siguiente forma canónica:

Donde cada submatriz (llamada bloque de Jordan) es de la forma:

Donde son raices del polinomio característico (autovalores), y

Cuando es diagonalizable, y , por lo que la forma canónica de Jordan de la matríz es una matriz diagonal.

Motivación

Considérese la situación de una matriz diagonalizable. Una matriz cuadrada es diagonalizable si la suma de las dimensiones de los espacios propios (eigenspaces) es el número de filas o columnas de la matriz. Examinemos la matriz siguiente:

Tenemos valores propios de A que son sólo λ = 5, 5, 5, 5. Ahora bien, la dimensión del núcleo de es 1 (donde representa la matriz identidad), por lo tanto A no es diagonalizable. Sin embargo, podemos construir la forma de Jordan de esta matriz. Dado que la dimensión es 1, sabemos que la forma de Jordan está compuesta de solo un bloque de Jordan, es decir, la forma de Jordan de A es:

Obsérvese que J puede escribirse como , donde N es una matriz nilpotente. Puesto que ahora tenemos A similar a dicha matriz simple, podremos realizar cálculos que involucren a A usando la forma de Jordan, lo que en muchos casos puede simplificar el cálculo. Por ejemplo, calcular potencias de matrices es significativamente más sencillo usando la forma de Jordan.

Ejemplo

Hallar la forma canónica de Jordan de la matriz

Hallamos el polinomio característico:

Sus raíces son y con multiplicidades 4 y 1 respectivamente.

[editar • editar fuente]

Comencemos con , tenemos que hallar 4 vectores linealmente independientes, pues la multiplicidad de es 4. Pero no valen 4 vectores cualesquiera. Hay que hacer lo siguiente:

Hallar la cadena de nucleos de hasta que la dimensión del último sea la multiplicidad de la raíz (4 en este caso).

Calculando el rango de esta matriz nos da , luego su nulidad (la

dimensión del nucleo) es .

Resolviendo el sistema , obtenemos que todas las coordenadas excepto

la primera han de valer cero. Así pues, los vectores del núcleo de son: . Como la nulidad de B (es decir, la dimensión de ) es 1, cualquier base de estará formada por un único vector de , linealmente independiente. Tomamos para formar la base, por ejemplo, al vector canónico .

.

Realizando un proceso análogo al anterior obtenemos que el rango de es 3, luego su nulidad es . Resolviendo el sistema se obtiene que todas las coordenadas de los vectores de han de valer cero, excepto las dos primeras. Como , sabemos que podemos expandir la base de para obtener una base de . Elegimos entonces el vector . Así: .

El rango de esta matriz es . Su nulidad es por tanto 3. Resolvemos el sistema y observamos que las dos últimas coordenadas han de valer 0. Expandemos la base de para obtener la de , por ejemplo con el vector (0,0,1,0,0):

En este caso, la nulidad de es n(E)=4, y como la dimensión de (es decir, la nulidad

...