Operator system

Given a unital C*-algebra 𝒜, a *-closed subspace S containing 1 is called an operator system. One can associate to each subspace ℳ⊆𝒜 of a unital C*-algebra an operator system via S:=ℳ+ℳ∗+ℂ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

References

  1. ↑ Choi M.D., Effros, E.G. Injectivity and operator spaces. Journal of Functional Analysis 1977