Dejemos que $A$ sea un operador autoadjunto definido en un subconjunto denso de un espacio de Hilbert $\mathcal{H}$ . Supongamos que $A$ está acotado por debajo en el sentido de que hay $m \in \mathbb{R}$ tal que $$\langle Ax,x\rangle \geq m,~\forall x : \|x\| = 1.$$
Quiero demostrarlo: $$ m = \inf\{\lambda : \lambda \in \sigma(A)\} = \inf \{\langle Ax,x\rangle : \|x\| = 1\}.$$
Sé que si $E_A$ denota la única medida espectral que representa $A$ entonces $\mathrm{supp}~E_A = \sigma(A),$ de la que se desprende la primera igualdad. Por lo tanto, sólo queda demostrar la última igualdad. ¿Alguna pista?
Gracias de antemano.