Reality of the Spectrum of Unbounded Self-Adjoint Operators Let $D$ be a closed unbounded operator densely defined on a Hilbert space $\cal{H}$. If $D$ is self-adjoint, then it is clear that its eigenvalues are real. Is it also clear that the elements of its spectrum are real?
 A: I'll carry out the argument for you based on a bounded selfadjoint operator $D$, though the argument does carry through for an unbounded selfadjoint operator as well. First note that $D-\lambda I$ is injective for all $\lambda\notin\mathbb{R}$ because $\langle Dx,x\rangle$ is real for all $x$, which leads to
$$
        \Im \langle (D-\lambda I)x,x\rangle = -\Im\lambda \langle x,x\rangle=-\Im\lambda \|x\|^2.
$$
By the Cauchy-Schwarz inequality,
$$
         |\Im\lambda|\|x\|^2 \le |\Im\langle (D-\lambda I)x,x\rangle| \\
                    \le |\langle (D-\lambda I)x,x\rangle| \\
                    \le \|(D-\lambda I)x\|\|x\| \\
           \implies |\Im\lambda|\|x\| \le \|(D-\lambda I)x\|.
$$
The above shows that (a) $D-\lambda I$ has $\{0\}$ null space for $\lambda\notin\mathbb{R}$, and (b) the inverse operator of $D-\lambda I$ that is defined on the range of $D-\lambda I$ is bounded in norm by $1/|\Im\lambda|$. The range of $D-\lambda I$ is dense in $H$ because
$$
     \mathcal{R}(D-\lambda I)^{\perp} = \mathcal{N}((D-\lambda I)^*)=\mathcal{N}(D-\overline{\lambda}I))=\{0\},\;\;\lambda\notin\mathbb{R}.
$$
And the range is closed because if $\{ y_n=(D-\lambda I)x_n \}$ converges to $y$, then $\{ y_n\}$ is Cauchy, which forces $\{x_n\}$ to be Cauchy because
$$
        \|x_n-x_m\| \le \frac{1}{|\Im\lambda|}\|(D-\lambda I)(x_n-x_m)\|=\frac{1}{|\Im\lambda|}\|y_n-y_m\|.
$$
Hence $y=(D-\lambda I)x$. (This argument works if $D$ is just closed.) The conclusion is that $D-\lambda I$ is injective, surjective, and has a bounded inverse if $\lambda\notin\mathbb{R}$, which proves that $\lambda$ is in the resolvent set for $\lambda\notin\mathbb{R}$.
