Dados dos vectores y en tal que y para cualquier escalar . Dejar ser un subespacio al que es ortogonal. Una base ortogonal porque tal subespacio puede generarse mediante algún enfoque estándar. Quiero una matriz definida positiva simétrica tal que proyectos vectoriales en o lapso( ) es decir o .
Si Sea un vector a lo largo de la proyección ortogonal de en entonces (simétrico). En otras palabras, ¿podemos encontrar tal para cual matriz es definida positiva?
Asumimos .
es una matriz de rango uno. Explicación: cada es tal que . De este modo es un vector propio asociado al valor propio . En otros términos, el subespacio (cual es dimensional) está incluido en el kernel de ; es inmediato que es de hecho el núcleo de . A partir de ahí, usando el teorema de nulidad de rango, podemos concluir que la propiedad de "rango 1" de .
Por lo tanto, 0 es un valor propio de con multiplicidad . Debido a la relación , el otro valor propio es 1.
De este modo es solo una matriz positiva semidefinida simétrica.
usuario402940
rodrigo de azevedo