Algebra > Lineaarialgebra > Matriisit > Matriisi Oma-arvot >
Algebra > Lineaarialgebra > Matriisit > Matriisi > Matriisi Decomposition >

EXPLORE THIS TOPIC IN the MathWorld Classroom

Eigenvektorit ovat lineaariseen yhtälösysteemiin liittyvien vektoreiden erityinen joukko (i.e., matriisiyhtälöön), joita kutsutaan joskus myös ominaisvektoreiksi, ominaisvektoreiksi tai latenttivektoreiksi (Marcus ja Minc 1988, s. 144).

Systeemin ominaisvektoreiden ja ominaisarvojen määrittäminen on äärimmäisen tärkeää fysiikassa ja tekniikassa, jossa se vastaa matriisien diagonalisointia ja tulee esiin esimerkiksi sellaisissa yleisissä sovelluksissa kuin stabiilisuusanalyysi, pyörivien kappaleiden fysiikka ja värähtelevien systeemien pienet värähtelyt, vain muutamia mainitakseni. Jokaiselle ominaisvektorille on parina vastaava niin sanottu ominaisarvo. Matemaattisesti on erotettava kaksi erilaista ominaisvektorityyppiä: vasemmanpuoleiset ja oikeanpuoleiset ominaisvektorit. Monissa fysiikan ja tekniikan ongelmissa riittää kuitenkin, että tarkastellaan vain oikeita ominaisvektoreita. Tällaisissa sovelluksissa ilman tarkennusta käytetty termi ”omavektori” voidaan siis ymmärtää viittaamaan oikeaan omavektoriin.

Neliömatriisin A hajottaminen ominaissuureiksi ja omavektoreiksi tunnetaan tässä työssä ominaissuureiden hajottamisena, ja se, että tämä hajottaminen on aina mahdollista, kunhan matriisin A omavektoreista koostuva matriisi on neliönmuotoinen, tunnetaan ominaissuureiden hajotuslausekkeena.

Määritellään oikea omavektori sarakevektoriksi X_R, joka täyttää

 AX_R=lambda_RX_R,
(1)

jossa A on matriisi, joten

 (A-lambda_RI)X_R=0,
(2)

joka tarkoittaa, että oikeilla ominaissuureilla on oltava nolladeterminantti, i.e.,

 det(A-lambda_RI)=0.
(3)

Määritellään vastaavasti vasen omavektori rivivektoriksi X_L, joka tyydyttää

 X_LA=lambda_LX_L.
(4)

Transponoimalla kumpikin puoli saadaan

 (X_LA)^(T)=lambda_LX_L^(T),
(5)

joka voidaan kirjoittaa uudelleen muotoon

 A^(T)X_L^(T)=lambda_LX_L^(T).
(6)

Järjestetään uudelleen, jolloin saadaan

 (A^(T)-lambda_LI)X_L^(T)=0,
(7)

mikä tarkoittaa

 det(A^(T)-lambda_LI)=0.
(8)

Kirjoittamalla uudelleen saadaan

0=det(A^(T)-lambda_LI) = det(A^(T)-lambda_LI^(T))
(9)
= det(A-lambda_LI)^(T)
(10)
= det(A-lambda_LI),
(11)

jossa viimeinen vaihe seuraa identiteetistä

det(A)=det(A^(T)). vasemman- ja oikeanpuoleiset ominaisarvot ovat ekvivalentteja, väite, joka ei päde ominaisvektoreille.

Olkoon X_R oikeanpuoleisten ominaisvektoreiden sarakkeiden muodostama matriisi ja X_L vasemmanpuoleisten ominaisvektoreiden rivien muodostama matriisi. Olkoon

 D=.
(13)

Tällöin

.

AX_R = X_RD
(14)
X_LA = DX_L
(15)

ja

X_LAX_R = X_LX_RD
(16)
X_LAX_R = DX_LX_R,
(17)

so

 X_LX_RD=DX_LX_R.
(18)

Mutta tämä yhtälö on muotoa

.

 CD=DC
(19)

jossa D on diagonaalimatriisi, joten on oltava totta, että C=X_LX_R on myös diagonaalinen. Erityisesti, jos A on symmetrinen matriisi, niin vasen ja oikea ominaisvektori ovat yksinkertaisesti toistensa transpositioita, ja jos A on itseadjungoitu matriisi (eli se on hermeettinen), niin vasen ja oikea ominaisvektori ovat adjungoituja matriiseja.

Eigenvektorit eivät saa olla yhtä suuria kuin nollavektori. Ominaisvektorin nollasta poikkeava skalaarikerrannainen vastaa alkuperäistä ominaisvektoria. Näin ollen, yleisyyden menettämättä, ominaisvektorit normalisoidaan usein yksikköpituisiksi.

Vaikka n×n matriisilla on aina n ominaisarvoa, joista osa tai kaikki voivat olla degeneroituneita, tällaisella matriisilla voi olla 0:sta n lineaarisesti riippumatonta ominaisvektoria. Esimerkiksi matriisilla on vain yksi omavektori (1,0).

Eigenvektorit voidaan laskea Wolfram-kielessä käyttämällä omavektoreita. Tämä komento palauttaa aina listan, jonka pituus on n, joten kaikki ominaisvektorit, jotka eivät ole lineaarisesti riippumattomia, palautetaan nollavektoreina. Omavektorit ja ominaisarvot voidaan palauttaa yhdessä komennolla Eigensystem.

Annetaan 3×3 matriisi A, jolla on omavektorit x_1, x_2 ja x_3 ja niitä vastaavat ominaissuureet lambda_1, lambda_2 ja lambda_3, niin mielivaltainen vektori y voidaan kirjoittaa

 y=b_1x_1+b_2x_2+b_3x_3.
(20)

Sovelletaan matriisia A,

Ay = b_1Ax_1+b_2Ax_2+b_3Ax_3
(21)
= lambda_1(b_1x_1+(lambda_2)/(lambda_1)b_2x_2+(lambda_3)/(lambda_1)b_3x_3),
(22)

so

 A^ny=lambda_1^n.
(23)

Jos lambda_1lambda_2,lambda_3, ja b_1!=0, seuraa siis, että

 lim_(n-infty)A^ny=lambda_1^nb_1x_1,
(24)

siten matriisin toistuva soveltaminen mielivaltaiseen vektoriin hämmästyttävällä tavalla johtaa ina vektoriin, joka on verrannollinen suurimman ominaisarvon omaavaan ominaisvektoriin.