Injective Envelopes of Operator Systems

Abstract

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 [1].