Real spectrum criterion for a normal C-star element
ID: real-spectrum-criterion-for-a-normal-c-star-element
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.
New to topics? Read the docs here!