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, defineThis 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!