Polinomio característico

Dada una matriz cuadrada A, queremos encontrar un polinomio cuyas raíces son precisamente los valores propios (raíces) de A. Para una matriz diagonal A, el polinomio característico es fácil de definir: si los elementos de la diagonal son ${\displaystyle x_{i}}$ para ${\displaystyle i=1,2,\cdots ,n}$, el polinomio característico en la indeterminada ${\displaystyle t}$ es

${\displaystyle (t-x_{1})(t-x_{2})(t-x_{3})\cdots (t-x_{n})\,\!}$

El polinomio tiene esta forma ya que los elementos de la diagonal de una matriz diagonal coinciden con sus valores propios.

Para una matriz A genérica, se puede proceder de la siguiente forma: Si λ es un valor propio de A, entonces existe un vector propio v≠0 tal que

${\displaystyle Av=\lambda v\,\!}$

o

${\displaystyle (A-\lambda I)v=0\,\!}$

(donde I es la matriz identidad). Como v es no nulo, la matriz A - λI es singular, que a su vez significa que su determinante es 0. Acabamos de ver que las raíces de la función determinante(A-t I) son los valores propios de A. Como que dicha función es un polinomio en t, ya está.

Sea K un cuerpo (podemos imaginar K como el cuerpo de los reales o de los complejos) y una matriz cuadrada A n-dimensional sobre K. El polinomio característico de A, denotado por p_A(t), es el polinomio definido por:[3]

${\displaystyle p_{A}(t)=\det(A-tI),\!}$

donde I denota la matriz identidad n-por-n.[4] Algunos autores definen el polinomio característico como det(t I-A); la diferencia radica en que esta última forma de definirlo siempre produce un polinomio mónico, mientras que la dada previamente difiere en el signo cuando la matriz tiene un número impar de valores propios. Esta diferencia es, de cualquier modo, poco relevante ya que las raíces son las mismas.

Supongamos que queremos encontrar el polinomio característico de la matriz

${\displaystyle A={\begin{pmatrix}2&1\\-1&0\end{pmatrix}}.}$

Debemos calcular el determinante de

${\displaystyle A-tI={\begin{pmatrix}2-t&1\\-1&-t\end{pmatrix}}}$

dicho determinante es

${\displaystyle (2-t)(-t)-1(-1)=t^{2}-2t+1=(t-1)^{2}\,\!}$

Finalmente hemos obtenido el polinomio característico de A.

El polinomio p_A(t) es de grado n y su coeficiente principal es ${\displaystyle (-1)^{n}}$. El hecho más importante sobre el polinomio característico ya fue mencionado en el párrafo de motivación: los valores propios de A son precisamente las raíces de p_A(t). El coeficiente constante p_A(0) es igual al determinante de A, y el coeficiente de t ^{n − 1} es igual a (-1)^n-1tr(A), la traza de A. Para una matriz A de 2×2, el polinomio característico se puede expresar como: t ² − tr(A)t + det(A).

Todos los polinomios reales de grado impar tienen al menos un número real como raíz, así que para todo n impar, toda matriz real tiene al menos un valor propio real. La mayoría de los polinomios reales de grado par no tienen raíces reales, pero el teorema fundamental del álgebra dice que todo polinomio de grado n tiene n raíces complejas, contadas con sus multiplicidades. Las raíces no reales de polinomios reales, por tanto valores propios no reales, aparecen en pares conjugados.

El teorema de Cayley-Hamilton dice que si reemplazamos t por A en la expresión de p_A(t) obtenemos la matriz nula: p_A(A) = 0. Es decir, toda matriz satisface su propio polinomio característico. Como consecuencia de este hecho, se puede demostrar que el polinomio mínimo de A divide el polinomio característico de A.

Dos matrices semejantes tienen el mismo polinomio característico. El recíproco no es cierto en general: dos matrices con el mismo polinomio característico no necesariamente van ser semejantes.

La matriz A y su traspuesta tienen el mismo polinomio característico. A es semejante a una matriz triangular si y solo si su polinomio característico puede ser completamente factorizado en factores lineales sobre K. De hecho, A es incluso semejante a una matriz en forma canónica de Jordan.

• Invariante algebraico (álgebra lineal)

• Weisstein, Eric W. «Characteristic Polynomial». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
• Garibaldi, Skip (2004), «The characteristic polynomial and determinant are not ad hoc constructions», American Mathematical Monthly (en inglés) 111 (9): 761–778, JSTOR 4145188, MR 2104048, arXiv:math/0203276, doi:10.2307/4145188.