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 .
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.
Famous quotes containing the word system:
“Human beings are compelled to live within a lie, but they can be compelled to do so only because they are in fact capable of living in this way. Therefore not only does the system alienate humanity, but at the same time alienated humanity supports this system as its own involuntary masterplan, as a degenerate image of its own degeneration, as a record of people’s own failure as individuals.”
—Václav Havel (b. 1936)