Polinomio característico

En álgebra lineal , el polinomio característico de una matriz cuadrada es un polinomio que es invariante bajo semejanza de matrices y tiene los valores propios como raíces . Tiene el determinante y la traza de la matriz entre sus coeficientes. El polinomio característico de un endomorfismo de un espacio vectorial de dimensión finita es el polinomio característico de la matriz de ese endomorfismo sobre cualquier base (es decir, el polinomio característico no depende de la elección de una base ). La ecuación característica , también conocida como ecuación determinante , ^{[1] [2] [3]} es la ecuación que se obtiene al igualar el polinomio característico a cero.

En la teoría de grafos espectrales , el polinomio característico de un grafo es el polinomio característico de su matriz de adyacencia . ^[4]

En álgebra lineal , los valores propios y los vectores propios juegan un papel fundamental, ya que, dada una transformación lineal , un vector propio es un vector cuya dirección no cambia por la transformación, y el valor propio correspondiente es la medida del cambio de magnitud resultante del vector.

Más precisamente, supongamos que la transformación está representada por una matriz cuadrada. Entonces, un vector propio y el valor propio correspondiente deben satisfacer la ecuación o, equivalentemente (ya que ), donde es la matriz identidad , y (aunque el vector cero satisface esta ecuación para cada no se considera un vector propio). ${\displaystyle A.}$${\displaystyle \mathbf {v}}$${\estilo de visualización \lambda}$$${\displaystyle A\mathbf {v} =\lambda \mathbf {v},}$$${\displaystyle \lambda \mathbf {v} =\lambda I\mathbf {v} }$$${\displaystyle (\lambda IA)\mathbf {v} =\mathbf {0} }$$${\displaystyle I}$${\displaystyle \mathbf {v} \neq \mathbf {0} }$${\estilo de visualización \lambda ,}$

De ello se deduce que la matriz debe ser singular y su determinante debe ser cero.${\estilo de visualización (\lambda IA)}$$${\displaystyle \det(\lambda IA)=0}$$

En otras palabras, los valores propios de A son las raíces de cuyo polinomio es un polinomio mónico en x de grado n si A es una matriz n × n . Este polinomio es el polinomio característico de A .$${\displaystyle \det(xI-A),}$$

Considere una matriz El polinomio característico de denotado por es el polinomio definido por ^[5] donde denota la matriz identidad .${\displaystyle n\veces n}$${\displaystyle A.}$${\estilo de visualización A,}$$estilo de visualización p_{A}(t),}$$${\displaystyle p_{A}(t)=\det(tI-A)}$$${\displaystyle I}$${\displaystyle n\veces n}$

Algunos autores definen el polinomio característico como Ese polinomio difiere del definido aquí por un signo , por lo que no hay diferencia para propiedades como tener como raíces los valores propios de ; sin embargo, la definición anterior siempre da un polinomio mónico , mientras que la definición alternativa es mónica solo cuando es par.${\displaystyle \det(A-tI).}$${\displaystyle (-1)^{n},}$${\estilo de visualización A}$${\estilo de visualización n}$

Para calcular el polinomio característico de la matriz se calcula el determinante de lo siguiente: y se encuentra que es el polinomio característico de$${\displaystyle A={\begin{pmatrix}2&1\\-1&0\end{pmatrix}}.}$$$${\displaystyle tI-A={\begin{pmatrix}t-2&-1\\1&t-0\end{pmatrix}}}$$${\displaystyle (t-2)t-1(-1)=t^{2}-2t+1\,\!,}$${\displaystyle A.}$

Otro ejemplo utiliza funciones hiperbólicas de un ángulo hiperbólico φ. Para la matriz, tomemos su polinomio característico.$${\displaystyle A={\begin{pmatrix}\cosh(\varphi )&\sinh(\varphi )\\\sinh(\varphi )&\cosh(\varphi )\end{pmatrix}}.}$$$${\displaystyle \det(tI-A)=(t-\cosh(\varphi ))^{2}-\sinh ^{2}(\varphi )=t^{2}-2t\ \cosh(\varphi )+1=(te^{\varphi })(te^{-\varphi }).}$$

El polinomio característico de una matriz es mónico (su coeficiente principal es ) y su grado es El hecho más importante sobre el polinomio característico ya se mencionó en el párrafo motivacional: los valores propios de son precisamente las raíces de (esto también es válido para el polinomio mínimo de pero su grado puede ser menor que ). Todos los coeficientes del polinomio característico son expresiones polinómicas en las entradas de la matriz. En particular, su coeficiente constante de es el coeficiente de es uno, y el coeficiente de es tr(− A ) = −tr( A ) , donde tr( A ) es la traza de (Los signos dados aquí corresponden a la definición formal dada en la sección anterior; para la definición alternativa, estos serían en cambio y (−1) ^{n – 1} tr( A ) respectivamente. ^[6] )$estilo de visualización p_{A}(t)}$${\displaystyle n\veces n}$${\estilo de visualización 1}$${\displaystyle n.}$${\estilo de visualización A}$$estilo de visualización p_{A}(t)}$${\estilo de visualización A,}$${\estilo de visualización n}$${\estilo de visualización t^{0}}$${\displaystyle \det(-A)=(-1)^{n}\det(A),}$$estilo de visualización t^{n}}$${\displaystyle t^{n-1}}$${\displaystyle A.}$${\displaystyle \det(A)}$

Para una matriz el polinomio característico viene dado por${\displaystyle 2\times 2}$${\displaystyle A,}$$${\displaystyle t^{2}-\operatorname {tr} (A)t+\det(A).}$$

Usando el lenguaje del álgebra exterior , el polinomio característico de una matriz puede expresarse como donde es la traza de la potencia exterior de la cual tiene dimensión. Esta traza puede calcularse como la suma de todos los menores principales de de tamaño. El algoritmo recursivo de Faddeev-LeVerrier calcula estos coeficientes de manera más eficiente.${\displaystyle n\times n}$${\displaystyle A}$$${\displaystyle p_{A}(t)=\sum _{k=0}^{n}t^{n-k}(-1)^{k}\operatorname {tr} \left(\textstyle \bigwedge ^{k}A\right)}$$${\textstyle \operatorname {tr} \left(\bigwedge ^{k}A\right)}$${\displaystyle k}$${\displaystyle A,}$${\textstyle {\binom {n}{k}}.}$${\displaystyle A}$${\displaystyle k.}$

Cuando la característica del campo de los coeficientes es cada uno de dichos rastros puede calcularse alternativamente como un determinante único, el de la matriz,${\displaystyle 0,}$${\displaystyle k\times k}$$${\displaystyle \operatorname {tr} \left(\textstyle \bigwedge ^{k}A\right)={\frac {1}{k!}}{\begin{vmatrix}\operatorname {tr} A&k-1&0&\cdots &0\\\operatorname {tr} A^{2}&\operatorname {tr} A&k-2&\cdots &0\\\vdots &\vdots &&\ddots &\vdots \\\operatorname {tr} A^{k-1}&\operatorname {tr} A^{k-2}&&\cdots &1\\\operatorname {tr} A^{k}&\operatorname {tr} A^{k-1}&&\cdots &\operatorname {tr} A\end{vmatrix}}~.}$$

El teorema de Cayley-Hamilton establece que al reemplazar por en el polinomio característico (interpretando las potencias resultantes como potencias matriciales y el término constante como multiplicado por la matriz identidad) se obtiene la matriz cero. En términos informales, cada matriz satisface su propia ecuación característica. Esta afirmación es equivalente a decir que el polinomio mínimo de divide al polinomio característico de${\displaystyle t}$${\displaystyle A}$${\displaystyle c}$${\displaystyle c}$${\displaystyle A}$${\displaystyle A.}$

Dos matrices semejantes tienen el mismo polinomio característico. Sin embargo, la inversa no es cierta en general: dos matrices con el mismo polinomio característico no necesariamente son semejantes.

La matriz y su transpuesta tienen el mismo polinomio característico. es similar a una matriz triangular si y solo si su polinomio característico puede factorizarse completamente en factores lineales (lo mismo sucede con el polinomio mínimo en lugar del polinomio característico). En este caso es similar a una matriz en forma normal de Jordan .${\displaystyle A}$${\displaystyle A}$ ${\displaystyle K}$${\displaystyle A}$

Si y son dos matrices cuadradas entonces los polinomios característicos de y coinciden: ${\displaystyle A}$${\displaystyle B}$${\displaystyle n\times n}$${\displaystyle AB}$${\displaystyle BA}$$${\displaystyle p_{AB}(t)=p_{BA}(t).\,}$$

Cuando no es singular este resultado se deduce del hecho de que y son similares :${\displaystyle A}$${\displaystyle AB}$${\displaystyle BA}$$${\displaystyle BA=A^{-1}(AB)A.}$$

Para el caso en que tanto y son singulares, la identidad buscada es una igualdad entre los polinomios en y los coeficientes de las matrices. Por lo tanto, para probar esta igualdad, basta probar que se verifica en un subconjunto abierto no vacío (para la topología usual , o, más generalmente, para la topología de Zariski ) del espacio de todos los coeficientes. Como las matrices no singulares forman tal subconjunto abierto del espacio de todas las matrices, esto prueba el resultado.${\displaystyle A}$${\displaystyle B}$${\displaystyle t}$

De manera más general, si es una matriz de orden y es una matriz de orden entonces es y es una matriz, y uno tiene${\displaystyle A}$${\displaystyle m\times n}$${\displaystyle B}$${\displaystyle n\times m,}$${\displaystyle AB}$${\displaystyle m\times m}$${\displaystyle BA}$${\displaystyle n\times n}$$${\displaystyle p_{BA}(t)=t^{n-m}p_{AB}(t).\,}$$

Para demostrarlo, se puede suponer que intercambiando, si es necesario, y Luego, delimitando en la parte inferior con filas de ceros y en la derecha con columnas de ceros, se obtienen dos matrices y tales que y es igual a delimitadas por filas y columnas de ceros. El resultado se deduce del caso de matrices cuadradas, comparando los polinomios característicos de y${\displaystyle n>m,}$${\displaystyle A}$${\displaystyle B.}$${\displaystyle A}$${\displaystyle n-m}$${\displaystyle B}$${\displaystyle n-m}$${\displaystyle n\times n}$${\displaystyle A^{\prime }}$${\displaystyle B^{\prime }}$${\displaystyle B^{\prime }A^{\prime }=BA}$${\displaystyle A^{\prime }B^{\prime }}$${\displaystyle AB}$${\displaystyle n-m}$${\displaystyle A^{\prime }B^{\prime }}$${\displaystyle AB.}$

Si es un valor propio de una matriz cuadrada con vector propio entonces es un valor propio de porque${\displaystyle \lambda }$${\displaystyle A}$${\displaystyle \mathbf {v} ,}$${\displaystyle \lambda ^{k}}$${\displaystyle A^{k}}$$${\displaystyle A^{k}{\textbf {v}}=A^{k-1}A{\textbf {v}}=\lambda A^{k-1}{\textbf {v}}=\dots =\lambda ^{k}{\textbf {v}}.}$$

También se puede demostrar que las multiplicidades concuerdan, y esto se generaliza a cualquier polinomio en lugar de : ^[7]${\displaystyle x^{k}}$

Es decir, la multiplicidad algebraica de en es igual a la suma de las multiplicidades algebraicas de en sobre tales que En particular, y Aquí un polinomio , por ejemplo, se evalúa en una matriz simplemente como${\displaystyle \lambda }$${\displaystyle f(A)}$${\displaystyle \lambda '}$${\displaystyle A}$${\displaystyle \lambda '}$${\displaystyle f(\lambda ')=\lambda .}$${\displaystyle \operatorname {tr} (f(A))=\textstyle \sum _{i=1}^{n}f(\lambda _{i})}$${\displaystyle \operatorname {det} (f(A))=\textstyle \prod _{i=1}^{n}f(\lambda _{i}).}$${\displaystyle f(t)=t^{3}+1,}$${\displaystyle A}$${\displaystyle f(A)=A^{3}+I.}$

El teorema se aplica a matrices y polinomios sobre cualquier cuerpo o anillo conmutativo . ^[8] Sin embargo, la suposición de que tiene una factorización en factores lineales no siempre es verdadera, a menos que la matriz esté sobre un cuerpo algebraicamente cerrado como los números complejos.${\displaystyle p_{A}(t)}$

El término función secular se ha utilizado para lo que hoy se denomina polinomio característico (en alguna literatura todavía se utiliza el término función secular). El término proviene del hecho de que el polinomio característico se utilizaba para calcular perturbaciones seculares (en una escala de tiempo de un siglo, es decir, lentas en comparación con el movimiento anual) de las órbitas planetarias, según la teoría de oscilaciones de Lagrange .

La ecuación secular puede tener varios significados.

• En álgebra lineal a veces se utiliza en lugar de la ecuación característica.
• En astronomía es la expresión algebraica o numérica de la magnitud de las desigualdades en el movimiento de un planeta que permanecen después de que se han tenido en cuenta las desigualdades de un período corto. ^[9]

• En los cálculos de orbitales moleculares relacionados con la energía del electrón y su función de onda también se utiliza en lugar de la ecuación característica.

La definición anterior del polinomio característico de una matriz con entradas en un cuerpo se generaliza sin cambios al caso en el que es simplemente un anillo conmutativo . Garibaldi (2004) define el polinomio característico para elementos de un álgebra de dimensión finita arbitraria ( asociativa , pero no necesariamente conmutativa) sobre un cuerpo y demuestra las propiedades estándar del polinomio característico en esta generalidad.${\displaystyle A\in M_{n}(F)}$${\displaystyle F}$${\displaystyle F}$${\displaystyle F}$

• Ecuación característica (desambiguación)
• Invariantes de tensores
• Matriz de acompañamiento
• Algoritmo de Faddeev-LeVerrier
• Teorema de Cayley-Hamilton
• Algoritmo de Samuelson-Berkowitz

• TS Blyth y EF Robertson (1998) Álgebra lineal básica , pág. 149, Springer ISBN 3-540-76122-5 . 
• John B. Fraleigh y Raymond A. Beauregard (1990) Álgebra lineal , segunda edición, p. 246, Addison-Wesley ISBN 0-201-11949-8 . 
• Garibaldi, Skip (2004), "El polinomio característico y el determinante no son construcciones ad hoc", American Mathematical Monthly , 111 (9): 761–778, arXiv : math/0203276 , doi :10.2307/4145188, JSTOR  4145188, MR  2104048
• Werner Greub (1974) Álgebra lineal , 4.ª edición, págs. 120-5, Springer, ISBN 0-387-90110-8 . 
• Paul C. Shields (1980) Álgebra lineal elemental 3.ª edición, pág. 274, Worth Publishers ISBN 0-87901-121-1 . 
• Gilbert Strang (1988) Álgebra lineal y sus aplicaciones 3.ª edición, pág. 246, Brooks/Cole ISBN 0-15-551005-3 .