En àlgebra lineal, el polinomi mínim d'una matriu sobre un camp és el polinomi mònic sobre de grau mínim tal que . Qualsevol altre polinomi amb és un múltiple (polinomi) de .

Les tres afirmacions següents són equivalents :

λ és una arrel de μA, λ és una arrel del polinomi característic χA de A, λ és un valor propi de la matriu A

La multiplicitat d'una arrel de és la potència més gran tal que conté estrictament . En altres paraules, augmentar l'exponent fins a donarà nuclis cada cop més grans, però augmentar l'exponent més enllà de només donarà el mateix nucli.

Si el camp no està tancat algebraicament, aleshores els polinomis mínims i característics no necessiten factoritzar només segons les seves arrels (en ), és a dir, poden tenir factors polinomials irreductibles de grau superior a . Per als polinomis irreductibles es tenen equivalències semblants:

P divideix μA, P divideix χA, el nucli de P(A) té una dimensió almenys 1. el nucli de P(A) té una dimensió almenys deg(P).

Igual que el polinomi característic, el polinomi mínim no depèn del camp base. En altres paraules, considerar la matriu com una amb coeficients en un camp més gran no canvia el polinomi mínim. La raó d'això difereix del cas del polinomi característic (on és immediat a partir de la definició de determinants), és a dir, pel fet que el polinomi mínim està determinat per les relacions de dependència lineal entre les potències de : ampliant el camp base. no introduirà cap relació nova d'aquest tipus (ni, per descomptat, eliminarà les existents).

El polinomi mínim és sovint el mateix que el polinomi característic, però no sempre. Per exemple, si és un múltiple de la matriu identitat, aleshores el seu polinomi mínim és ja que el nucli de ja és tot l'espai; en canvi el seu polinomi característic és (l'únic valor propi és , i el grau del polinomi característic és sempre igual a la dimensió de l'espai). El polinomi mínim sempre divideix el polinomi característic, que és una manera de formular el teorema de Cayley-Hamilton (per al cas de matrius sobre un camp).

Definició formal Donat un endomorfisme en un espai vectorial de dimensió finita sobre un camp , sigui el conjunt definit com

on és l'espai de tots els polinomis sobre el camp . és un ideal propi de . Com que és un camp, és un domini ideal principal, per tant qualsevol ideal és generat per un únic polinomi, que és únic fins a una unitat en . Es pot fer una elecció particular entre els generadors, ja que precisament un dels generadors és monic. Així, el polinomi mínim es defineix com el polinomi mònic que genera . És el polinomi mònic de grau mínim en .

Aplicacions Un endomorfisme d'un espai vectorial de dimensions finites sobre un camp és diagonalitzable si i només si el seu polinomi mínim factoritza completament sobre en factors lineals diferents. El fet que només hi hagi un factor per a cada valor propi significa que l'espai propi generalitzat per a és el mateix que l'espai propi per a : cada bloc de Jordan té una mida . De manera més general, si compleix una equació polinòmica on factor en diferents factors lineals sobre , llavors serà diagonalitzable: el seu polinomi mínim és un divisor de i, per tant, també factor en diferents factors lineals. En concret un té:

P = X k − 1: els endomorfismes d'ordre finit d'espais vectorials complexos són diagonalitzables. Per al cas especial k = 2 d'involucions, això és fins i tot cert per als endomorfismes d'espais vectorials sobre qualsevol camp de característica diferent de 2, ja que X 2 − 1 = (X − 1)(X + 1) és una factorització en diferents factors. sobre un camp així. Aquesta és una part de la teoria de la representació de grups cíclics. P = X 2 − X = X(X − 1): els endomorfismes que compleixen φ2 = φ s'anomenen projeccions, i sempre són diagonalitzables (a més, els seus únics valors propis són 0 i 1). Per contra, si μφ = X k amb k ≥ 2, llavors φ (un endomorfisme nilpotent) no és necessàriament diagonalitzable, ja que X k té una arrel repetida 0.

Aquests casos també es poden demostrar directament, però el polinomi mínim dona una perspectiva i una demostració unificades.

Referències

Categoria:Àlgebra lineal