Supongamos es un compacto de auto-adjunto del operador y es un vector unitario tal que . Denotar por la proyección ortogonal en la suma directa de los subespacios propios de a con autovalor . Quiero mostrar que la
No estoy seguro de cómo considerar la norma de y cómo se relacionan con los valores propios. Quizás