Lambdamatrix ( λ-matrix , matrix af polynomier ) er en kvadratisk matrix, hvis elementer er polynomier over et eller andet talfelt . Hvis der er et matrixelement, der er et polynomium af grad , og der ikke er nogen matrixelementer af grad større end , så er graden af λ-matricen.
Ved at bruge de sædvanlige operationer på matricer kan enhver λ-matrix repræsenteres som:
Hvis matrixdeterminanten ikke er nul , så kaldes λ-matricen regulær.
Et eksempel på en uregelmæssig λ-matrix:
λ-matricer af samme orden kan tilføjes og ganges indbyrdes på sædvanlig måde, og resultatet er en anden λ-matrix.
Lad og være λ-matricer af ordrer og henholdsvis, og , derefter
; ,hvor mindst en af matricerne ikke er nul, har vi
; ;Antag, at det er en regulær λ-matrix, og at der er λ-matricer med eller med grad mindre end grad , således at
.I dette tilfælde kaldes det den rigtige kvotient , når den divideres med , og - den rigtige rest . Tilsvarende og er venstre kvotient og venstre rest , når divideret med if
og eller grad mindre end grad .
Hvis den højre (venstre) rest er 0, kaldes den den højre (venstre) divisor, når den divideres med .
Hvis er regulær, så eksisterer den højre (venstre) kvotient og den højre (venstre) rest, når divideret med , og er unikke.
På grund af matrixmultiplikationens ikke- kommutativitet , i modsætning til egenskaberne for et almindeligt polynomium, er det for en λ-matrix umuligt at skrive en lighed svarende til
,så vi definerer den rigtige værdi af λ-matricen i matrixen som
, hvis ;og venstre værdi' som:
,og generelt .
For λ-matricer er der en egenskab, der ligner Bezouts sætning for polynomier: højre og venstre rester efter at have divideret λ-matricen med , hvor — identitetsmatricen er hhv .
Egenskaben er bevist gennem faktorisering:
,når man multiplicerer begge sider af denne lighed med venstre side og tilføjer alle de opnåede ligheder for , vil højre side se ud , hvor er en eller anden λ-matrix. Venstre side af ligestilling:
.På denne måde:
.Resultatet følger nu af det unikke ved den rigtige rest. Udsagnet for venstre rest fås ved at invertere faktorerne i den oprindelige dekomponering, gange resultatet med højre og summere.
Konsekvens: for at en λ-matrix skal være højre (venstre) delelig uden rest, er det nødvendigt og tilstrækkeligt, at .
Vektorer og matricer | |||||||||
---|---|---|---|---|---|---|---|---|---|
Vektorer |
| ||||||||
matricer |
| ||||||||
Andet |