THE CHOQUET BOUNDARY OF AN OPERATOR SYSTEM

摘要

We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope.