B4.7
Suppose that is a bounded linear operator on an infinite-dimensional Hilbert space , and that is real and non-negative for each .
(a) Show that is Hermitian.
(b) Let . Show that
(c) Show that is an approximate eigenvalue for .
Suppose in addition that is compact and injective.
(d) Show that is an eigenvalue for , with finite-dimensional eigenspace.
Explain how this result can be used to diagonalise .
Typos? Please submit corrections to this page on GitHub.