Next: Matrix order unit norm
Up: Operator Systems and Completely
Previous: Definitions
  Contents
  Index
Characterization
Choi and Effros [CE77, Theorem 4.4] showed the following characterization theorem:
Let
be an operator system. Then there are a Hilbert space
and a unital complete order isomorphism from
to a selfadjoint subspace of
.
A unital complete order isomorphism is obtained by
where
is the set of all unital completely positive maps
.
Prof. Gerd Wittstock
2001-01-07