Disconnected spectrum gives a reducing subspace

ID: disconnected-spectrum-gives-a-reducing-subspace

For a normal operator with disconnected spectrum , the indicator function of a nonempty proper clopen component union is continuous on . The continuous functional calculus makes it a nonzero proper self-adjoint linear projection commuting with . Its range is therefore a nontrivial closed reducing subspace. No eigenvector is needed.

New to topics? Read the docs here!