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!