For a bounded normal operator with spectral measure of a normal operator , any projection commutes with and by the Borel functional calculus for a normal operator. Its range is a closed reducing subspace. If the spectrum has two points, choose disjoint nonempty relative open sets around them. Full support of a faithful spectral measure makes both projections nonzero and their product zero, so either range is nonzero and proper, in particular an invariant subspace.
Articles by others on the same topic
There are currently no matching articles.