Lambda mátrix

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:

λ-mátrixok algebrája

Összeadás és szorzás

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

; ;

osztály

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.

λ-mátrixok mátrix argumentumokkal

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 .

Bezout-tétel λ-mátrixokra

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 .

Irodalom