Tengo el siguiente problema:
"Dada la matriz , encuentre los espacios propios de los respectivos valores propios".
Primero encontré que los valores propios eran y . Entonces, usando eso, el espacio propio de un valor propio es Descubrí que si entonces , y de manera similar si entonces .
Mi pregunta surgió cuando quería escribir donde el y entradas del vector propio viven en WolframAlpha por defecto a las entradas reales para los vectores propios de ejemplo (da y ), pero ¿las entradas también pueden ser complejas? Y si es así, ¿existe algún tipo de matriz en la que las entradas solo puedan ser reales? ¡Gracias!
Sí, los vectores propios también pueden tener coeficientes complejos. Por ejemplo, desde es un vector propio, entonces también lo es , ya que es igual a .
Generalmente, para un matriz con entradas en el campo (por ejemplo, los números reales o los números complejos ), las entradas de los vectores propios de se acostará en el campo (Por definición, un vector propio de es un vector con entradas en tal que )
Estrictamente hablando, es una buena práctica trabajar en un campo que es algebraicamente cerrado, es decir, un campo sobre el cual todos los polinomios tienen raíces. ( es quizás el ejemplo más ubicuo de un campo algebraicamente cerrado.) Explícitamente, si es algebraicamente cerrado, entonces cualquier matriz sobre tendrá valores propios (y por lo tanto algunos vectores propios). Por definición, determinamos los valores propios de calculando las raíces del grado polinomio por lo tanto si es algebraicamente cerrado, entonces para algunos enteros tal que (Por supuesto, el son los valores propios deseados.)
Afirmamos que la siguiente matriz (con entradas vistas como elementos de ) no tiene valores propios.
Por último, a su pregunta final, cada simétrico matriz sobre tiene valores propios reales . Aún mejor, tal matriz es ortogonalmente diagonalizable. (Si tiene curiosidad, por supuesto, búsquelo en Google).
Prueba. Considere un simétrico matriz real Todo número real es complejo (con parte imaginaria), por lo que podemos ver como una matriz compleja. En consecuencia, existe un valor propio de y un vector complejo tal que (porque es algebraicamente cerrado). Observa eso
Tanner