Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 5 / 2 / 6 / Solution

For a bounded self-adjoint operator, $g$ is orthogonal to its range exactly when $⟨Lf,g⟩=⟨f,Lg⟩=0$ for every $f$, or equivalently $Lg=0$. ConsequentlyThis is image-kernel orthogonality for an adjoint. Taking the double orthogonal complement gives the closure; it does not assert that the range itself is closed.