If unit vectors satisfy , a bounded inverse would give . Hence belongs to the spectrum of a bounded operator.
Conversely a spectral point is real by the preceding argument. Put , again a self-adjoint operator. If , then is injective with closed range. Its range is dense by image-kernel orthogonality for an adjoint, so it is bijective with a bounded inverse, a contradiction. Thus this infimum is zero; choose unit with . We have provedSuch a sequence is a spectral Weyl sequence. No weak convergence is required here; nonreal are ruled out by the lower bound in the preceding solution.
Articles by others on the same topic
There are currently no matching articles.