Operator system
≈ 1 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
Given a unital C*-algebra \mathcal{A} , a *-closed subspace S containing 1 is called an operator system. One can associate to each subspace \mathcal{M} \subseteq \mathcal{A} of a unital C*-algebra an operator system via S:= \mathcal{M}+\mathcal{M}^* +\mathbb{C} 1 . The appropriate morphisms between operator systems are completely positive maps. By a theorem of Choi and Effros, operator systems can be characterized as *-vector spaces equipped with an Archimedean matrix order.
Given a unital C*-algebra \mathcal{A} , a *-closed subspace S containing 1 is called an operator system. One can associate to each subspace \mathcal{M} \subseteq \mathcal{A} of a unital C*-algebra an operator system via S:= \mathcal{M}+\mathcal{M}^* +\mathbb{C} 1 . The appropriate morphisms between operator systems are completely positive maps. By a theorem of Choi and Effros, operator systems can be characterized as *-vector spaces equipped with an Archimedean matrix order. ==See also== Operator space ==References==
Text derived from https://en.wikipedia.org/w/index.php?oldid=1222612551 under CC BY-SA 4.0; modifications have been made.