A lambda mátrix ( λ - mátrix , polinomok mátrixa ) egy négyzetes mátrix , amelynek elemei polinomok valamilyen számmező felett . Ha van olyan mátrixelem, amely fokú polinom , és nincsenek -nál nagyobb fokú mátrixelemek , akkor a λ-mátrix foka.
A mátrixokon végzett szokásos műveletek használatával bármely λ-mátrix a következőképpen ábrázolható:
Ha a mátrix determinánsa nem nulla, akkor a λ-mátrixot regulárisnak nevezzük.
Példa egy szabálytalan λ-mátrixra:
Az azonos rendű λ-mátrixok a szokásos módon összeadhatók és szorozhatók egymás között, és az eredmény egy másik λ-mátrix.
Legyen és rendek λ-mátrixai és rendre, és , akkor
; ,ahol legalább az egyik mátrix nem nulla, ott van
; ;Tegyük fel, hogy ez egy szabályos λ-mátrix, és vannak olyan λ-mátrixok , amelyek fokozata kisebb vagy annál kisebb ,
.Ebben az esetben jobb hányadosnak nevezzük , ha elosztjuk , és - a jobb maradék . Hasonlóképpen, és a bal hányados és a bal maradék , ha elosztjuk az if -vel
és vagy fokozat kisebb, mint fok .
Ha a jobb (bal) maradék 0, akkor jobb (bal) osztónak nevezzük , ha osztjuk -val .
Ha szabályos, akkor a jobb oldali (bal) hányados és a jobb (bal) maradék, ha osztva -val , létezik és egyedi.
A mátrixszorzás nem kommutativitása miatt, ellentétben a közönséges polinom tulajdonságaival, egy λ-mátrixra nem lehet olyan egyenlőséget írni, mint
,így definiáljuk a λ-mátrix megfelelő értékét a mátrixban , mint
, ha ;és balra értéke" a következőképpen:
,és általában .
A λ-mátrixoknál van egy Bezout-tételhez hasonló tulajdonság a polinomokra: a jobb és bal maradék a λ-mátrix elosztása után , ahol - az azonosságmátrix és .
A tulajdonság faktorizálással igazolt:
,ha ennek az egyenlőségnek mindkét oldalát megszorozzuk a bal oldallal, és összeadjuk a kapott egyenlőségeket , a jobb oldal így fog kinézni , ahol van valami λ-mátrix. Az egyenlőség bal oldala:
.Ilyen módon:
.Az eredmény most a megfelelő maradék egyediségéből következik. A baloldali maradékra vonatkozó állítást úgy kapjuk meg, hogy az eredeti dekompozícióban szereplő tényezőket megfordítjuk, az eredményt megszorozzuk a jobb oldalival és összegezzük.
Következmény: ahhoz, hogy egy λ-mátrix maradék nélkül jobbra (balra) osztható legyen, szükséges és elegendő, hogy .
Vektorok és mátrixok | |||||||||
---|---|---|---|---|---|---|---|---|---|
Vektorok |
| ||||||||
mátrixok |
| ||||||||
Egyéb |