The Choquet boundary of an operator system
arXiv:1303.3252 · doi:10.1215/00127094-3165004
Abstract
We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope.
15 pages; simplified proof of key lemma, added new short proof of sufficiency of boundary representations