Supongamos que un matriz real no es similar a ninguna matriz triangular superior en el campo real , es decir, no hay matriz real invertible , tal que es una matriz triangular superior. Pruebalo es similar a una matriz diagonal en el campo complejo .
Mi solución
Necesito citar el siguiente resultado:
Dos matrices reales y son similares en si y solo si y son similares en . En detalle, si existe un invertible tal que , entonces existe un tal que .
Luego demuestro la conclusión por contradicción. Si no es similar a una matriz diagonal en , tendría al menos dos valores propios idénticos. Porque y las raíces imaginarias aparecen en pareja, esto significa que todas Los valores propios de son números reales. Hay dos casos.
Todos los valores propios iguales a . Usando la teoría de la forma canónica de Jordan, es similar a una de las siguientes tres matrices:
Dos valores propios iguales a , el valor propio restante es igual a . Bajo este caso, es similar a una de las siguientes dos matrices:
Por lo tanto, tiene tres valores propios diferentes, por lo que es diagonalizable en .
Mi pregunta
¿Hay alguna solución más directa que posiblemente evite usar el formulario de Jordan y el resultado que cité? Porque este es un ejercicio que apareció antes de que se introdujera el capítulo de la forma de Jordan.
debe tener un valor propio con una parte imaginaria distinta de cero (de lo contrario, todos los valores propios son reales y, por lo tanto, serían similares a una matriz triangular superior, cf. la forma real de Schur).
Desde es real, los valores propios no reales deben ser un par conjugado complejo. Dado que todos los valores propios son distintos, es diagonalizable (sobre ).
Will Jagy
Will Jagy
Zhanxiong
Will Jagy
Will Jagy
Zhanxiong
cobre.sombrero
Zhanxiong