We show the existence and uniqueness of a minimal injective operator system (resp. minimal unital C*-algebra) "containing" a given operator system. V, which will be called the injective (resp. C*-) envelope of V. This result can be applied to prove the existence of the Silov boundary in the sense of Arveson, which was left open in .
Cite this article
Masamichi Hamana, Injective Envelopes of Operator Systems. Publ. Res. Inst. Math. Sci. 15 (1979), no. 3, pp. 773–785DOI 10.2977/PRIMS/1195187876