33 votos

¿Demostraciones elegantes de que matrices similares tienen el mismo polinomio característico?

Es un ejercicio sencillo demostrar que dos matrices similares tienen los mismos valores y vectores propios (mi forma favorita es observar que representan la misma transformación lineal en bases diferentes).

Sin embargo, para demostrar que dos matrices tienen el mismo polinomio característico no basta con demostrar que tienen los mismos valores y vectores propios, sino que hay que decir algo inteligente sobre las multiplicidades algebraicas de los valores propios. Además, es posible que trabajemos sobre un campo que no es algebraicamente cerrado y, por tanto, simplemente "no tenemos" todos los valores propios. Esto puede superarse, por supuesto, trabajando en el cierre algebraico del campo, pero complica la explicación.

Busco una prueba que sea sencilla y autónoma en la medida de lo posible (el objetivo es escribir un artículo expositivo sobre el tema, así que lo más importante es la claridad, no la eficacia).

3 votos

¿Cómo se demuestra que dos matrices similares tienen los mismos vectores propios?

0 votos

Tomemos la matriz $A=diag(2,1)$ . Entonces esto es similar a $B=\left[\begin{array} 1 & 1 \\ 0 & 1\end{array}\right] diag(2,1) \left[\begin{array} 1 & -1 \\ 0 & 1\end{array}\right]=\left[\begin{array} 2 & -1 \\ 0 & 1\end{array}\right]$ . Ahora, $\left[\begin{array} 0 \\ 1 \end{array}\right]$ es un vector propio de $A$ pero no de $B$ .

0 votos

Lo siento, me he hecho un lío con la escritura en látex...

72voto

lhf Puntos 83572

Si se define el polinomio característico de una matriz $A$ para ser $\det(xI - A)$ entonces para $M$ invertible tenemos

$\det(xI - M^{-1} A M)=$

$= \det(M^{-1} xI M - M^{-1} A M)$

$= \det(M^{-1} (xI-A) M)$

$= \det (M^{-1}) \det(xI-a) \det(M)$

$=\det(xI - A)$

0 votos

Eso fue sencillo. Muy simple. ¡Muchas gracias!

7 votos

Esta prueba debería ser estándar en cualquier texto, para incluso defina el polinomio característico de un endomorfismo de un espacio vectorial (a diferencia del de una matriz). Ciertamente, no se desea tener que referirse a valores propios y multiplicidades algebraicas para definir el polinomio característico de un endomorfismo.

0 votos

@Marc, ¿cómo definirías los determinantes de endomorfismos de espacios vectoriales generales?

0voto

Nishant kumar Puntos 16

(Demasiado largo para un comentario.)

En la prueba de lhf, $x$ podría confundirse con un "elemento general de $R$ ." (Estoy tomando matrices sobre un anillo conmutativo $R$ .)

Algunas de las cosas que es fácil pasar por alto en su prueba:

  1. El polinomio característico no es el "polinomio de función", por lo que la igualdad debe comprobarse realmente en $R[x]$ . (Obsérvese que las mismas funciones polinómicas pueden inducirse a partir de polinomios diferentes).

  2. Pero la prueba anterior sigue siendo la misma. Esto se debe a que se puede volver a "sacar" $M^{-1}$ et $M$ sur $xI - M^{-1}AM$ pero esta vez, en $R^{n\times n}[X]$ . (Yo uso $X$ y no $x$ (deliberadamente, para mayor claridad). Pero esto requiere cuidado.

  3. Se requiere conmutatividad para que el determinante tenga las propiedades habituales.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X