Lambda matice ( λ-matice , matice polynomů ) je čtvercová matice, jejíž prvky jsou polynomy nad nějakým číselným polem . Pokud existuje nějaký prvek matice, který je polynomem stupně , a neexistují žádné prvky matice stupně větší než , pak je stupeň λ-matice.
Pomocí obvyklých operací s maticemi lze libovolnou λ-matici reprezentovat jako:
Pokud je determinant matice nenulový, pak se λ-matice nazývá regulární.
Příklad nepravidelné λ-matice:
λ-matice stejného řádu lze mezi sebou běžným způsobem sčítat a násobit a výsledkem je další λ-matice.
Dovolit a být λ-matice řádů a respektive, a , Potom
; ,kde alespoň jedna z matic je nenulová, máme
; ;Předpokládejme, že se jedná o pravidelnou λ-matici a že existují λ-matice se stupněm menším než stupněm nebo s takovým stupněm, že
.V tomto případě se nazývá pravý kvocient , když je dělen , a - pravý zbytek . Podobně a je levý kvocient a levý zbytek při dělení if
a nebo stupeň menší než stupeň .
Pokud je pravý (levý) zbytek 0, pak se nazývá pravý (levý) dělitel , když je děleno .
Pokud je regulární, pak pravý (levý) kvocient a pravý (levý) zbytek, když je děleno , existují a jsou jedinečné.
Kvůli nekomutativnosti násobení matic, na rozdíl od vlastností obyčejného polynomu, pro λ-matici nelze napsat rovnost podobnou jako
,tak definujeme správnou hodnotu λ-matice v matici jako
, jestliže ;a vlevo hodnotu' jako:
,a obecně .
Pro λ-matice existuje vlastnost podobná Bezoutově větě pro polynomy: pravý a levý zbytek po dělení λ-matice , kde — matice identity je resp .
Vlastnost je prokázána faktorizací:
,když obě strany této rovnosti vynásobíme levou stranou a sečteme všechny získané rovnosti pro , bude pravá strana vypadat jako , kde je nějaká λ-matice. Levá strana rovnosti:
.Takto:
.Výsledek nyní vyplývá z jedinečnosti pravého zbytku. Výrok pro levý zbytek se získá invertováním faktorů v původním rozkladu, vynásobením výsledku pravým a sečtením.
Důsledek: aby byla λ-matice beze zbytku dělitelná vpravo (vlevo), je nutné a postačující, aby .
Vektory a matice | |||||||||
---|---|---|---|---|---|---|---|---|---|
vektory |
| ||||||||
matrice |
| ||||||||
jiný |