Pure state on a C-star algebra
= Pure state on a C-star algebra
A pure state is an extreme point of the <state on a C-star algebra>[state space]. The <Krein-Milman theorem> guarantees pure states, and every positive element attains its norm at some pure state.