Lambda matrice

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:

Algebra λ-matic

Sčítání a násobení

λ-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

; ;

Divize

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é.

λ-matice s maticovými argumenty

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ě .

Bezoutova věta pro λ-matice

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 .

Literatura