Matricea lambda

Matricea Lambda ( λ-matrice , matricea polinoamelor ) este o matrice pătrată ale cărei elemente sunt polinoame peste un câmp numeric . Dacă există un element de matrice care este un polinom de grad , și nu există elemente de matrice de grad mai mare decât , atunci este gradul matricei λ.

Folosind operațiile uzuale pe matrice , orice matrice λ poate fi reprezentată ca:

Dacă determinantul matricei este diferit de zero, atunci matricea λ se numește regulată.

Un exemplu de matrice λ neregulată:

Algebra matricelor λ

Adunarea și înmulțirea

Matricele λ de același ordin pot fi adăugate și multiplicate între ele în mod obișnuit, iar rezultatul este o altă matrice λ.

Fie și λ-matrice de ordine și , respectiv, și , atunci

; ,

unde cel puțin una dintre matrice este diferită de zero, avem

; ;

Divizia

Să presupunem că este o matrice λ obișnuită și că există matrice λ cu sau cu un grad mai mic decât un grad astfel încât

.

În acest caz, se numește câtul drept atunci când este împărțit la , și - restul drept . În mod similar, și este câtul din stânga și restul din stânga atunci când este împărțit la dacă

și sau grad mai mic decât grad .

Dacă restul din dreapta (stânga) este 0, atunci se numește divizor dreapta (stânga) atunci când este împărțit la .

Dacă este regulat, atunci câtul din dreapta (stânga) și restul din dreapta (stânga) atunci când sunt împărțite la există și sunt unice.

λ-matrice cu argumente matrice

Datorită necomutativității înmulțirii matricei, spre deosebire de proprietățile unui polinom obișnuit, pentru o matrice λ este imposibil să scrieți o egalitate similară cu

,

deci definim valoarea corectă a matricei λ în matrice ca

, dacă ;

și valoarea lăsată” ca:

,

si in general .

Teorema lui Bezout pentru λ-matrice

Pentru matricele λ, există o proprietate similară cu teorema lui Bezout pentru polinoame: resturile din dreapta și din stânga după împărțirea matricei λ la , unde — matricea de identitate este și respectiv.

Proprietatea este demonstrată prin factorizare:

,

când înmulțim ambele părți ale acestei egalități cu partea stângă și adunăm toate egalitățile obținute pentru , partea dreaptă va arăta ca , unde este o matrice λ. Partea stângă a egalității:

.

În acest fel:

.

Rezultatul rezultă acum din unicitatea restului drept. Enunțul pentru restul din stânga se obține inversând factorii din descompunerea inițială, înmulțind rezultatul cu dreapta și însumând.

Corolar: pentru ca o matrice λ să fie divizibilă la dreapta (la stânga) fără rest, este necesar și suficient ca .

Literatură