Use the usual unital-subalgebra convention . The spectral theorem for a commutative operator algebra states that the character space , equipped with the Gelfand topology, is a compact Hausdorff space, and there is a unique regular projection-valued measure on its Borel sigma-algebra satisfyingwhere is the Gelfand transform. The map is an isometric unital star-isomorphism from onto by the Commutative Gelfand--Naimark theorem.
More explicitly, every is an orthogonal projection, , , and for disjoint Borel sets ,with convergence in the norm of the Hilbert space. Regularity means that each scalar spectral measure is a regular Borel measure. The integral identity then implies . No separability assumption on is needed.
First construct the spectral measure of a normal operator and prove the open-set assertion needed for all three numbered conclusions. The algebra generated by and is commutative because is a normal operator. The Gelfand transform identifies with . By spectral permanence for C-star algebras,is onto: its image is the spectrum of in , which is also its spectrum in . It is injective because a character is determined by its values on and , and . Thus is a homeomorphism. Apply part (a) and setThis is a projection-valued measure with andThe associated continuous functional calculus is isometric: for .
If is nonempty and relatively open, choose and a nonzero continuous supported inside , for example a small continuous bump about in the metric of . If , then , contradicting . ThereforeThis proves the claim from faithfulness of the representation rather than assuming it as part of the spectral theorem.
Now take an isolated point . Its singleton is relatively open, so . Multiplication of spectral integrals givesThus its range is contained in the eigenspace . Conversely, for in that kernel, the positive scalar spectral measure satisfiesIt follows that , and hence . ConsequentlyThe identification of this projection with the eigenspace holds even for a non-isolated ; isolation guarantees that it is nonzero.
If , the projection-valued measure satisfies . Its integral representation therefore reduces toThus a normal operator with a singleton spectrum is a scalar multiple of the identity operator. Normality is essential: a nonzero nilpotent matrix has spectrum but need not be zero.
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.