We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope.
生成讲解博客的中文版本
生成AI智能校验的中文版本