4 votos

¿Cuáles son las invariantes de la matriz que caracterizan la similitud?

Deje que $F= \mathbb {R}$ o $ \mathbb {C}$ .

Me pregunto si un conjunto de invariantes (polinomio característico, un conjunto de valores propios, el conjunto de multiplicidad de cada valor propio) caracteriza exactamente la relación similar de la matriz.

Más precisamente, que $A,B \in M_{n \times n}(F)$ son las dos matrices cuyos polinomios característicos y conjunto total de valores propios son iguales. Además, si $ \lambda\in F$ es cualquier valor propio común de ellos, entonces suponemos que la multiplicidad algebraica de $ \lambda $ de $A$ y $B$ son iguales e iguales para sus multiplicidades geométricas.

En esta situación, ¿podemos decir que $A$ y $B$ son similares? Es decir, ¿hay una matriz invertible $U \in M_{n \times n}(F)$ de tal manera que $U^{-1}AU=B$ ?

Creo que puede no ser cierto. Pero tengo algunos problemas para encontrar un contra-ejemplo.

Cualquier comentario sobre esto será muy apreciado.

0 votos

También sé que el polinomio mínimo es también invariante. Pero no estoy seguro de que sea independiente con el conjunto de invariantes anterior. Si se trata de invariantes independientes, entonces el conjunto de invariantes incluyendo el anterior y se añadió 'polinomio mínimo' determina completamente la relación de similitud?

0 votos

La respuesta está en el mundo de la "forma normal de Jordan". (Tal vez haya otras formas normales, también, no estoy seguro).

0 votos

Muestras buen gusto al centrarte en la característica y los polinomios mínimos: son los dos extremos de un conjunto de polinomios llamados factores invariantes de la matriz que es lo que quieres. Esto funciona en cualquier campo. La forma canónica racional es el código.

1voto

Bemte Puntos 200

No, no puedes. Si tomas todos los invariantes que diste, tienes que hacer tus matrices un poco más grandes, pero todavía hay contraejemplos (creo que $8 \times 8$ debería funcionar, pero no estoy seguro). Un invariante es la forma normal de Jordan. También hay una forma normal de Jordan generalizada que funcionará sobre los reales. Pero tomar el polinomio característico, el polinomio mínimo, los valores propios, las multiplicidades, etc. no funcionará si las matrices son demasiado grandes. De hecho, se pueden generar contraejemplos utilizando las formas normales de Jordan, sólo hay que saber leer todos estos invariantes de la forma normal.

0 votos

Gracias. Después de estudiar la forma normal de Jordan, construí el ejemplo del contador como $A= \left[ {\begin{array}{cc} 1 & 1 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1\\ \end{array} } \right]$ y $$B= \left[ {\begin{array}{cc} 1 & 0 & 0\\ 0 & 1 & 1\\ 0 & 0 & 1\\ \end{array} } \right] $$ . Entonces no son similares pero sus invariantes que dije arriba son todas iguales. Así que encontré que el conjunto de invariantes que escribí anteriormente no determina completamente la similitud.

1 votos

Estas matrices son similares, porque tienen la misma normal de Jordan. Así que no es el contraejemplo.

0 votos

@Hedgehog, ¿en serio? Pensaba que ya estaban en la forma normal de Jordan. Si no es así, ¿cuáles son sus formas normales de Jordan?

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