En àlgebra lineal, per una matriu A, potser no sempre existeix un conjunt complet de vectors propisIn linealment independents que conformin una base completa: una matriu pot no ser diagonalitzable. Això succeeix quan la multiplicitat algebraica d'almenys un valor propi λ és més gran que la seva multiplicitat geomètrica (la dimensió del nucli de la matriu
). En aquests casos, un vector propi generalitzat de A és un vector v no nul, associat al valor propi λ de multiplicitat algebraica k ≥1, que satisfà
![{\displaystyle (A-\lambda I)^{k}\mathbf {v} =\mathbf {0} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12453b8196d6674b47ffca2b7c1afc2168afaa99)
El conjunt de tots els vectors propis generalitzats per un valor propi donat λ, configuren l'espai propi generalitzat per λ.
Els vectors propis i espais propis ordinaris són aquells on k=1.
Per matrius defectives
Hom necessita el concepte de vector propi generalitzat per construir una base completa per una matriu defectiva, que és una matriu que té menys vectors propis linealment independents que valors propis (tenint en compte la multiplicitat). Sobre un cos algebraicament tancat, els vectors generalitzats permeten, de fet, construir una base completa, com se segueix de la forma canònica de Jordan d'una matriu.
En particular, suposem que un valor propi λ d'una matriu A té multiplicitat algebraica m però menys vectors propis (associats a λ). Formem una seqüència de m vectors propis i vectors propis generalitzats
que són linealment independents i que satisfan
![{\displaystyle (A-\lambda I)x_{k}=\alpha _{k,1}x_{1}+\cdots +\alpha _{k,k-1}x_{k-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb6fff7423f90f40e8f510da705d0977027c8818)
per alguns coeficients
, on
. D'aquí se segueix que
![{\displaystyle (A-\lambda I)^{k}x_{k}=0.\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/889f5eebcc176c19b5c61cff4b38fd532dfe8661)
Hom sempre pot escollir aquests vectors
, però aquests no estan unívocament determinats per les relacions anteriors. Si la multiplicitat geomètrica (la dimensió de l'espai propi) de λ és p, llavors hom pot escollir els p primers vectors de tal manera que siguin vectors propis, però els restants m − p vectors són només vectors propis generalitzats.
Exemples
Exemple 1
Suposem que
![{\displaystyle A={\begin{bmatrix}1&1\\0&1\end{bmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d25f024ede5939e07992dc2d4e11f059fadbd4bb)
Llavors hi ha un valor propi λ=1 amb multiplicitat algebraica m igual a 2.
Existeixen diverses formes de deduir que hi ha necessàriament un vector propi generalitzat. La manera més fàcil és observar que aquesta matriu està en forma canònica de Jordan, però no és diagonal, la qual cosa significa que la matriu no és diagonalitzable. Com que hi ha una entrada a la superdiagonal, llavors deduïm que hi ha un vector propi generalitzat (o també podríem observar que l'espai vectorial és de dimensió 2, per tant només hi pot haver un vector propi generalitzat). De forma alternativa, podríem calcular la dimensió del nucli de
, que és p=1, i llavors hi ha m-p=1 vector propi generalitzat.
Deixem el càlcul del vector propi (ordinari)
al lector (vegeu l'article Valor propi, vector propi i espai propi per obtenir exemples). Usant aquest vector propi, calculem el vector propi generalitzat
tot resolent
![{\displaystyle (A-\lambda I)v_{2}=v_{1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c3cf24f50c1efceb49743e61fa47ee41a275892)
Si escrivim els valors:
![{\displaystyle \left({\begin{bmatrix}1&1\\0&1\end{bmatrix}}-{\begin{bmatrix}1&0\\0&1\end{bmatrix}}\right){\begin{bmatrix}v_{21}\\v_{22}\end{bmatrix}}={\begin{bmatrix}1\\0\end{bmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99003c685ff7ec3917caf4f9e7cb7603243e3ba5)
Això se simplifica com
![{\displaystyle {\begin{matrix}v_{21}+v_{22}-v_{21}=1\\v_{22}-v_{22}=0.\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/759ebab7d2eba3852fb92230431092832fb41d17)
Al seu torn, això se simplifica com
![{\displaystyle v_{22}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/395b9dc668d6d06f7ee1156eeeb9cfe3eb8537fc)
És a dir,
no té restriccions, i pot ser llavors qualsevol escalar. Així doncs, el vector generalitzat és
, on * significa que qualsevol valor és adient. Per simplicitat, hom acostuma a prendre el valor 0.
Exemple 2
La matriu
![{\displaystyle A={\begin{bmatrix}1&0&0&0&0\\3&1&0&0&0\\6&3&2&0&0\\10&6&3&2&0\\15&10&6&3&2\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02db0bd4a7003198809e74d4329ec52cc1e34c64)
té els valors propis 1 i 2 amb multiplicitats algebraiques 2 i 3, però multiplicitats geomètriques 1 i 1, respectivament.
A continuació es calculen els espais propis generalitzats de A:
![{\displaystyle (A-1I){\begin{bmatrix}0\\1\\-3\\3\\-1\end{bmatrix}}={\begin{bmatrix}0&0&0&0&0\\3&0&0&0&0\\6&3&1&0&0\\10&6&3&1&0\\15&10&6&3&1\end{bmatrix}}{\begin{bmatrix}0\\1\\-3\\3\\-1\end{bmatrix}}={\begin{bmatrix}0\\0\\0\\0\\0\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1480be7cf799883ccd82372e80cf77a6b2c0d64e)
![{\displaystyle (A-1I){\begin{bmatrix}1\\-15\\30\\-1\\-45\end{bmatrix}}={\begin{bmatrix}0&0&0&0&0\\3&0&0&0&0\\6&3&1&0&0\\10&6&3&1&0\\15&10&6&3&1\end{bmatrix}}{\begin{bmatrix}1\\-15\\30\\-1\\-45\end{bmatrix}}=3{\begin{bmatrix}0\\1\\-3\\3\\-1\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a16896e4a77721227ae694e9270bbd5c281c0fad)
![{\displaystyle (A-2I){\begin{bmatrix}0\\0\\0\\0\\1\end{bmatrix}}={\begin{bmatrix}-1&0&0&0&0\\3&-1&0&0&0\\6&3&0&0&0\\10&6&3&0&0\\15&10&6&3&0\end{bmatrix}}{\begin{bmatrix}0\\0\\0\\0\\1\end{bmatrix}}={\begin{bmatrix}0\\0\\0\\0\\0\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d65b137227fc1724147c3abb824ded8f60382bb)
![{\displaystyle (A-2I){\begin{bmatrix}0\\0\\0\\1\\0\end{bmatrix}}={\begin{bmatrix}-1&0&0&0&0\\3&-1&0&0&0\\6&3&0&0&0\\10&6&3&0&0\\15&10&6&3&0\end{bmatrix}}{\begin{bmatrix}0\\0\\0\\1\\0\end{bmatrix}}=3{\begin{bmatrix}0\\0\\0\\0\\1\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdf96fd2a41b59e9eed60d4dfdd791ebae3229ff)
![{\displaystyle (A-2I){\begin{bmatrix}0\\0\\1\\-2\\0\end{bmatrix}}={\begin{bmatrix}-1&0&0&0&0\\3&-1&0&0&0\\6&3&0&0&0\\10&6&3&0&0\\15&10&6&3&0\end{bmatrix}}{\begin{bmatrix}0\\0\\1\\-2\\0\end{bmatrix}}=3{\begin{bmatrix}0\\0\\0\\1\\0\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fe57932df7c588f09685564dca66f503303d324)
Així obtenim una base per cadascun dels espais propis generalitzats de A. Combinant-los obtenim un conjunt de vectors-columna, generador de l'espai vectorial de 5 dimensions.
![{\displaystyle \left\{{\begin{bmatrix}0\\1\\-3\\3\\-1\end{bmatrix}}{\begin{bmatrix}1\\-15\\30\\-1\\-45\end{bmatrix}}\right\},\left\{{\begin{bmatrix}0\\0\\0\\0\\1\end{bmatrix}}{\begin{bmatrix}0\\0\\0\\1\\0\end{bmatrix}}{\begin{bmatrix}0\\0\\1\\-2\\0\end{bmatrix}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09a2c3a454a928951bd7651b43b21d49233d414e)
Obtenim ara la forma canònica de Jordan:
![{\displaystyle T={\begin{bmatrix}0&0&0&1&0\\3&0&0&-15&0\\-9&0&0&30&1\\9&0&3&-1&-2\\-3&9&0&-45&0\end{bmatrix}}\quad J={\begin{bmatrix}1&1&0&0&0\\0&1&0&0&0\\0&0&2&1&0\\0&0&0&2&1\\0&0&0&0&2\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbf3b28fa7d4b38d759df0e06991264c05189279)
on
![{\displaystyle AT=TJ}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e478a3db9bb6dd20f6b40e5722ee6a47f61c0ad1)
Altres significats
- També es pot fer servir el terme vector propi generalitzar per un vector propi del problema de valor propi generalitzat
![{\displaystyle Av=\lambda Bv.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0367a102846b4dd7b789946739a2c067d014a8ab)
La dimensió del nucli de (A − λ I)k
Introducció
En aquesta secció mostrarem que, si λ és un valor propi de la matriu A amb multiplicitat algebraica k, llavors el nucli de (A - λ I)k té dimensió k.
Existència de valors propis
Considerem una matriu A n×n. El determinant de A és n-lineal i alternat. Addicionalment, det(I)=1, on I és la matriu identitat n×n. A partir de la definició de determinant hom pot veure que, per a una matriu triangular T=(tij),
![{\displaystyle \det(T)=\prod (t_{ii}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/470c8075e37a7dec08571aeb175c190b3baabf1f)
Existeixen tres tipus d'operacions elementals sobre matrius:
- multiplicació per un escalar,
- intercanvi de dues files, i
- addició d'un múltiple escalar d'una fila a una altra.
La multiplicació d'una fila de A per un escalar α provoca que el nou determinant sigui
. Si intercanviem dues files, llavors canvia el signe del determinant, i l'addició d'un múltiple escalar d'una fila a una altra no canvia el valor del determinant.
Tenim el següent teorema, que requereix una petita demostració:
Demostració |
Donada l'equació , podem aplicar operacions elementals fins a arribar a tenir , amb U una matriu triangular superior. Com que i , deduïm que si i només si almenys un . Si algun , llavors per substitució cap enrere (de la mateixa manera que a l'eliminació gaussiana), podem col·locar una component diferent a 0 dins x. Si, per contra, tot , la substitució cap enrere requereix que . |
Demostració |
L'equació és equivalent a . |
La demostració del resultat principal d'aquesta secció raurà en el concepte de transformació de semblança vist anteriorment.
Per qualsevol matriu A n×n, existeixen una matriu triangular T i una matriu unitària Q tals que .
Transformació de Schur en forma triangular |
Demostració |
Sigui λ1 un valor propi de la matriu A, i sigui x un vector propi associat a λ; és a dir, Ax = λ1x. Normalitzem la longitud de x de manera que |x| = 1. Si escrivim , construïm una matriu unitària . Q ha de tenir x com a primera columna, i les seves columnes formen una base ortonormal de ℂn. Ara, AQ = QU1, on U1 té la forma
Suposem que la hipòtesi d'inducció és que el teorema és vàlid per qualsevol matriu (n-1)×(n-1). Amb la construcció que hem fet fins al moment, el teorema és vàlid per n=2.
Escollim una matriu unitària Q0, de tal manera que U0 Q0 = Q0 U₂, on U₂ en forma triangular superior. Definim Q1 com:
Ara,
Resumint, ![{\displaystyle U_{1}Q_{1}=Q_{1}U_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec1bfcae3e7ee2089e0c39d95daa3e834c290f71) amb: ![{\displaystyle U_{3}={\begin{bmatrix}\lambda _{1}&z_{1\,2}&z_{1\,3}&\cdots &z_{1\,n}\\0&\lambda _{2}&z_{2\,3}&\cdots &z_{2\,n}\\0&0&\lambda _{3}&\cdots &z_{3\,n}\\\vdots &\vdots &\vdots &&\vdots \\0&0&0&\cdots &\lambda _{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8687650f9e5325096dbb563b5c89d25677d452d) Ara, i on Q i Q1 són unitàries i U₃ és triangular superior. Per tant, . Com que el producte de dues matrius unitàries és unitari, hem completat la demostració. |
Demostració del teorema de la dimensió del nucli
Com que
, tenim que
. És senzill comprovar que
![{\displaystyle (xI-A)=Q(xI-U)Q^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93800d4b4a9372625b58cf78e9f71c9da25fca84)
i per tant
![{\displaystyle \det(xI-A)=\det(xI-U)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6e058aac69a407fc9fbdfc617f6bb68ddd5112b)
Llavors, el polinomi característic de A és el mateix que el de U, i està donat per
![{\displaystyle p(x)=(x-\lambda _{1})(x-\lambda _{2})\cdots (x-\lambda _{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bed977abe89207dcc6f8bea7d8807d61306c3b62)
(donat que Q és unitària).
Observem que la construcció que hem indicat en la demostració anterior ens permet escollir qualsevol ordre pels valors propis de A, que acabaran essent els elements de la diagonal de la matriu triangular U. La multiplicitat algebraica d'un valor propi és el nombre de vegades que apareix a la diagonal.
Donat un valor propi λ de multiplicitat algebraica k, podem suposar que hem construït U de tal manera que λ apareix en els k primers elements de la diagonal.
![{\displaystyle U={\begin{bmatrix}\lambda &z_{12}&z_{13}&\cdots &z_{1k}&z_{1\,k+1}&\cdots &z_{1n}\\0&\lambda &z_{23}&\cdots &z_{2k}&z_{2\,k+1}&\cdots &z_{2n}\\&0&\lambda &\cdots &z_{3k}&z_{3\,k+1}&\cdots &z_{3n}\\&&\ddots &\ddots &&&\cdots &\\&&&&\lambda &&\cdots &\vdots \\&&&&&\lambda _{k+1}&\cdots &\\&&&&&&\ddots &\\0&0&&\cdots &&&&\lambda _{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29c2fb358339169ff7dc6cd4758e0c0887aa7038)
Col·loquem U-λI en forma de blocs, de la següent manera:
![{\displaystyle U-\lambda I={\begin{bmatrix}0&z_{12}&z_{13}&\cdots &z_{1k}&\vline &z_{1\,k+1}&\cdots &z_{1n}\\0&0&z_{23}&\cdots &z_{2k}&\vline &z_{2\,k+1}&\cdots &z_{2n}\\&0&0&\cdots &z_{3k}&\vline &z_{3\,k+1}&\cdots &z_{3n}\\&&\ddots &\ddots &&\vline &&\cdots &\\&&&&0&\vline &&\cdots &\vdots \\\hline &&&&&\vline &\beta _{k+1}&\cdots &\\&&&&&\vline &&\ddots &\\0&0&&\cdots &&\vline &&&\beta _{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06a9267e06ad362c41293723199e066cfd2216af)
El bloc inferior esquerre només té elements a 0. D'altra banda,
, per i = k+1, ..., n. És fàcil comprovar el següent:
![{\displaystyle U-\lambda I={\begin{bmatrix}&&&&&\vline &z_{1\,k+1}&\cdots &z_{1n}\\&&&&&\vline &z_{2\,k+1}&\cdots &z_{2n}\\&&B&&&\vline &z_{3\,k+1}&\cdots &z_{3n}\\&&&&&\vline &&\cdots &\\&&&&&\vline &&\cdots &\vdots \\\hline &&&&&\vline &&&\\&&0&&&\vline &&T&\\&&&&&\vline &&&\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be5a4767c171579192803fc5844636e9cdaa7111)
![{\displaystyle (U-\lambda I)^{k}={\begin{bmatrix}&&&&&\vline &z_{1\,k+1}&\cdots &z_{1n}\\&&&&&\vline &z_{2\,k+1}&\cdots &z_{2n}\\&&B^{k}&&&\vline &z_{3\,k+1}&\cdots &z_{3n}\\&&&&&\vline &&\cdots &\\&&&&&\vline &&\cdots &\vdots \\\hline &&&&&\vline &&&\\&&0&&&\vline &&T^{k}&\\&&&&&\vline &&&\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/360a4d567517ad0f286b45c79bed9e213f0389a5)
on B és una matriu k×k triangular superior, amb tots els elements de diagonal i per sota de la diagonal a 0, i T és una matriu triangular superior (n-k)×(n-k), construïda a partir dels blocs de (U - λI), com hem vist abans.
![{\displaystyle B={\begin{bmatrix}0&z_{12}&z_{13}&\cdots \\0&0&z_{23}&\cdots \\0&0&\ddots &\cdots \\0&0&\cdots &0\end{bmatrix}},\qquad T={\begin{bmatrix}\beta _{k+1}&&\cdots \\0&\ddots &\\\vdots &\\0&\cdots &\beta _{n}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fe3ee2ca211fda46a8d1916e569810eae0bc595)
Ara es comprova fàcilment que
![{\displaystyle B^{k}={\begin{bmatrix}0&0&0&\cdots \\0&0&0&\cdots \\0&0&\ddots &\cdots \\0&0&\cdots &0\end{bmatrix}},\qquad T^{k}={\begin{bmatrix}\beta _{k+1}^{k}&&\cdots \\0&\ddots &\\\vdots &\\0&\cdots &\beta _{n}^{k}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fa829bf0505a6312884889289d8dcde958e76b8)
És a dir, Bk té només elements a 0, i Tk és triangular amb elements no-nuls a la diagonal. Observem que, si multipliquem per B un vector columna v = (v1, v₂, ..., vk)T, llavors l'últim element (el k-sim) val 0. Després de dues multiplicacions per B, el penúltim element (el k-1-sim) també és zero; i així successivament.
D'aquí se segueix que (U-λI) té rang n-k, i que la dimensió del nucli és k.
Només resta notar que, com que (A-λI)k = Q (U-λI)k QT, llavors (A-λI)k té rang n-k i la dimensió del seu nucli és k. És a dir, una transformació unitària o altra de semblança mitjançant una matriu no-singular preserva el rang.
Hem demostrat el resultat principal.
Si és un valor propi d'una matriu A amb multiplicitat algebraica k, llavors el nucli de té dimensió k. |
Una observació important és que el fet d'elevar (A-λI) a una potència superior a k no afecta ni el rang ni la dimensió del nucli.
Bibliografia
- Axler, Sheldon. Linear algebra done right (en anglès). 2nd ed. (corrected). Nova York: Springer, 2002. ISBN 978-0-387-98258-8.