Forma canònica de Jordan

En àlgebra llineal, la forma canònica de Jordan és la forma de la matriu d'un endomorfisme d'un espai vectorial en certa base associada a la descomposició en suma directa de subespacios invariantes baix dit endomorfisme. Dita forma canònica consistirà que la matriu estarà formada per "blocs de Jordan" en la diagonal i blocs de zeros anara d'ella.
Introducció
[editar | editar còdic]Siga un endomorfisme sobre un -espai vectorial de dimensió . Si el polinomi característic de es factoriza completament sobre el cos (és dir, és el cos de descomposició del polinomi característic de la matriu), existix una base a on l'aplicació llineal ve donada per una "matriu de m blocs" () en la següent forma.
A on cada submatriz és un bloc de Jordan.
A on són raïls del polinomi característic (valors propis), i
Quan és diagonalisable, val que i , per lo que la forma canònica de Jordan de la matriu és una matriu diagonal. Alguns llibres de text coloquen els uns baix de la diagonal en lloc de damunt. La diferència és purament notacional.[1]
Eixemple
[editar | editar còdic]Considere's la situació d'una matriu diagonalisable. Una matriu quadrada és diagonalisable si la suma de les dimensions dels espais propis (eigenspaces) és el número de files o columnes de la matriu. Examinem la matriu següent:
Tenim valors propis de A que són sol λ = 5, 5, 5, 5. Ara be, la dimensió del núcleu de és 1 (a on representa la matriu identitat d'orde 4), per lo tant A no és diagonalisable. No obstant, podem construir la forma de Jordan d'esta matriu. Ya que la dimensió és 1, sabem que la forma de Jordan està composta de solament un bloc de Jordan, és dir, la forma de Jordan de A és:
Observe's que J pot escriure's com , a on N és una matriu nilpotent. ya que ara tenim A similar a dita matriu simple, podrem realisar càlculs que involucren a A usant la forma de Jordan, lo que en molts casos pot simplificar el càlcul. Per eixemple, calcular potències de matrius és significativament més senzill usant la forma de Jordan.
Càlcul de la forma de Jordan
[editar | editar còdic]1) Supongam que es vol diagonalizar la següent matriu
Primers calculem el polinomi característic i veem si és diagonalisable.
Fem i obtenim els autovalores i , este últim de multiplicitat algebraica 2. Per a vore si és diagonalisable busquem els autovectores, estos conformen les bases dels espais (és dir els espais propis ). Per al primer valor propi obtenim :
d'a on es resol que . En particular, un vector de la base (el més simple sense contar el nul) és (1,1,0).
Ara per a l'atre autovalor
És dir que vàrem obtindre pero este espai és unidimensional després no alcancen els autovectores per a construir una base de (suponent que estem treballant en este espai) i per lo tant NO ES diagonalisable. ¿Cóm reduir esta matriu a una forma simple llavors si no la podem fer diagonal? Precisament d'açò es tracta la forma de Jordan, buscarem un vector més, linealment independent respecte dels anteriors de modo que pugam construir la matriu de passage tal que quede triangular, en lloc de diagonal, expressada com a blocs de Jordan.
Siga B esta base, deu estar conformada per tres vectores i solament tenim dos. Hi ha vàries maneres de encontarlo, una és propondre i buscar les coordenades (a,b,c) tal que es complixca a on J és la matriu en forma canònica de Jordan i P és la matriu canvie de base de B a la base canònica de . Per la manera en la que definim la base B la matriu J té que ser
és dir que basta efectuar els productes mencionats i igualar-los, queda
Queda format llavors el següent sistema
que són infinits vectores de la forma (notem que es tracta d'una múltiple del autovector associat al autovalor 2 pero en una coordenada sumada). En particular per a s'obté una de les infinites solucions .
En general, qualsevol matriu de la forma complix que
- .
Nota: podem resoldre el sistema PJ=AP triangulando la matriu ampliada . Este algoritme serà analisat en el següent eixemple en més detall.
2) Prengam ara una matriu similar a l'anterior
de la qual busquem la forma de Jordan. El polinomi característic és
- .
Vejam que per a obtenim un únic autovalor , açò significa que no és diagonalisable ya que l'única manera d'obtindre que (i per lo tant ) és que siga la matriu nula, o lo que és lo mateix, que A siga una matriu diagonal l'única entrada de la qual no nula siga 3.
Busquem llavors els autovectores...
És dir açò equival a afirmar que el vector genera el subespacio .
Per a trobar un atre vector linealment independent, podem triangular la matriu A-2I ampliada en les coordenades del autovector (associat a este autovalor 2) com a columna.
Si cridem tenim vectores de la forma ¡que són combinacions llineals del autovector! No obstant encara nos falta un vector més per a construir una base de , este s'obté substituint la solució en el producte .
- i per lo tant la base buscada és . És important posar-los en este orde, d'un atre modo la matriu en esta base no estarà constituïda per blocs de Jordan.
Formem
3) Trobar la forma canònica de Jordan de la matriu
Trobem el polinomi característic:
Les seues raïls són i en multiplicitat 4 i 1 respectivament.
Busquem els autovectores, comencem en
Triangulamos
Per lo tant l'espai propi associat a este autovalor és . Resulta evident que la matriu no és diagonalisable, ya que la multiplicitat geomètrica és menor que 4, o lo que és equivalent, .
Per ara, busquem l'atre autovector.
És dir que, si designem obtenim .
Busquem la base en la qual A té la forma de Jordan. Per a tenim que trobar 3 vectores més que siguen linealment independents en , puix la multiplicitat de és 4 i nosatres tenim un únic vector. Una forma de trobar estos vectores és la següent.
Trobar les potències fins que la dimensió de l'últim siga la multiplicitat de la raïl (4 en este cas).
Obtenim que el ranc és 3, després la seua nulitat és 2. Resolent el sistema s'obté que totes les coordenades dels vectores de han de valdre zero, llevat les dos primeres. Com , sabem que podem expandir la base de per a obtindre una base de . Elegim llavors el vector . Aixina: .
El ranc d'esta matriu és . La seua nulitat és per tant 3. Resolem el sistema i observem que les dos últimes coordenades han de valdre 0. Expandim la base de per a obtindre la de , per eixemple en el vector (0,0,1,0,0):
En este cas, la nulitat de és n(I)=4, i com la dimensió de (és dir, la nulitat de ) no pot ser superior a la multiplicitat algebraica del autovalor 1, que és 4, ya hem aplegat a la dimensió màxima. Resolem el sistema i concluímos que la suma de les últimes dos coordenades ha de ser nula. Ara prenem un vector pero que no pertanyga a cap dels anteriors. Per eixemple, . Obtenim aixina la base de :
- .
Ara cal trobar .
- .
Com , ya tenim els 5 vectores de la nova base.
La matriu de canvi de base és
Per a trobar la matriu de Jordan solament cal fer les imàgens per a, dels vectores de la base de Jordan, i expressar-los en dita base:
Es complix
Vore també
[editar | editar còdic]Referències
[editar | editar còdic]
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Forma canónica de Jordan» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.