Ugrás a tartalomhoz

Invertálható mátrix

Ellenőrzött
A Wikipédiából, a szabad enciklopédiából

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.

Nem négyzetes mátrixok

[szerkesztés]

A nem négyzetes mátrixok nem invertálhatóak, de létezhet bal- vagy jobbinverzük. Ha az -es mátrix rangja , akkor létezik egy mátrix, hogy . Ez a mátrix balinverze. Hasonlóan, ha az -es mátrix rangja , akkor létezik egy mátrix, hogy . Ez a mátrix jobbinverze.

A Moore–Penrose-pszeudoinverz értelmezhető nem négyzetes mátrixokra és nem teljes rangú esetre is. Ennek néhány tulajdonsága megegyezik az inverz tulajdonságaival, és nem szinguláris négyzetes mátrix pszeudoinverze a mátrix inverze.

Invertálható mátrixok tulajdonságai

[szerkesztés]

Legyen egy -es mátrix a test felett. Ekkor a következő állítások ekvivalensek:

  • invertálható.
  • sor-ekvivalens az -es egységmátrixhoz.
  • -nak pivot eleme van.
  • determinánsa nem 0.
  • rangja .
  • Az egyenletnek csak a triviális megoldása van (azaz Null A = {0})
  • Minden -re az egyenletnek pontosan egy megoldása van.
  • oszlopvektorai lineárisan függetlenek.
  • oszlopvektorai kifeszítik -t.
  • oszlopvektorai bázisát alkotják.
  • Az lineáris leképezés bijekció -ről -re.
  • Van olyan -es mátrix, amire teljesül.
  • Az mátrix transzponáltja invertálható mátrix.
  • invertálható mátrix.
  • 0 nem sajátértéke -nak.

Általában egy kommutatív gyűrű feletti négyzetes mátrix pontosan akkor invertálható, ha determinánsa a gyűrű egysége.

Invertálható mátrix inverze maga is invertálható és

.

Egy invertálható mátrix nemnulla skalárral vett szorzata szintén invertálható és inverze a skalár inverzének és a mátrix inverzének szorzata:

.

Ha az és mátrixok invertálhatók, akkor szorzatuk is és

(tehát inverzképzésnél a tényezők sorrendje fordított).

A transzponálás és az invertálás felcserélhető:

A mátrix inverzének determinánsa a mátrix determinánsának inverze:

Az invertálható -es mátrixok csoportot alkotnak, a GL(n) csoportot.

Ha az A mátrix inverze saját magának, akkor involúciós mátrix:

és

Hosszabb szorzat inverze

[szerkesztés]

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

Invertálás

[szerkesztés]

Gauss-elimináció

[szerkesztés]

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

[szerkesztés]

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

[szerkeszté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átrix inverzének deriváltja

[szerkesztés]

Függjön az mátrix a paramétertől. Ekkor inverzének szerinti deriváltja

Ez a formula az

azonosság deriválásával bizonyítható.

Mátrixinvertálás valós időben

[szerkesztés]

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.

Jegyzetek

[szerkesztés]
  1. Gilbert Strang: Linear Algebra and Its Applications. (hely nélkül): Thomson Brooks/Cole. 2006. 46. o. ISBN 0-03-010567-6  

Források

[szerkesztés]
  • 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.