A lineáris algebrában egy n×n-es (négyzetes) mátrix invertálható, reguláris, nemelfajuló vagy nem szinguláris, ha létezik egy olyan n×n-es mátrix, melyre igaz:
- ,
ahol az n×n-es egységmátrixot jelöli és a szorzás a szokásos mátrixszorzás. Ebben az esetben a -t egyértelműen meghatározza az mátrix, az mátrix inverzének hívják és -nel jelölik . Igazolható, hogy ha az és négyzetes mátrixokra , akkor is teljesül.
A nem invertálható négyzetes mátrixot szingulárisnak vagy degeneráltnak nevezik, ekkor a determináns értéke nulla ().
A mátrixban levő elemek többnyire valós, vagy komplex számok, de a definíciók gyűrű fölötti mátrixokra is működnek.
Alapszabályként kimondható, hogy majdnem minden négyzetes mátrix invertálható. A valós számtest esetében ez a következőképpen tehető precízzé: az n×n-es szinguláris mátrixok halmaza, mint részhalmaza, nullmértékű halmaz (a Lebesgue-mérték szerint). Ez azért igaz, mert a szinguláris mátrixok a determináns, egy -változós polinom gyökrendszerei.
Ez azt jelenti, hogy ha véletlenszerűen kiválasztunk egy valós elemű négyzetes mátrixot, annak valószínűsége, hogy a mátrix szinguláris, nulla. A gyakorlatban azonban bukkanhatunk nem invertálható mátrixokra. Numerikus módszerek használata esetén azok a mátrixok is problematikusak lehetnek, melyek invertálhatók, de közel esnek a szinguláris mátrixhoz, ezekre a mátrixokra mondják, hogy rosszul kondicionált mátrixok.
Az n×n-es invertálható mátrixok halmaza nyílt és sűrű az -es mátrixok topologikus terében. Ekvivalensen a szinguláris mátrixok halmaza zárt és sehol sem sűrű.
A mátrixinvertálás az művelet neve.
Legyen test feletti reguláris mátrix. Ekkor
Ez a szabály teljes indukcióval bizonyítható.
Két tényezőre
Legyen a mátrix a szorzat inverze. Ekkor
- .
inverzével balról szorozva
egyszerűsítve
Így az egyenlet bal oldalán egy tényezővel rövidebb szorzat marad. Az indukciós feltevés szerint
Ezzel balról szorozva
azaz
de az inverz mátrix, így
azaz
Gauss-elimináció
A Gauss-Jordan elimináció egy algoritmus, amely használható az adott mátrix invertálhatóságának vizsgálatára, illetve hogy megtaláljuk az inverzet. Egy alternatíva az LU felbontás, amely létrehoz egy felső és egy alsó háromszögmátrixot, melyeket könnyebb invertálni. Speciális célokra -es mátrixokat blokkmátrixként invertálhatunk, ahol a blokkok -es mátrixok. Ehhez rekurzív eljárásokat alkalmaznak. Más méretű mátrixok felduzzaszthatóak új sorokkal és oszlopokkal. Más célokra a Newton-módszer egy fajtája használható (konkrétan amikor kapcsolódó mátrixok családjával foglalkozunk, tehát a korábbi mátrixok inverzeit használhatjuk fel későbbi mátrixok inverzeinek létrehozására).
Analitikus módszer
Az adjungált mátrix segíthet kis mátrixok inverzének kiszámolásában, de ez a rekurzív módszer nem hatékony nagy mátrixoknál. Hogy meghatározzuk az inverzet, kiszámoljuk a mátrix adjungáltját:
ahol az determinánsa, a mátrix adjungáltjának -edik sorában és -edik oszlopában levő szám, és jelöli a mátrix transzponáltját.
A legtöbb praktikus használathoz nem feltétlenül szükséges invertálni a mátrixot ahhoz, hogy megoldjuk az elsőfokú egyenlet rendszerét; de az egyértelmű megoldáshoz a mátrixnak invertálhatónak kell lennie.
A felbontási technikák, mint például az LU felbontás, sokkal gyorsabbak, mint az invertálás, és a lineáris rendszerek speciális osztályainál különféle gyors algoritmusokat is felfedeztek.
2×2-es mátrixok invertálása
A fent említett adjungáltegyenlet a következő eredményt hozza 2×2-es mátrixokra:[1]
Ez azért lehetséges, mert a kérdéses mátrix determinánsának reciproka és ugyanez a stratégia használható más méretű mátrixokra is.
3×3-as mátrixok invertálása
ahol
Blokkos invertálás
A mátrixok invertálhatóak blokkosan is a következő inverziós formula használatával:
|
|
ahol , , és tetszőleges méretű blokkok. -nak és -nek természetesen négyzetes mátrixnak kell lennie, hogy invertálhatóak legyenek. Ez a stratégia különösen hasznos, ha diagonális és (az Schur-komplemense) kis mátrix, mivel ezek azok a mátrixok, melyek könnyen invertálhatók. Ezt a technikát többször is feltalálták, így Hans Bolz (1923), aki geodetikus mátrixok inverziójára használta, illetve Tadeusz Banachiewicz, aki általánosította és bebizonyította helyességét.
Az invertáló algoritmus, amely először és -nél működött és az (1) egyenlethez vezetett, blokkosította a mátrixot. Ehelyett ha először -val és -vel foglalkozunk, az eredmény
|
|
Az (1) és (2) egyenletrendszert összetéve ez következik:
|
|
ahol a (3) egyenlet a mátrixinverziós lemma, amely egyenértékű a binomiális inverzió tételével.
A mátrixinverziós lemma bizonyítása
Először szorozzuk meg a (3) egyenlet RHS-ét az LHS inverzével, hogy megkapjuk
Jegyezzük, hogy ha meg tudjuk mutatni, hogy , akkor a , term kiesik. Tovább egyszerűsítve
Megmutattuk, hogy egyenlő . A term törlése után csak egy identitásmátrix maradt és a bizonyítás befejeződött.
A mátrixinvertálás fontos szerepet játszik a komputergrafikában, különösen a háromdimenziós grafikák renderelésében és a háromdimenziós szimulációban. Rendszerint 3×3-as és 4×4-es mátrixok inverzére van szükség. Az invertálás lassabb, mint a mátrixszorzás és a forgatómátrixok előállítása. Assembly nyelvű rutinok és SIMD processzorkiterjesztések célozzák meg a problémát.
Gilbert Strang: Linear Algebra and Its Applications. (hely nélkül): Thomson Brooks/Cole. 2006. 46. o. ISBN 0-03-010567-6
- Cormen, Thomas H.; Leiserson, Charles E., Rivest, Ronald L., Stein, Clifford (2001). "28.4: Inverting matrices". Introduction to Algorithms (2nd edition ed.), MIT Press and McGraw-Hill. pp. pp. 755–760. ISBN 0-262-03293-7.
- Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, p. 14, ISBN 978-0-521-38632-6 .
- Strang, Gilbert (2006). Linear Algebra and Its Applications, Thomson Brooks/Cole. pp. 46. ISBN 0-03-010567-6.