For normal , the closed unital C-star subalgebra generated by is commutative. When the ambient spectrum is real, its complement is connected. Membership of the resolvent in this subalgebra is both open and closed on that complement, and holds at large modulus by the Neumann series. Thus the subalgebra spectrum is the same real set. Its isometric Gelfand transform takes to a real-valued function and to its conjugate, proving equality. Normality is necessary: the nonzero matrix has spectrum but is not self-adjoint.
Articles by others on the same topic
There are currently no matching articles.