Matemáticas · Glosario

¿Qué es Polinomio característico?

También llamado: multiplicidad algebraica · multiplicidad geométrica

Definición 3.3 Matemáticas universitarias — Grado 2 · Capítulo 3 — Reducción de endomorfismos

χu(X)=det(Xidu)\chi_u(X) = \det(X\,\mathrm{id} - u), calculado en cualquier base como det(XInA)\det(XI_n - A); es un polinomio mónico de grado nn, invariante por semejanza (Teorema 2.17). Sus raíces en KK son exactamente los valores propios (λ\lambda es valor propio     uλid\iff u - \lambda\,\mathrm{id} no es inyectiva     χu(λ)=0\iff \chi_u(\lambda) = 0), y

χu(X)=Xn(tru)Xn1++(1)ndetu.\chi_u(X) = X^n - (\operatorname{tr} u)\, X^{n-1} + \dots + (-1)^n \det u .

La multiplicidad algebraica mλm_\lambda de un valor propio es su multiplicidad como raíz de χu\chi_u; la multiplicidad geométrica es dimEλ\dim E_\lambda, y se cumple 1dimEλmλ1 \leq \dim E_\lambda \leq m_\lambda.

Ejemplos

Ejemplo 3.4 (Mismo χ\chi, geometría distinta)

Las matrices

(2002)y(2102)\begin{pmatrix}2 & 0\\ 0 & 2\end{pmatrix} \qquad\text{y}\qquad \begin{pmatrix}2 & 1\\ 0 & 2\end{pmatrix}

comparten el polinomio característico (X2)2(X - 2)^2, la traza, el determinante y el espectro, y sin embargo no son semejantes: la primera tiene E2E_2 de dimensión 22 (multiplicidad geométrica 22) y la segunda de dimensión 11. El polinomio característico solo ve las multiplicidades algebraicas; las dimensiones de los subespacios propios son el invariante más fino, y el polinomio mínimo es quien arbitra (X2X - 2 frente a (X2)2(X - 2)^2). Moraleja para toda discusión sobre diagonalizabilidad: χ\chi preselecciona a los candidatos, pero quienes votan son los núcleos.

Leer en el capítulo →