Essential spectrum of a bounded self-adjoint operator

ID: essential-spectrum-of-a-bounded-self-adjoint-operator

For a bounded self-adjoint operator on a complex Hilbert space, define
This equals the spectrum of a bounded operator after removing its isolated eigenvalues of finite multiplicity. To see isolation when the kernel is finite and the shifted range is closed, restrict the shifted operator to its kernel complement: it is invertible there by image-kernel orthogonality for an adjoint. A Neumann-series perturbation leaves nearby nonzero shifts invertible on that complement and on the finite kernel. The closed range must concern the shifted operator, not the original one.

New to topics? Read the docs here!