State on a C-star algebra

A state is a positive functional of norm one. The state space $S(A)$ is a weak-star compact convex subset of $A^{\ast }$.

A pure state is an extreme point of the state space. The Krein-Milman theorem guarantees pure states, and every positive element attains its norm at some pure state.