Lambda matrix

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:

Algebra af λ-matricer

Addition og multiplikation

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

; ;

Division

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.

λ-matricer med matrixargumenter

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 .

Bezouts sætning for λ-matricer

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 .

Litteratur