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 satisfying
where 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 set
This is a projection-valued measure with and
The 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 . Therefore
This 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 gives
Thus its range is contained in the eigenspace . Conversely, for in that kernel, the positive scalar spectral measure satisfies
It follows that , and hence . Consequently
The 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 to
Thus 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 , 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.