State on a C-star algebra (source code)

= State on a C-star algebra
{wiki}

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