If the spectrum has one point, the preceding part gives , and the linear span of any nonzero vector is a closed proper invariant subspace because .
Otherwise choose distinct points and disjoint nonempty relatively open neighborhoods . The open-set result gives and , while
Thus . Set . As the range of an orthogonal projection, is closed, and the preceding observations give . The Borel functional calculus for a normal operator gives , so
In fact both and its orthogonal complement are invariant.

Articles by others on the same topic (0)

There are currently no matching articles.