Maticový rozklad
Rozklad matice je znázornění matice jako součinu matic, které mají některé specifické vlastnosti (například ortogonalita , symetrie , diagonalita ). Každá třída maticových rozkladů má svou vlastní oblast použití; zejména mnoho efektivních algoritmů výpočetní lineární algebry je založeno na konstrukci odpovídajících expanzí matic.
Rozšíření pro řešení SLAE
Rozklad LU
- Omezení: matice je čtvercová a nedegenerovaná a všechny její hlavní hlavní minority jsou nenulové [1] .
- Typ rozkladu: , kde je spodní trojúhelníková matice a je horní trojúhelníková matice . Pro jednoznačné expanze se obvykle navíc požaduje, aby matice byla unitriangular , tedy trojúhelníková matice s diagonálními vstupy rovnými jedné (někdy je na matici místo toho kladen požadavek unitrianity ) [2] .
- Podobné rozklady: LDU - rozklad ve tvaru , kde je spodní jednotková trojúhelníková matice, je horní jednotková trojúhelníková matice a je diagonální
- Podobná rozšíření : LUP -rozklad ve tvaru _ _ _ Toto je zobecnění LU rozkladu na případ libovolných nedegenerovaných matic.
- Existence: LUP rozklad existuje pro jakoukoli čtvercovou matici . Když je matice redukována na matici identity , rozklad LUP se redukuje na rozklad LU .
- LUP a LU - rozklady se používají při řešení SLAE dimenze . Odpovídající metody jsou variantami maticového tvaru Gaussovy metody . Matice charakterizuje kumulativní účinek řádkových permutací v Gaussově metodě.
Faktorizace pořadí
- Omezení: libovolná matice velikosti a pořadí .
Choleský rozklad
QR rozklad
- Omezení: libovolná matice velikosti .
- Typ rozkladu: , kde je ortogonální matice o velikosti a je horní trojúhelníková matice o velikosti .
- Podobné rozklady: Existují analogické rozklady QL- , RQ- a LQ- .
- Vzhledem k ortogonalitě matice (což znamená, že inverzní matice se shoduje s transponovanou maticí ), je systém ekvivalentní systému s trojúhelníkovou maticí, jejíž řešení není obtížné.
- Jedním ze způsobů, jak získat matici , je Gram-Schmidtův proces a poté .
- Konstrukce QR rozkladu je základem QR algoritmu , který je jednou z metod hledání vlastních vektorů a maticových hodnot.
- Algoritmy pro řešení SLAE založené na QR rozkladu fungují téměř stejně pro dobře podmíněné i singulární systémy [5] .
Interpolační expanze
- Omezení: libovolná matice dimenze a hodnosti .
- Typ rozkladu: , kde je podmnožina indexů ; matice se skládá z odpovídajících sloupců původní matice; je matice, jejíž všechny prvky jsou modulo nejvýše 2 (navíc obsahuje jednotkovou podmatici dimenze ). Podobný rozklad lze získat v řadách.
Expanze vlastních nebo singulárních hodnot
Spektrální rozklad
- Omezení: diagonalizovatelná čtvercová matice , tj. mající sadu různých vlastních vektorů ( vlastní hodnoty se nemusí lišit).
- Typ rozšíření: , kde je úhlopříčka vytvořená z vlastních čísel a sloupce jsou odpovídající vlastní vektory .
- Existence: Matice dimenzí má vždy vlastní čísla (početná násobnost), která lze seřadit (nikoli jedinečným způsobem), aby se vytvořila matice diagonálních rozměrů a odpovídající matice nenulových sloupců , které splňují rovnost . Pokud jsou vlastní vektory různé, pak má matice inverzní hodnotu, která poskytne požadované rozšíření [6] .
- Vždy je možné normalizovat vlastní vektory tak, aby měly délku 1. Pokud jde o skutečnou symetrickou matici, pak je vždy invertibilní a normalizovatelná. V tomto případě se matice ukáže jako ortogonální, protože vlastní vektory jsou vůči sobě ortogonální . Požadované rozšíření (které v posuzovaném případě vždy existuje) lze tedy zapsat jako .
- Nezbytnou a postačující podmínkou diagonalizovatelnosti je shoda geometrické a algebraické násobnosti každého vlastního čísla. Zejména existence odlišných vlastních hodnot je postačující (ale ne nezbytnou) podmínkou.
- Spektrální rozklad je užitečný pro pochopení řešení systémů lineárních obyčejných diferenciálních rovnic nebo diferenčních rovnic . Například diferenční rovnice s počáteční podmínkou má řešení , které lze zapsat jinak jako (in case ). Zvednutí diagonální matice na mocninu se zredukuje na zvednutí každého prvku na diagonále na mocninu , což je nesrovnatelně jednodušší než (samozřejmě pokud ten druhý zpočátku nemá diagonální tvar).
Jordan normální tvar
- Omezení: čtvercová matice .
- Typ expanze: , kde je Jordanova matice a je přechodová matice na nový základ.
- Jordanova normální forma je zobecněním diagonální formy matice vlastních hodnot na případ, kdy geometrická násobnost jednoho nebo více vlastních hodnot je menší než algebraická násobnost .
Schurův rozklad
- Omezení: čtvercová matice .
- Existují dvě verze rozkladu: pro případ reálné matice a pro případ komplexní matice. Ta má vždy komplexní Schurovu expanzi.
- Typ rozkladu (reálný případ): (všechny matice v obou částech rovnosti jsou složeny z přísně reálných hodnot). V tomto případě je ortogonální matice a je kvazitrojúhelníková matice . Ten se nazývá skutečná Schurova forma . Bloky na diagonále mají buď velikost (v tom případě se jedná o skutečná vlastní čísla) nebo (tvořené dvojicí komplexně sdružených vlastních čísel).
- Typ rozkladu (složitý případ): , kde je unitární , je jeho hermitovský konjugát a je to horní trojúhelníková matice, nazývaná komplexní Schurova forma , která obsahuje vlastní čísla na diagonále.
QZ-rozklad
- Omezení: čtvercové matice a .
- Existují dvě verze rozkladu: komplexní a skutečný.
- Typ expanze (složitý případ): , kde a jsou unitární matice , je hermitovský konjugovaný k , a jsou horní trojúhelníkové matice .
- V zadaném rozkladu jsou poměrem diagonálních prvků v a odpovídajících zobecněná vlastní čísla, která jsou řešením zobecněného problému hledání vlastních čísel (kde je neznámý skalár a je neznámý nenulový vektor).
- Typ rozkladu (reálný případ): , kde všechny matice sestávají výhradně z reálných hodnot. jsou ortogonální matice a jsou kvazitrojúhelníkové matice , sestávající z bloků nebo (podobně jako odpovídající bloky v Schurově expanzi).
Dekompozice singulární hodnoty
- Omezení: matice libovolné velikosti [7] .
- Typ rozkladu: , kde je nezáporná diagonální matice , jsou unitární matice a je Hermitova konjugovaná . V reálném případě , a , stejně jako dříve, nezáporná diagonální matice , jsou ortogonální [7] [8] .
- Prvky na diagonále matice se nazývají singulární hodnoty matice a označují se Počet nenulových singulárních hodnot matice se rovná hodnosti této matice [9] .
- Singulární rozklad, stejně jako spektrální rozklad, zahrnuje nalezení základu podprostorů, akci operátora, na jehož elementech je ekvivalentní násobení skalárem (tj. ), ale singulární rozklad je obecnější metodou, protože matice nemá být hranatý.
Další rozšíření
Polární expanze
- Omezení: čtvercová komplexní matice [10] .
- Typ expanze (složitý případ): , kde je hermitovská matice s nezápornými vedoucími minoritami a je unitární matice [10] [11] .
- Typ expanze (reálný případ): , kde je symetrická matice s nezápornými úvodními minoritami a je ortogonální matice [12] [13] .
- Pro nedegenerovanou matrici je polární rozklad jedinečný a pro degenerovanou matrici je jednoznačně definován pouze faktor [10] .
- Polární rozklad matice v komplexním případě je analogický k reprezentaci libovolného komplexního čísla ve tvaru [14] .
Frobenius normální forma
Poznámky
- ↑ Ikramov, 1991 , s. dvacet.
- ↑ Voevodin a Kuzněcov, 1984 , s. 75-76.
- ↑ 1 2 Voevodin a Kuzněcov, 1984 , s. 176.
- ↑ William H. Press, Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery. . 2.9 Cholesky Decomposition // Numerical Recipes in C. 2nd edition. — Cambridge: Cambridge University Press. - ISBN 0-521-43108-5 .
- ↑ QR a SVD rozklady: "špatné" SLAE . Získáno 17. listopadu 2016. Archivováno z originálu 22. června 2017. (neurčitý)
- ↑ Meyer, 2000 , str. 514.
- ↑ 1 2 Ikramov, 1991 , str. 21.
- ↑ Voevodin a Kuzněcov, 1984 , s. 80.
- ↑ Forsyth J., Malcolm M., Moler K. . Strojové metody matematických výpočtů. — M .: Mir , 1980. — 280 s. — S. 214, 225.
- ↑ 1 2 3 Voevodin a Kuzněcov, 1984 , s. 78.
- ↑ Gantmakher, 1988 , str. 234-236.
- ↑ Voevodin a Kuzněcov, 1984 , s. 79.
- ↑ Gantmakher, 1988 , str. 244.
- ↑ Gantmakher, 1988 , str. 236.
Literatura
Vektory a matice |
---|
vektory | Základní pojmy |
|
---|
Druhy vektorů |
|
---|
Operace s vektory |
|
---|
Typy prostoru |
|
---|
|
---|
matrice | |
---|
jiný |
|
---|