Given a
unital C*-algebra
In mathematics, specifically in functional analysis, a C∗-algebra (pronounced "C-star") is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra ''A'' of contin ...
, 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
.
The appropriate morphisms between operator systems are
completely positive map
In mathematics a positive map is a map between C*-algebras that sends positive elements to positive elements. A completely positive map is one that satisfies a stronger, more robust condition.
Definition
Let A and B be C*-algebras. A linear m ...
s.
By a theorem of Choi and Effros, operator systems can be characterized as *-vector spaces equipped with an Archimedean matrix order.
[Choi M.D., Effros, E.G. Injectivity and operator spaces. Journal of Functional Analysis 1977]
See also
*
Operator space
References
Operator theory
Operator algebras
{{mathanalysis-stub