For a densely defined operator on a complex Hilbert space, unbounded self-adjointness means equality including equality of the operator domains. Symmetry alone asserts only and is insufficient. Use an inner product linear in its first argument. If , symmetry gives
Thus is bounded below. Since is closed, its range is closed; its orthogonal complement is , so the range is also dense and therefore all of . The inverse is bounded by . The nonreal resolvent estimate for a self-adjoint operator proves .
For bounded self-adjoint , its numerical range of an operator and numerical radius are
Every number in is real. If , its distance from that closed set is positive, and . The same bound applies to , so the range is dense as well as closed and has a bounded inverse. Hence the numerical-range spectral enclosure is
The closure is necessary in infinite dimension: the endpoints of the numerical range need not themselves be attained.
Put and , a bounded positive semidefinite operator. Choose unit vectors with . The Cauchy-Schwarz inequality for the positive form implies
Therefore is an approximate eigenvalue. Apply the same argument to , where , to get the other endpoint. This proves the numerical-range endpoint approximate-eigenvalue theorem. Each endpoint is in the spectrum: a bounded inverse would forbid unit vectors with vanishing residual.
If an unbounded self-adjoint operator is positive semidefinite, then for every real , . The range argument above again proves invertibility, excluding negative values from the spectrum. For the converse, suppose . Its resolvent operator is bounded and self-adjoint. The resolvent spectral mapping identity puts : for , the relevant spectral parameter of is , and nonreal values are excluded by self-adjointness. By the endpoint result just proved, . Positive-form Cauchy-Schwarz inequality then gives
For this yields . Thus the spectral positivity criterion for a self-adjoint operator is
This resolvent proof uses the bounded numerical-range result to handle the full unbounded domain.