Forma Canónica de Jordan

Pricipios y conceptos básicos

Sea el Endomorfismo
F : V → V
x∈V → F(x) = Ax∈V
Con V espacio vectorial de dimensión n>1 sobre el cuerpo Κ, sean λj, con j = 1, 2, ...k las raices del polinomio característico asociado al Endomorfismo cada una de ellas con multiplicidad.
Ya hemos visto que para cada Endomorfismo existe una matriz de dimensión nxn tal que F(v) = Av

Estamos en el caso de que la suma de las dimensiones de los autoespacios generados por cada autovalor es menor que n, es decir, las bases de autovectores no llenan todo el espacio V. En este caso, la matriz no es diagonalizable pero sí es posible encontrar una base de V donde la matriz se expresa en (o es semejante a) una forma sencilla que llamaremos de Jordan y que tiene la forma

Cada uno de los bloques de la diagonal tiene roma de matriz triangular superior

Teoría en Extensión

Sea el V un espacio vectorial de dimensión n sobre el cuerpo K en la forma
F : V → V
x∈V → F(x) = Ax∈V
Y sea A la matriz mxm asociada a este Endomorfismo
Sea
P(λ) = (1-λ1)m1 . (1-λ2)m2 ... (1-λk)mk
El polinómio característico de la matriz A, con λj ∈K autovalores de A y los kj la multiplicidad correspondiente a cada autovalor j. ∀j=1,2,...,k.

Este Teorema nos dice como se descompone el espacio V en los autoespacios correspondientes a cada autovalor de la matriz A

Teorema (Descomposición de subespacios correspondientes a cada autovalor)

Sea el autovalor λj y mj su multiplicidad, entonces ∃p ∈ N tal que

E1j) = Ker(A-λjId) ⊆ E2j) = Ker(A-λjId)2 ⊆ E3j) = Ker(A-λjId)3 ⊆ ... ⊆ Epj) = Ker(A-λjId)p ⊆ ....

Además si dj = Dim (Epj)) se cumple que d1 < d2 < ... < dp = mj

El subespacio Epj) es invariante y recibe el nombre de autoespacio máximo correspondiente al autovalor λj y en estas condiciones se tiene que V es la suma directa de todos los Epj), es decir

V = Ep1)⊕ ... ⊕ Epk)

Denotaremos a partir de ahora a cada autoespacio máximo Epj) simplemente como E(j). Sea nj la dimensión de cada E(j).

Por ser cada autoespacio E(j) invariante mediante la aplicación F, podemos considerar la aplicación

Fj = F|E(j) : E(j) → E(j)

Es decir, Fj es la restricción de F al autospacio máximo E(j)

Para cada Fj se puede encontrar una base Bj en la cual Fj se puede escribir como una matriz de Jordan.

Nótese que

kj=1 mj = n

Y por tanto si k=n entonces A es diagonalizable.

Cada autoespacio máximo debe ser de dimensión igual a la multiplicidad del autovalor. Supongamos que el autovalor λj tiene multiplicidad mj, sin embargo, al calcular los autovectores aparecen sj con sj < mj.

En este caso tenemos que encontrar mj - sj vectores linealmente independientes y la caja de Jordan correspondiente al autovalor λj, J(λj) será de la forma

Como encontrar la base de vectores en la que la matrix A tiene esta expresión?

1a Forma de encontrar la matriz del cambio de base y la base de Vectores

Primero elegimos los v1, ..., vs los autovectores correspondientes al autovalor λj.

Estos autovectores generan el autoespacio E1j).

Ahora buscamos un autovector vs+1 linealmente independiente con los anteriores y tal que

(J(λj) - λjId) vs+1 = k1v1 + ... + ksvs.

Ahora buscamos otro autovector vs+2 linealmente independiente con los anteriores y tal que

(J(λj) - λjId) vs+2 = k1v1 + ... + ksvs + ks+1vs+1.

Y así sucesivamente hasta completar los mj.

La matriz del cambio de base asociada será la formada por la base de vectores v1, ..., vmj escritos en columna.

B = (v1 ...vs vs+1 ... vmj).

2a Forma de encontrar la matriz del cambio de base y la base de Vectores

Consiste en elegir kp vectores {v1, ..., vkp} linealmente independientes tales que que v1, ..., vkp ∈ Epj) - Ep-1j)

La familia de vectores

Bkpj) = {(A - λjId)p-1v1, ..., (A - λjId)v1, v1, ... , (A - λjId)p-1vkp, ..., (A - λjId)vkp, vkp}

Conforma una base en la que la matriz A restringida a Ep(λ) se expresa en forma de kp cajas de Jordan.

A continuación elegimos otros kp-1 {v1, ..., vkp-1} vectores linealmente independientes tales que que v1, ..., vkp-1 ∈ Ep-1j) - Ep-2j) y que sean linealmente independientes con la familia Bkpj).

Ahora, la familia de vectores

Bkp-1j) = {(A - λjId)p-2v1, ..., (A - λjId)v1, v1, ... , (A - λjId)p-1vkp-1, ..., (A - λjId)vkp-1, vkp-1}

Conforma una base en la que la matriz A restringida a Ep-1(λ) se expresa en forma de kp-1 cajas de Jordan.

Y así­ sucesivamente hasta llegar a E1(λ), entonces si tomamos la base formada por

B(λ) = B1 ∪ B2 ∪ ... ∪ Bp

Conforma una base del espacio vectorial V, la expresión donde A en esta base es en la forma canónica de Jordan.

Finalmente veremos un teorema de existencia y unicidad de la forma canónica de Jordan
Teorema (Existencia y unicidad de la forma de Jordan)

Sea el Endomorfismo
F : V → V
x∈V → F(v) = Ax∈V
Con V espacio vectorial de dimensión n>1 sobre el cuerpo Κ, y sea A la matriz asociada a este Endomorfismo.
Supongamos que el polinomio característico de A tiene n raices en el cuerpo K entonces

1) Existe una base de V en la que A se expresa en la forma canónica de Jordan.

2) La forma de Jordan del apartado anterior es única salvo permutaciones de las cajas de Jordan que la componen.


Te ha parecido que estos cálculos son muy complicados, no lo son en absoluto, te convencerás si echas un breve vistazo a estos dos ejemplos

Ejemplo 1
Ejemplo 2





Ha sido util? Alguna idea para complementar el texto?



Deja tu post

Comentarios de otros usuarios





Deja tu post