Forma canónica de Jordan

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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[editar]

Sea un endomorfismo sobre un -espacio vectorial de dimensión . Si el polinomio característico de se factoriza completamente sobre el cuerpo (es decir, 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 es un bloque de Jordan.

Donde son raíces del polinomio característico (valores propios), y
Cuando es diagonalizable, vale que y , por lo que la forma canónica de Jordan de la matriz es una matriz diagonal.

Ejemplo[editar]

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.

Cálculo de la forma de Jordan[editar]

1) Supongamos que se quiere diagonalizar la siguiente matriz

Primeros calculamos el polinomio característico y vemos si es diagonalizable.

Hacemos y obtenemos los autovalores y , este último de multiplicidad algebraica 2. Para ver si es diagonalizable buscamos los autovectores, estos conforman las bases de los espacios (es decir los espacios propios ). Para el primer valor propio obtenemos :

de donde se resuelve que . En particular, un vector de la base (el más simple sin contar el nulo) es (1,1,0).

Ahora para el otro autovalor

Es decir que obtuvimos pero este espacio es unidimensional luego no alcanzan los autovectores para construir una base de (suponiendo que estamos trabajando en este espacio) y por lo tanto NO ES diagonalizable. ¿Cómo reducir esta matriz a una forma simple entonces si no la podemos hacer diagonal? Precisamente de esto se trata la forma de Jordan, buscaremos un vector más, linealmente independiente respecto de los anteriores (geométricamente significa que no está en el mismo plano que los otros dos) de modo que podamos construir la matriz de pasaje tal que quede triangular, en vez de diagonal, expresada como bloques de Jordan.

Sea B esta base, debe estar conformada por tres vectores y sólo tenemos dos. Hay varias maneras de encontarlo, una es proponer y buscar las coordenadas (a,b,c) tal que se cumpla donde J es la matriz en forma canónica de Jordan y P es la matriz cambio de base de B a la base canónica de . Por la manera en la que definimos la base B la matriz J tiene que ser

es decir que basta efectuar los productos mencionados e igualarlos, queda

Queda formado entonces el siguiente sistema

que son infinitos vectores de la forma (notemos que se trata de una múltiplo del autovector asociado al autovalor 2 pero con una coordenada sumada). En particular para se obtiene una de las infinitas soluciones .

En general, cualquier matriz de la forma cumple que

.

Nota: podemos resolver el sistema PJ=AP triangulando la matriz ampliada . Este algoritmo será analizado en el siguiente ejemplo con más detalle.

2) Tomemos ahora una matriz similar a la anterior

de la cual buscamos la forma de Jordan. El polinomio característico es

.

Veamos que para obtenemos un único autovalor , esto significa que no es diagonalizable ya que la única manera de obtener que (y por lo tanto ) es que A sea la matriz nula.

Busquemos entonces los autovectores...

Es decir esto equivale a afirmar que el vector genera el subespacio .

Para encontrar otro vector linealmente independiente, podemos triangular la matriz A-2I ampliada con las coordenadas del autovector (asociado a este autovalor 2) como columna.

Si llamamos tenemos vectores de la forma ¡que son combinaciones lineales del autovector! Sin embargo todavía nos falta un vector más para construir una base de , este se obtiene sustituyendo la solución en el producto .

y por lo tanto la base buscada es . Es importante ponerlos en este orden, de otro modo la matriz en esta base no estará constituida por bloques de Jordan.

Formamos

3) 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.
Buscamos los autovectores, comencemos con

Triangulamos

Por lo tanto el espacio propio asociado a este autovalor es . Resulta evidente que la matriz no es diagonalizable, ya que la multiplicidad geométrica es menor que 4, o lo que es equivalente, .

Por ahora, busquemos el otro autovector.


Es decir que, si designamos obtenemos .


Buscamos la base en la cual A tiene la forma de Jordan. Para tenemos que hallar 3 vectores más que sean linealmente independientes con , pues la multiplicidad de es 4 y nosotros tenemos un único vector. Una forma de encontrar estos vectores es la siguiente.

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

Obtenemos que el rango es 3, luego su nulidad es 2. 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 de ) no puede ser superior a la multiplicidad algebraica del autovalor 1, que es 4, ya hemos llegado a la dimensión máxima. Resolvemos el sistema y concluímos que la suma de las últimas dos coordenadas ha de ser nula. Ahora tomamos un vector pero que no pertenezca a ninguno de los anteriores. Por ejemplo, . Obtenemos así la base de : .

Ahora hay que hallar .

.

Como = <(14,4,2,1,0)>, ya tenemos los 5 vectores de la nueva base.

La matriz de cambio de base es

Para hallar la matriz de Jordan sólo hay que hacer las imágenes por A, de los vectores de la base de Jordan, y expresarlos en dicha base:

Se cumple

Véase también[editar]

Enlaces externos[editar]