Eigenstates of C*-Algebras

Abstract

We introduce the notion of eigenstate of an operator in an abstract C*-algebra, and prove several properties. Most significantly, if the operator is self-adjoint, then every element of its spectrum has a corresponding eigenstate.