Companion Matrix
matricea companion la un polinom monic
(1)
|
este matricea pătrată
(2)
|
cu cele de pe subdiagonal și ultima coloană dată de coeficienții de . Rețineți că în literatură, matricea însoțitoare este uneori definită cu rândurile și coloanele comutate, adică transpunerea matricei de mai sus.
când este baza standard, o matrice companion satisface
(3)
|
pentru , precum și
(4)
|
inclusiv
(5)
|
polinomul minim matricial al matricei însoțitoare este, prin urmare, , care este, de asemenea, polinomul său caracteristic.
matricile însoțitoare sunt folosite pentru a scrie o matrice în formă canonică rațională. De fapt, orice matrice a cărei matrice polinom minim are grad polinomial este similară matricei însoțitoare pentru . Forma canonică rațională este mai interesantă atunci când gradul de este mai mic decât .
următoarea comandă Wolfram Language dă matricea companion pentru un polinom în variabila .
CompanionMatrix := Module}, w = -w/Last; n = Length - 1; SparseArray], {i_, j_} /; i == j + 1 -> 1}, {n, n}]]