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 , whileThus . Set . As the range of an orthogonal projection, is closed, and the preceding observations give . The Borel functional calculus for a normal operator gives , soIn fact both and its orthogonal complement are invariant.
Articles by others on the same topic
There are currently no matching articles.