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.
Articles by others on the same topic
There are currently no matching articles.