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ă:
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
; ;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.
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 .
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 .
Vectori și matrici | |||||||||
---|---|---|---|---|---|---|---|---|---|
Vectori |
| ||||||||
matrici |
| ||||||||
Alte |