Matriisin hajoaminen
Matriisihajotelma on esitys matriisista matriisien tulona , joilla on tiettyjä ominaisuuksia (esimerkiksi ortogonaalisuus , symmetria , diagonaalisuus ). Jokaisella matriisihajotusluokalla on oma sovellusalue; erityisesti monet tehokkaat laskennalliset lineaarialgebra -algoritmit perustuvat vastaavien matriisilaajennusten rakentamiseen.
Laajennukset SLAE:n ratkaisemiseen
LU:n hajoaminen
- Rajoitukset: matriisi on neliömäinen ja rappeutumaton , ja kaikki sen johtavat päämollarit ovat nollasta poikkeavia [1] .
- Hajotustyyppi: , jossa on alempi kolmiomatriisi ja ylempi kolmiomatriisi . Yksiselitteisiä laajennuksia varten vaaditaan yleensä lisäksi, että matriisi on yksikolmio , eli kolmiomatriisi, jonka diagonaaliset merkinnät ovat yhtä suuria (joskus matriisille asetetaan sen sijaan unitrianity-vaatimus ) [2] .
- Samanlaisia hajotuksia: LDU -hajotelma muodossa , jossa on alempi kolmiomatriisi, on ylempi yksikolmiomatriisi ja on diagonaalinen
- Samanlaisia laajennuksia : LUP -hajotelma muodossa _ _ _ _ Tämä on yleistys LU -hajotelmasta mielivaltaisten ei-degeneroituneiden matriisien tapaukseen.
- Olemassaolo: LUP -hajotelma on olemassa mille tahansa neliömatriisille . Kun matriisi pelkistetään identiteettimatriisiin , LUP - hajotelma pelkistetään LU - hajotelmaksi.
- LUP- ja LU -hajotelmia käytetään mittasuhteiden SLAE :n ratkaisemisessa . Vastaavat menetelmät ovat muunnelmia Gaussin menetelmän matriisimuodosta . Matriisi kuvaa rivipermutaatioiden kumulatiivista vaikutusta Gaussin menetelmässä.
Sijoitustekijät
Cholesky-hajoaminen
QR-hajotus
Interpoloinnin laajennus
- Rajoitukset: mielivaltainen ulottuvuuden ja arvon matriisi .
- Hajotustyyppi: , jossa on indeksien osajoukko ; matriisi koostuu alkuperäisen matriisin vastaavista sarakkeista; on matriisi, jonka kaikki elementit ovat modulo enintään 2 (lisäksi se sisältää yksikköalimatriisin dimensiolla ). Samanlainen jaottelu voidaan saada riveissä.
Ominaisarvon tai yksittäisarvon laajennukset
Spektrihajoaminen
- Rajoitukset: diagonalisoitava neliömatriisi , eli jossa on joukko erilaisia ominaisvektoreita ( ominaisarvojen ei tarvitse olla erilaisia).
- Laajennustyyppi: , missä on ominaisarvoista muodostettu diagonaali ja sarakkeet vastaavat ominaisvektorit .
- Olemassaolo: Dimensiomatriisilla on aina ominaisarvot (laskentakerroin), jotka voidaan järjestää (ei ainutlaatuisella tavalla) diagonaalisen mittamatriisin ja vastaavan nollasta poikkeavien sarakkeiden matriisin muodostamiseksi, jotka täyttävät yhtälön . Jos ominaisvektorit ovat erilaisia, niin matriisissa on käänteisarvo, joka antaa halutun laajennuksen [6] .
- Aina on mahdollista normalisoida ominaisvektorit niin, että niiden pituus on 1. Jos todellinen symmetrinen matriisi, niin se on aina käännettävä ja normalisoitavissa. Tässä tapauksessa matriisi osoittautuu ortogonaaliseksi, koska ominaisvektorit ovat ortogonaalisia toisiinsa nähden. Siten haluttu laajennus (joka on aina olemassa tarkasteltavassa tapauksessa) voidaan kirjoittaa muodossa .
- Diagonalisoitavuuden välttämätön ja riittävä ehto on kunkin ominaisarvon geometrisen ja algebrallisen monikertaisyyden yhtäläisyys. Erityisesti erillisten ominaisarvojen olemassaolo on riittävä (mutta ei välttämätön) ehto.
- Spektrihajotus on hyödyllinen ratkaisujen ymmärtämiseen lineaaristen tavallisten differentiaaliyhtälöiden tai differentiaaliyhtälöiden järjestelmiin . Esimerkiksi eroyhtälöllä, jolla on alkuehto, on ratkaisu , joka voidaan kirjoittaa eri tavalla muodossa (tapauksessa ). Diagonaalimatriisin nostaminen potenssiin pelkistää diagonaalin jokaisen elementin nostamisen potenssiin , joka on verrattoman yksinkertaisempi kuin (ellei jälkimmäisellä tietysti alun perin ole diagonaalinen muoto).
Jordan normaalimuoto
- Rajoitukset: neliömatriisi .
- Laajennustyyppi: , missä on Jordan-matriisi ja siirtymämatriisi uudelle perustalle.
- Jordanin normaalimuoto on ominaisarvomatriisin diagonaalimuodon yleistys tapaukseen, jossa yhden tai useamman ominaisarvon geometrinen monikertaisuus on pienempi kuin algebrallinen monikerta .
Schur decomposition
- Rajoitukset: neliömatriisi .
- Hajotuksesta on kaksi versiota: todellisen matriisin tapauksessa ja kompleksisen matriisin tapauksessa. Jälkimmäisellä on aina monimutkainen Schur-hajoaminen.
- Hajotustyyppi (reaalitapaus): (kaikki matriisit yhtälön molemmissa osissa koostuvat tiukasti reaaliarvoista). Tässä tapauksessa on ortogonaalinen matriisi ja kvasi - kolmiomatriisi . Jälkimmäistä kutsutaan oikeaksi Schur-muodoksi . Diagonaalin lohkot ovat joko kooltaan (jolloin ne ovat todellisia ominaisarvoja) tai (muodostuvat kompleksisten konjugoitujen ominaisarvojen parista).
- Hajotustyyppi (monimutkainen tapaus): , jossa on unitaarinen , on sen hermiittinen konjugaatti ja on ylempi kolmiomatriisi, jota kutsutaan kompleksiseksi Schur-muodoksi ja joka sisältää ominaisarvoja diagonaalissa.
QZ-hajoaminen
- Rajoitukset: neliömatriisit ja .
- Hajoamisesta on kaksi versiota: monimutkainen ja todellinen.
- Laajennustyyppi (monimutkainen tapaus): , jossa ja ovat unitaarisia matriiseja , on hermiittinen konjugaatti , ja ovat ylempiä kolmiomatriiseja .
- Määritetyssä jaottelussa diagonaalielementtien suhde ja sitä vastaavat ovat yleistettyjä ominaisarvoja, jotka ovat ratkaisu ominaisarvojen löytämisen yleiseen ongelmaan (jossa on tuntematon skalaari ja tuntematon nollasta poikkeava vektori).
- Hajotustyyppi (todellinen tapaus): , jossa kaikki matriisit koostuvat tiukasti reaaliarvoista. ovat ortogonaalisia matriiseja ja ovat kvasi -kolmiomatriiseja , jotka koostuvat lohkoista tai (samanlainen kuin vastaavat lohkot Schur-laajennuksessa).
Yksittäisen arvon hajottelu
- Rajoitukset: mielivaltainen kokomatriisi [7] .
- Hajotustyyppi: , jossa on ei-negatiivinen diagonaalinen matriisi , ovat unitaarisia matriiseja ja on hermiittinen konjugaatti . Todellisessa tapauksessa , ja , kuten aiemmin, ei-negatiivinen diagonaalimatriisi , ovat ortogonaalisia [7] [8] .
- Matriisin diagonaalissa olevia elementtejä kutsutaan matriisin singulaariarvoiksi ja niitä merkitään . Matriisin nollasta poikkeavien singulaariarvojen lukumäärä on yhtä suuri kuin tämän matriisin arvo [9] .
- Singulaarihajotus sisältää spektrihajottamisen tapaan aliavaruuksien perustan löytämisen, operaattorin toiminta, jonka alkioissa vastaa skalaarilla kertomista (eli ), mutta singulaariarvon hajottaminen on yleisempi menetelmä, koska matriisissa ei ole olla neliö.
Muut laajennukset
Napalaajennus
- Rajoitukset: neliökompleksimatriisi [10] .
- Laajennustyyppi (monimutkainen tapaus): , jossa on hermiittinen matriisi , jossa on ei-negatiivisia alamoreita, ja on unitaarinen matriisi [10] [11] .
- Laajennustyyppi (todellinen tapaus): , jossa on symmetrinen matriisi , jossa on ei-negatiiviset alamerkit, ja on ortogonaalinen matriisi [12] [13] .
- Ei-degeneroituneelle matriisille polaarinen hajoaminen on ainutlaatuinen, ja degeneroituneelle matriisille vain tekijä on yksiselitteisesti määritelty [10] .
- Matriisin polaarinen hajotelma kompleksitapauksessa on analoginen mielivaltaisen kompleksiluvun esittämisen kanssa muodossa [14] .
Frobenius normaalimuoto
Muistiinpanot
- ↑ Ikramov, 1991 , s. kaksikymmentä.
- ↑ Voevodin ja Kuznetsov, 1984 , s. 75-76.
- ↑ 1 2 Voevodin ja Kuznetsov, 1984 , s. 176.
- ↑ William H. Press, Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery. . 2.9 Cholesky Decomposition // Numeeriset reseptit C. 2. painos. — Cambridge: Cambridge University Press. - ISBN 0-521-43108-5 .
- ↑ QR- ja SVD-hajotelmat: "huono" SLAE . Haettu 17. marraskuuta 2016. Arkistoitu alkuperäisestä 22. kesäkuuta 2017. (määrätön)
- ↑ Meyer, 2000 , s. 514.
- ↑ 1 2 Ikramov, 1991 , s. 21.
- ↑ Voevodin ja Kuznetsov, 1984 , s. 80.
- ↑ Forsyth J., Malcolm M., Moler K. . Matemaattisten laskelmien konemenetelmät. — M .: Mir , 1980. — 280 s. — S. 214, 225.
- ↑ 1 2 3 Voevodin ja Kuznetsov, 1984 , s. 78.
- ↑ Gantmakher, 1988 , s. 234-236.
- ↑ Voevodin ja Kuznetsov, 1984 , s. 79.
- ↑ Gantmakher, 1988 , s. 244.
- ↑ Gantmakher, 1988 , s. 236.
Kirjallisuus
Vektorit ja matriisit |
---|
Vektorit | Peruskonseptit |
|
---|
Vektorityypit |
|
---|
Operaatiot vektoreille |
|
---|
Tilatyypit |
|
---|
|
---|
matriiseja | |
---|
Muut |
|
---|