State on a C-star algebra
ID: state-on-a-c-star-algebra
A state on a C-star algebra is a positive functional on a C-star algebra of norm one. For a nonzero unital C-star algebra , its state space is a compact for the weak-star topology convex set: positivity and define a closed for the weak-star topology subset of the dual unit ball, and the Banach-Alaoglu theorem gives compactness.
For a nonunital C-star algebra, the state space need not be compact for the weak-star topology. In , evaluations are states, but for every . Thus converges in the weak-star topology to the zero functional, which has norm zero and is not a state.
New to topics? Read the docs here!