For a bounded self-adjoint operator, outside the closed numerical range yields . The same inequality for makes the range dense, and the first makes it closed. Thus is in the resolvent. The enclosure remains valid for general bounded Hilbert-space operators by the analogous adjoint numerical-range argument.
For bounded self-adjoint , put with . Unit vectors with satisfy by positive-form Cauchy-Schwarz inequality. Thus is an approximate eigenvalue. Applying the same argument to proves the result at .
Articles by others on the same topic
There are currently no matching articles.