Polinomi característic

En àlgebra lineal, el polinomi característic d'una matriu quadrada és un polinomi que és invariant sota la semblança de la matriu i té els valors propis com a arrels. Té el determinant i la traça de la matriu entre els seus coeficients.

El polinomi característic d'un endomorfisme d'un espai vectorial de dimensions finites és el polinomi característic de la matriu d'aquest endomorfisme sobre qualsevol base (és a dir, el polinomi característic no depèn de l'elecció d'una base). L'equació característica, també coneguda com a equació determinant,Plantilla:SfnPlantilla:SfnPlantilla:Sfn és l'equació que s'obté en equiparar el polinomi característic a zero.

En la teoria espectral de grafs, el polinomi característic d'un graf és el polinomi característic de la seva matriu d'adjacència.

Motivació

En àlgebra lineal, els valors propis i els vectors propis tenen un paper fonamental, ja que, donada una transformació lineal, un vector propi és un vector la direcció del qual no es modifica per la transformació, i el valor propi corresponent és la mesura del canvi de magnitud resultant del vector.

Més precisament, si la transformació es representa amb una matriu quadrada $A$, un vector propi $𝐯$, i el valor propi corresponent $\lambda$, ha de satisfer l'equació: $$A𝐯=\lambda 𝐯,$$ o, de manera equivalent, $$(\lambda I-A)𝐯=0$$ on $I$ és la matriu identitat, i $𝐯\ne \mathrm{𝟎}$ (tot i que el vector zero compleix aquesta equació per a cada $\lambda$, no es considera un vector propi).

Es dedueix que la matriu $(\lambda I-A)$ ha de ser singular i el seu determinant$$\det (\lambda I-A)=0$$ ha de ser zero.

En altres paraules, els valors propis d' Plantilla:Mvar són les arrels de $$\det (xI-A),$$ que és un polinomi mònic en Plantilla:Mvar de grau Plantilla:Mvar si Plantilla:Mvar és una matriu Plantilla:Math. Aquest polinomi és el polinomi característic d' Plantilla:Mvar.

Definició formal

Considerem una matriu $A$ de $n\times n$. El polinomi característic d'$A$, denotat per $p_A(t)$, és el polinomi definit per:Plantilla:Sfn$$p_A(t)=\det (tI-A)$$ on $I$ denota la matriu identitat $n\times n$.

Alguns autors defineixen el polinomi característic per ser $\det (A-tI).$ Aquest polinomi difereix del definit aquí per un signe $(-1{)}^n,$ per tant, no fa cap diferència per a propietats com tenir com a arrels els valors propis d'$A$; tanmateix, la definició anterior sempre dona un polinomi mònic, mentre que la definició alternativa és mònic només quan $n$ és parell.

Exemples

Per a calcular el polinomi característic de la matriu $$A=\left(\begin{array}{cc}2& 1\\ -1& 0\end{array}\right).$$ es calcula el determinant del següent: $$tI-A=\left(\begin{array}{cc}t-2& -1\\ 1& t-0\end{array}\right)$$ i es troba que $(t-2)t-1(-1)=t^2-2t+1$ és el polinomi característic d'$A$.

Un altre exemple utilitza funcions hiperbòliques d'un angle hiperbòlic φ.

Per a la matriu $$A=\left(\begin{array}{cc}\cosh (\phi )& \sinh (\phi )\\ \sinh (\phi )& \cosh (\phi )\end{array}\right).$$ el polinomi característic és $$\det (tI-A)=(t-\cosh (\phi ){)}^2-{\sinh }^2(\phi )=t^2-2t\cosh (\phi )+1=(t-e^{\phi })(t-e^{-\phi }).$$

Propietats

El polinomi característic $p_A(t)$ d'una matriu $n\times n$ és mònic (el seu coeficient principal és $1$) i el seu grau és $n.$ El fet més important sobre el polinomi característic ja es va esmentar al paràgraf de motivació: els valors propis de $A$ són precisament les arrels de $p_A(t)$ ((això també val per al polinomi mínim d'$A$, però el seu grau pot ser inferior a $n$). Tots els coeficients del polinomi característic són expressions polinòmiques a les entrades de la matriu. En particular, el seu coeficient constant $p_A(0)$ és $\det (-A)=(-1{)}^n\det (A),$ el coeficient de $t^n$ és 1, i el coeficient de $t^{n-1}$ és Plantilla:Math, on Plantilla:Math és la traça d'$A.$ (Els signes que es donen aquí corresponen a la definició formal donada a la secció anterior; per a la definició alternativa aquests serien $\det (A)$ i Plantilla:Math respectivament).

Llavors, el polinomi característic de la matriu $A$ de $2\times 2$ ve donat per: $$t^2-\mathrm{tr}(A)t+\det (A).$$

Utilitzant el llenguatge de l'àlgebra exterior, el polinomi característic d'una matriu $A$ de $n\times n$ es pot expressar com: $$p_A(t)=\sum _{k=0}^n{t}^{n-k}(-1{)}^k\mathrm{tr}\left({\bigwedge }^{k}A\right)$$ on $\mathrm{tr}\left({\bigwedge }^{k}A\right)$ és la traça de la $k$-èsima potència exterior d'$A,$ que té dimensió $(\genfrac{}{}{0ex}{}{n}{k}).$ Aquesta traça es pot calcular com la suma de tots els menors principals d'$A$ de mida $k$. L'algorisme recursiu de Fadéiev-LeVerrier calcula aquests coeficients de manera més eficient.

Quan la característica del cos dels coeficients és $0$, cada traça es pot calcular alternativament com un únic determinant, com el de la matriu $k\times k$, $$\mathrm{tr}\left({\bigwedge }^{k}A\right)=\frac{1}{k!}\left|\begin{array}{ccccc}\mathrm{tr}A& k-1& 0& \cdots & \\ \mathrm{tr}{A}^2& \mathrm{tr}A& k-2& \cdots & \\ ⋮& ⋮& & \ddots & ⋮\\ \mathrm{tr}{A}^{k-1}& \mathrm{tr}{A}^{k-2}& & \cdots & 1\\ \mathrm{tr}{A}^k& \mathrm{tr}{A}^{k-1}& & \cdots & \mathrm{tr}A\end{array}\right|.$$

El teorema de Cayley-Hamilton afirma que substituint $t$ per $A$ en el polinomi característic (interpretant les potències resultants com a potències matricials i el terme constant $c$ com $c$, com a vegades la matriu d'identitat) dona la matriu zero. De manera informal, cada matriu compleix la seva pròpia equació característica. Aquesta afirmació equival a dir que el polinomi mínim d'$A$ divideix el polinomi característic d'$A$.

Dues matrius semblants tenen el mateix polinomi característic. Tanmateix, el contrari no és cert en general: dues matrius amb el mateix polinomi característic no necessiten ser semblants.

La matriu $A$ i la seva transposada tenen el mateix polinomi característic. $A$ és similar a una matriu triangular si i només si el seu polinomi característic es pot factoritzar completament en factors lineals sobre $K$ (el mateix passa amb el polinomi mínim en lloc del polinomi característic). En aquest cas $A$ és similar a una matriu en la forma normal de Jordan.

Polinomi característic d'un producte de dues matrius

Si $A$ i $B$ sòn dues matrius quadradres $n\times n$, llavors els polinomis característics d'$AB$ i $BA$ coincideixen: $$p_{AB}(t)=p_{BA}(t).$$

Quan $A$ no és singular, aquest resultat es desprèn del fet que $AB$ i $BA$ són semblants: $$BA=A^{-1}(AB)A.$$

Per al cas en què totes dues matrius ($A$ i $B$) siguin singulars, la identitat desitjada és una igualtat entre polinomis en $t$ i els coeficients de les matrius. Així, per demostrar aquesta igualtat, n'hi ha prou amb demostrar que es verifica en un subconjunt obert no buit (per a la topologia habitual, o, més generalment, per a la topologia de Zariski) de l'espai de tots els coeficients. Com que les matrius no singulars formen un subconjunt tan obert de l'espai de totes les matrius, això demostra el resultat.

Més en general, si $A$ és una matriu d'ordre $m\times n$ i $B$ és una matriu d'ordre $n\times m,$ llavors $AB$ és una matriu $m\times m$ i $BA$ és una matriu $n\times n$, i s'obté $$p_{BA}(t)=t^{n-m}{p}_{AB}(t).$$

Per demostrar-ho, es pot suposar $n>m,$ intercanviant, si cal, $A$ i $B.$ Llavors, per vorejar $A$ a la part inferior per $n-m$ files de zeros, i $B$ a la dreta, per, $n-m$ columnes de zeros, s'obté dues matrius ($A^{\prime }$i $B^{\prime }$) de $n\times n$ de tal manera que $B^{\prime }{A}^{\prime }=BA$ i $A^{\prime }{B}^{\prime }$ és igual a $AB$ vorejada per $n-m$ files i columnes de zeros. El resultat es desprèn del cas de les matrius quadrades, comparant els polinomis característics d'$A^{\prime }{B}^{\prime }$ i $AB.$

Polinomi característic d'A^k

Si $\lambda$ és un valor propi d'una matriu quadrada $A$ amb vector propi $𝐯,$l aleshores ${\lambda }^k$ és un valor propi d'$A^k$ perquè $$A^k\mathbf{\text{v}}=A^{k-1}A\mathbf{\text{v}}=\lambda A^{k-1}\mathbf{\text{v}}=\dots ={\lambda }^k\mathbf{\text{v}}.$$

També es pot demostrar que les multiplicitats coincideixen, i això es generalitza a qualsevol polinomi en lloc de $x^k$:Plantilla:Sfn

És a dir, la multiplicitat algebraica de $\lambda$ en $f(A)$ és igual a la suma de les multiplicitats algebraiques de ${\lambda }^{\prime }$ en $A$ sobre ${\lambda }^{\prime }$ de tal manera que $f({\lambda }^{\prime })=\lambda .$

En particular, $\mathrm{tr}(f(A))={\sum }_{i=1}^{n}f({\lambda }_i)$ i $\det (f(A))={\prod }_{i=1}^{n}f({\lambda }_i).$

Aquest polinomi $f(t)=t^3+1,$ per exemple, s'avalua en una matriu $A$ senzillament com $f(A)=A^3+1.$

El teorema s'aplica a matrius i polinomis sobre qualsevol cos o anell commutatiu.Plantilla:Sfn Tanmateix, la suposició que $p_A(t)$ té una factorització en factors lineals no sempre és certa, tret que la matriu estigui sobre un cos algebraicament tancat com els nombres complexos.

Funció secular i equació secular

Funció secular

El terme funció secular s'ha utilitzat per al que ara s'anomena polinomi característic (en alguna literatura encara s'utilitza el terme funció secular). El terme prové del fet que el polinomi característic s'utilitzava per calcular les pertorbacions seculars (a una escala de temps d'un segle, és a dir, lent en comparació amb el moviment anual) de les òrbites planetàries, segons la teoria de les oscil·lacions de Lagrange.

Equació secular

L'equació secular pot tenir diversos significats.

• En àlgebra lineal de vegades s'utilitza en lloc de l'equació característica.
• En astronomia és l'expressió algebraica o numèrica de la magnitud de les desigualtats en el moviment d'un planeta que romanen després que s'hagin permès les desigualtats d'un període curt.
• En els càlculs d'orbitals moleculars relacionats amb l'energia de l'electró i la seva funció d'ona també s'utilitza en lloc de l'equació característica.

Per a àlgebres associatives generals

La definició anterior del polinomi característic d'una matriu $A\in M_n(F)$ amb entrades en un cos $F$ generalitza sense cap canvi en el cas quan $F$ és només un anell commutatiuPlantilla:Sfn defineix el polinomi característic per als elements d'una àlgebra arbitrària de dimensions finites (associativa, però no necessàriament commutativa) sobre un cos $F$ i demostra les propietats estàndard del polinomi característic en aquesta generalitat.

BIbliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre

Vegeu també

• Algorisme de Fadéiev-LeVerrier
• Algorisme de Samuelson-Berkowitz
• Invariants de tensors
• Matriu acompanyant
• Teorema de Cayley-Hamilton