Spectral projection gives a reducing subspace

ID: spectral-projection-gives-a-reducing-subspace

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.

New to topics? Read the docs here!