Signo de los valores propios del producto de 3 matrices

Estoy tratando de encontrar el signo de los valores propios de cierto norte × norte matriz simétrica METRO . Sé que puedo escribir esta matriz como

METRO = PAG D PAG T ,

con D pag × pag diagonal con entradas positivas o nulas, y PAG a norte × pag matriz. ¿Puedo concluir que los valores propios de METRO son positivos o nulos?

El número de valores propios de METRO no es lo mismo que el número de entradas de D .
Si METRO es norte × norte , estamos de acuerdo en que PAG es norte × pag ( norte filas, pag columnas) con pag > norte , mientras D es pag × pag ?
@Jean, si PAG es norte × pag , y D es norte × norte , entonces PAG D no está definido.
¿Has intentado trabajar con algún ejemplo, Djekt?
@Gerry Myerson Tienes razón. Acabo de corregir mi comentario...
Lo siento, hubo un error estúpido en mi pregunta, edité mi pregunta.
¿Puedes decir si norte > pag o norte < pag ?
En mi caso, norte > pag .

Respuestas (2)

Para todos X R norte ,

X , METRO X = X , PAG D PAG T X = PAG T X , D PAG T X = D 1 / 2 PAG T X , D 1 / 2 PAG T X 0.

Entonces todos los valores propios de METRO son no negativos.

Un par de cosas que es útil tener en cuenta. PAG PAG es simétrico positivo semidefinido.

Pienso además, denotar λ 1 , d 1 el valor propio más pequeño de PAG PAG y la entrada más pequeña de la diagonal principal de D respectivamente. λ 2 , d 2 para mas grande. Entonces creo σ ( PAG D PAG ) [ λ 1 d 1 , λ 2 d 2 ] por la Desigualdad de Cauchy sobre productos de matrices.

Creo que esto da la respuesta a su problema.

¿Podría proporcionar un enlace/referencia a "Desigualdad de Cauchy en productos de matriz"?
Cauchy-Schwartz vale para cualquier norma. Tomar como norma | | A | | = metro a X mi i gramo mi norte v a yo tu mi o F A y usa ||P^TAP|| = ||A||||P^TP||. Alternativamente, mire la solución @md5, que es mucho más clara/más concreta.
Gracias por aclarar, no estaba seguro de que te estuvieras refiriendo a CS. Supongo que por su versión de "producto de matriz" quiere decir que el producto interno considerado es el producto interno de frobenius en matrices. De todos modos, para ser honesto, no estoy seguro de ver cómo usar CS para probar el límite inferior del espectro.