Geometría Analítica con Matlab/Valores y Vectores Propios
Valores y Vectores Propios
Se plantea una revisión del propiedades sobre determinantes, a partir de la definición propuesta en el libro de matrices de Frank Ayres, página 20, que hace uso del número de inversiones en una permutación.
Inicialmente, considérese una matriz de orden 3. Sea Plantilla:Eqn y un producto de la forma Plantilla:Eqn de tal manera que se tome un único elemento de cada línea (fila y columna). Los primeros subíndices se han tomado en el orden creciente 1, 2, 3, y con respecto a este orden los segundos subíndices forman el arreglo Plantilla:Eqn con lo cual hay seis (6) posibles elecciones para los j's; estas son
Ahora, con relación al orcen creciente tomado para los primeros subíndices, en las elecciones o permutaciones posibles para los segundos subíndices, pueden haber las denominadas inversiones. En una permutación dada existe una inversión cuando un entero precede a otro menor que el. De esta forma, por ejemplo la permutación 321 contiene tres (3) inversiones.
A cada permutación se asocia un signo + o -, de acuerdo a si el número de inversiones presente es par o impar respectivamente. Para el caso de la matriz B anterior, se tienen los seis productos siguientes:
y los signos respectivos asociados a las permutaciones de los segundos subíndices, son:
Con la información anterior, al tomar el determinante de B (notado o |B|) como la suma de los seis (6) productos precedidos de los respectivos signos, resulta Plantilla:Eqn Este desarrollo permite deducir de manera inmediata propiedades básicas aplicables a matrices cuadradas de cualquier tamaño.
Propiedades de Determinantes
Las tres primeras propiedades se observan directamente de Plantilla:Eqnref, y todas ellas las cumplen matrices cuadradas de cualquier tamaño. Plantilla:Importante Se sigue del hecho que cada producto en Plantilla:Eqnref contiene un cero de dicha fila nula. Plantilla:Importante En particular si B es triangular inferior, el desarrollo Plantilla:Eqnref inicialmente se reduce a los dos primeros sumandos pero, en el segundo de ellos el término es nulo; por consiguiente Plantilla:Eqn De esta propiedad resulta inmediatamente, Plantilla:Importante Para revisar el determinante cuando se intercambian dos líneas paralelas o, cuando dos de ellas son iguales, se puede reescribir Plantilla:Eqnref en las formas alternativas: Plantilla:Eqn Plantilla:Eqn Plantilla:Eqn De esta manera, se sigue: Plantilla:Importante Puesto que se anulan los factores que involucran restas nulas. Plantilla:Importante En consecuencia al aplicar Plantilla:Eqnref a la matriz Plantilla:Eqn resultando Plantilla:Eqn y en términos de los , queda Plantilla:Eqn Plantilla:Eqn el cual coincide con Plantilla:Eqnref. Esto permite extender las propiedades en las filas a las columnas. Plantilla:Importante Cuando cada término de una fila es suma de otros dos, de la propiedad distributiva de la multiplicación respecto de la suma, aplicado a una de las tres expresiones Plantilla:Eqnref - Plantilla:Eqnref, el determinante es suma de dos determinantes como en la manera siguiente: Plantilla:Eqn También, si una fila tiene un factor común, Plantilla:Eqn De manera similar, tomando el desarrollo adecuado, se tiene: Plantilla:Importante Plantilla:Importante La siguiente propiedad se refiere a la multiplicación. Plantilla:Importante Una consecuencia de esta propiedad, junto con el hecho , relaciona el determinante de la inversa: . Es decir, si B es regular entonces , la matriz inversa está dada por Plantilla:Eqn donde es la matriz adjunta de B, constituida por los cofactores de esta.
Con lo anterior, se dice Plantilla:Importante
Valores y Vectores Propios
Dada una matriz cuadrada A (de valores reales o complejos), de orden n, se dice que (real o complejo) es valor propio si existe un vector no nulo x tal que Plantilla:Eqn Al vector x anterior, se le denomina vector propio, y al par se le dice par propio.
Algunas Consecuencias de la definición Plantilla:Eqnref
Si se multiplica la ecuación Plantilla:Eqnref por A: Plantilla:Eqn lo cual significa: Plantilla:Importante Al multiplicar Plantilla:Eqnref por cualquier escalar K Plantilla:Eqn que implica: Plantilla:Importante Retomando la ecuación Plantilla:Eqnref, con el par propio : Plantilla:Eqn y aplicando Plantilla:Eqnref se obtiene Plantilla:Eqn lo cual indica que es valor propio de , asociado al vector propio x. Si se multiplica sucesivamente por potencias de A, se deduce: Plantilla:Importante También se tiene lo siguiente: Plantilla:Importante Plantilla:Res Supóngase que y es un vector propio asociado a los dos valores propios . Entonces se cumple Plantilla:Eqn de lo cual Plantilla:Eqn o también Plantilla:Eqn, y siendo y un vector no nulo, de la Nota 1 de la sección 1.1 se tiene Plantilla:Importante Si A es no singular, y si es un par propio de A, entonces es un par propio de . Plantilla:Res Si es par propio de A, satisface Plantilla:Eqn y siendo A no singular, al multiplicar por se tiene con lo cual , ya que . Con esto, se plantea la relación Plantilla:Eqn que muestra precisamente que es par propio de la matriz inversa . De esta manera se obtiene: Plantilla:Res Plantilla:Importante x es un vector propio de A si y solo si x es un vector propio de . Plantilla:Res : Si x es un vector propio, existe un complejo tal que Plantilla:Eqn Siendo distinto de cualquier valor propio de A entonces , y sea el complejo definido por Plantilla:Eqn Con este valor se tiene y usando el hecho de que es valor propio Plantilla:Eqn de lo cual Plantilla:Eqn Ahora bien, si existiera un vector y no nulo tal que la inversa no existiría, pero en tal caso contrariando precisamente el hecho que no es valor propio. Por lo tanto existe y resulta Plantilla:Eqn mostrando que x es vector propio de la matriz con valor propio asociado .
: Si x es un vector propio de , existe un complejo tal que Plantilla:Eqn Entonces Plantilla:Eqn de donde Plantilla:Eqn y como Plantilla:Eqn es decir, x es vector propio de A con valor propio asociado . Plantilla:Importante Plantilla:Res Sean vectores propios de a asociados al valor propio , y sea Plantilla:Eqn una combinación lineal distinta de cero. Entonces al aplica A Plantilla:Eqn Plantilla:Eqn
Polinomio Característico
El polinómio característico de una n-matriz A, es Plantilla:Eqn El grado de es n y el término líder en es . Los coeficientes del polonómio están en función de las entradas de A.
La ecuación característica de A es Plantilla:Eqn De la relación Plantilla:Eqnref, se tiene que es valor propio asociado al vector x si Plantilla:Eqn y ya que , la matriz es singular, y por la propiedad D-10, se tiene: Plantilla:Res Por consiguiente, de Plantilla:Eqnref y Plantilla:Eqnref se tiene que los valores propios de A son las soluciones de la ecuación característica; por lo tanto, A tiene n valores propios, y algunos de ellos pueden ser complejos (aún si las entradas de A son números reales), y algunos valores propios pueden ser repetidos.
Ahora, tomando el conjugado en Plantilla:Eqnref, Plantilla:Eqn permite concluír: Plantilla:Res Con el fin de expresar el determinante y la traza de una matriz en términos de sus valores propios, se acude a una relación dada en ------ entre las raíces y los coeficientes de un polinómio, para aplicarla por supuesto al polinomio característico. Plantilla:Consejo Sea un polinomio con coeficientes complejos, , con grado y Plantilla:Eqn y sean las raices de , no necesariamente diferentes, es decir Plantilla:Eqn Observe que . Del desarrollo de alguno productos Plantilla:Eqn Plantilla:Eqn Plantilla:Eqn Plantilla:Eqn inductivamente se sigue que Plantilla:Eqn para abreviar, sean Plantilla:Caja De lo anterior se sigue que Plantilla:Eqn por lo tanto Plantilla:Eqn y comparando con Plantilla:Eqnref, se surge la relación Plantilla:Eqn de lo cual Plantilla:Eqn Estas últimas relaciones se conocen como fórmulas de Viète.
Para el caso del polinomio característico asociado a una n-matriz A: al aplicar Plantilla:Eqnref en cada una de las filas con , se tiene en la forma Plantilla:Eqn y teniendo en cuenta la definición de determinante, el término precisamente surge del producto que involucra los términos de la diagonal principal. Con esto, para el polinomio característico , su coeficiente líder es y usando Plantilla:Eqnref Plantilla:Eqn en donde los coeficientes están dados por las fórmulas de Viète.
A partir de la relación sobre , junto con Plantilla:Eqnref evaluada en se concluye: Plantilla:Res Nuevamente la definición de determinante, el término aparece solamente del producto y en este caso tiene como coeficiente el valor . Puesto que , siguiendo Plantilla:Eqnref se tiene en función de la traza de A: Plantilla:Eqn A partir de esta relación: sobre una matriz nilpotente sucede: Plantilla:Importante Plantilla:Res De la propiedad C-3, Plantilla:Eqn puesto que , y como x no es vector nulo resulta . Quiere decir que tan sólo 0 es valor propio, y ya que , queda .
Espectro de una Suma y Producto de Matrices
El conjunto de todos los vectores propios asociados al mismo valor propio es denominado el espacio propio del valor . El conjunto de todos los valores propios de una matriz A es denominado el espectro de A y se denota .
Para dos matrices dadas A y B, se puede responder la inquietud: Plantilla:Eqn Al considerar dos matrices sencillas Plantilla:Eqn se tiene que y también pero, . Para el producto, puesto que inmediatamente la respuesta a la segunda inquietud también es negativa.
Sin embargo, para una matriz muy particular, de la forma Plantilla:Eqn donde A, B, C y la matriz nula O son matrices cuadradas del mismo orden, se cumple que Plantilla:Eqn ya que la presencia de ceros, al plantear todos los productos posibles en el desarrollo de sólo quedan los que dan lugar a simultáneamente con los que corresponden a . Con esto se cuncluye que .
Otras consecuencias de la definición Plantilla:Eqnref
A la lista inicial de propiedades dada en la sección 1.1.3.2.1Plantilla:Ref, basadas exclusivamente en la definición Plantilla:Eqnref sobre valor y vector propio, se agregan algunas otras teniendo en cuenta ahora el uso del determinante. Plantilla:Importante Plantilla:Res : Si 0 es valor propio de A, satisface , es decir . Así, A es singular.
: Si A es singular, , luego 0 es valor propio de A. Plantilla:Importante Si , es cualquier polinomio, entonces se define como la matriz Plantilla:Eqn Si es un par propio para A, entonces es un par propio para . Plantilla:Res Con la propiedad C-3, se tiene Plantilla:Eqn confirmando que . Plantilla:Res Plantilla:Importante Dada la matriz triangular superior Plantilla:Eqn la matriz , es nuevamente una matriz triangular superior con diagonal principal Plantilla:Eqn de esta manera los valores propios de la matriz triangular superior T, son justamente los elementos de su diagonal principal.
Para el caso de la matriz diagonal, siendo una matriz triangular superior, entonces sus valores propios son los elementos de la diagonal principal. Plantilla:Importante Plantilla:Res Como una matriz y su transpuesta tienen el mismo determinante Plantilla:Eqn luego si entonces , y recíprocamente. Plantilla:Importante Considere dos n-matrices A y B, siendo la primera de ellas una matriz regular. Entonces AB y BA tienen el mismo polinomio característico. Plantilla:Res Reescribiendo el determinante , junto con la propiedad D-9 Plantilla:Eqn quedando Plantilla:Eqn de esa manera se obtiene el mismo polinomio característico.
Multiplicidad geométrica y algebraica
Sea un valor propio de A. Entonces, la multiplicidad algebraica de es el número de veces que se repite como raíz del polinómio característico. Cuando la multiplicidad algebraica es 1, es llamado valor propio simple.
La multiplicidad geométrica de es la dimensión del espacio nulo . En otras palabras, es el número máximo de vectores propios asociados con , linealmente independientes.
Las dos multiplicaciones pueden ser distintas. Por ejemplo, al considerar la matriz Plantilla:Eqn su polinomio característico es , con lo cual el valor propio se repite dos veces, así su multiplicidad algebraica es 2. En cuanto a su multiplicidad geométrica, al buscar una base para el espacio nulo , al resolver el sistema Plantilla:Eqn resulta la ecuación , y de esta manera las soluciones son de la forma Plantilla:Eqn mostrando que sólo hay un vector linealmente independiente, Es decir la multiplicidad geométrica es 1.
Para una matriz diagonal , ya se conoce que los valores propios coinciden con los de su diagonal. Ahora, para el espacio propio asociado a uno de ellos. por ejemplo , la k-ésima fila de la matriz es nula. En consecuencia el sistema Plantilla:Eqn tiene como solución vectores con componentes 0 salvo la k-ésima. Así la base contiene sólo un vector linealmente independiente, y con ello la multiplicidad geométrica es 1. Entonces, el espacio propio asociado a es Plantilla:Eqn
Matrices Simétricas
En la sección 1.4 se planteó que una matriz ortogonal preserva longitudes y productos internos como se muestra en las relaciones Plantilla:Eqnref, Plantilla:Eqnref. A partir de ellas se obtienen conclusiones sobre valores y vectores propios.
Los valores propios de una matriz simétrica son reales
Sea A una n-matriz simétrica y un par propio; esto es Plantilla:Eqn Para establecer que el valor propio es real, se sigue el desarrollo propuesto en ----. Entonces, se considera el valor propio en la forma compleja Plantilla:Eqn con el propósito de concluir que . Para ello se define la matriz Plantilla:Eqn la cual es una matriz real, hecho que se observa al realizar el producto Plantilla:Eqn ya que es el real 2a, con lo que se suman matrices reales para dar lugar a B. Además B es matriz singular puesto que lo es; de esta manera existe un vector x no nulo, tal que . Ahora con , queda Plantilla:Eqn y siendo A simétrica también , con ello Plantilla:Eqn y puesto que , se concluye que ; es decir, cada valor propio de la matriz simétria A es real.
Los vectores propios de una matriz simétrica asociada a distintos valores propios son ortogonales
Sean dos valores propios distintos de la matriz simétrica A, y sean x,y sus respectivos valores vectores propios. Entonces Plantilla:Eqn de donde Plantilla:Eqn y al tomar la transpuesta de la primera, siendo A simétrica, da que al relacionarla con la segunda proporciona Plantilla:Eqn y puesto que implica que , confirmando que los vectores propios son ortogonales.
Los valores propios de una matriz orgonal tienen valor absuoluto 1
Sea Q una n-matriz ortogonal y un par propio. Al tomar su norma en Plantilla:Eqnref Plantilla:Eqn y por (1.11a) , con lo cual Plantilla:Eqn es decir . Así, el especto está contenido en la circunferencia de centro el origen y radio 1.
Matrices Hermitianas
En la sección 1.4.2 se mencionó que una matriz A es hermitiana si , es decir, cuando . También, A es una matriz anti hermitiana cuando , es decir, cuando .
En la verificación de la naturaleza de los valores propios de una matriz hermitiana, se utilizan dos hechos sencillos: Plantilla:Eqn Para el primero, . Con esto, Plantilla:Importante Para una prueba, a partir del complejo al efectuar el desarrollo de , resulta Plantilla:Eqn con lo cual éste debe ser un real.