Sea AAA una matriz real de 3×33×33 \times 3 que no es similar a ninguna matriz triangular superior en RR\Bbb R, pruebe que AAA es similar a una matriz diagonal en CC\Bbb C.

Supongamos que un 3 × 3 matriz real A no es similar a ninguna matriz triangular superior en el campo real R , es decir, no hay 3 × 3 matriz real invertible PAG , tal que PAG 1 A PAG es una matriz triangular superior. Pruebalo A es similar a una matriz diagonal en el campo complejo C .

Mi solución

Necesito citar el siguiente resultado:

Dos matrices reales A y B son similares en C si y solo si A y B son similares en R . En detalle, si existe un invertible PAG C norte × norte tal que B = PAG 1 A PAG , entonces existe un q R norte × norte tal que B = q 1 A q .

Luego demuestro la conclusión por contradicción. Si A no es similar a una matriz diagonal en C , A tendría al menos dos valores propios idénticos. Porque norte = 3 y las raíces imaginarias aparecen en pareja, esto significa que todas A Los valores propios de son números reales. Hay dos casos.

  • Todos los valores propios iguales a λ 0 . Usando la teoría de la forma canónica de Jordan, A es similar a una de las siguientes tres matrices:

    ( λ 0 0 0 0 λ 0 0 0 0 λ 0 ) , ( λ 0 1 0 0 λ 0 0 0 0 λ 0 ) , ( λ 0 1 0 0 λ 0 1 0 0 λ 0 ) .
    En cualquier caso, A sería similar a una matriz triangular superior en R (utilizando el resultado indicado al principio), contradicción.

  • Dos valores propios iguales a λ 1 , el valor propio restante es igual a λ 2 λ 1 . Bajo este caso, A es similar a una de las siguientes dos matrices:

    ( λ 1 0 0 0 λ 1 0 0 0 λ 2 ) , ( λ 1 1 0 0 λ 1 0 0 0 λ 2 ) .
    En cualquier caso, A sería similar a una matriz triangular superior en R , contradicción.

Por lo tanto, A tiene tres valores propios diferentes, por lo que es diagonalizable en C .

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.

bueno, ¿qué resultados tienes de que los valores característicos reales implican forma triangular?
No lo dijiste. No desea utilizar el formulario Jordan. Estoy buscando en mis libros un resultado con menos maquinaria, en este sentido: una matriz cuadrada real con todos los valores propios reales es similar a una matriz triangular superior. Si es cierto, eso resuelve tu problema. Estoy buscando en el primer libro de Horn and Johnson. Existe una versión compleja llamada teorema de triangularización unitaria de Schur. Muy bien, al final de la prueba dicen que con matriz real y todos los valores propios reales, ¡la misma prueba funciona!
Gracias, puedo probar si puedo probar su resultado.
En las páginas 79-80 de Horn and Johnson. Prueba por algoritmo; el mismo algoritmo se puede llevar a cabo en aritmética real. math.drexel.edu/~foucart/TeachingFiles/F12/M504Lect1.pdf y muchas otras notas de conferencias de diferentes profesores
El caso de todos los valores propios reales: prueba en una página math.uh.edu/~wagner/2331/Schurs_theorem.pdf
@WillJagy Genial, creo que lo entendí por inducción. Tu comentario es muy útil.
Tenga en cuenta que, en principio, hay poca diferencia entre usar la forma de Jordan real y la descomposición de Schur real.
@copper.hat Creo que demostrar que la forma de Jordan es mucho más técnica que el teorema de Schur. Mi punto es hacer las cosas usando menos maquinaria.

Respuestas (1)

A 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 A es real, los valores propios no reales deben ser un par conjugado complejo. Dado que todos los valores propios son distintos, es diagonalizable (sobre C ).