Dual spaces of operator systems

From MaRDI portal




Abstract: This article is to give an infinite dimensional analogue of a result of Choi and Effros. We say that an (not necessarily unital) operator system T is emph{dualizable} if one can find an equivalent dual matrix norm on the dual space T such that under this dual matrix norm and the canonical dual matrix cone, T becomes a dual operator system. We show that "a complete" operator system T is dualizable if and only if Minfty(T)mathrmsa satisfies a bounded decomposition property. In this case, |f|^mathrm{d}:= sup �ig{�ig|[f_{i,j}(x_{k,l})]�ig|: xin M_n(T)^+; |x|leq 1; nin mathbb{N}�ig}, is the largest dual matrix norm that is equivalent to and dominated by the original dual matrix norm on T that turns it into a dual operator system, denoted by Tmathrmd. Tmathrmd is again dualizable. For every completely positive completely bounded map phi:SoT between dualizable operator systems, there is a unique weak--continuous completely positive completely bounded map phimathrmd:TmathrmdoSmathrmd which is compatible with the dual map phi. This gives a full and faithful functor from the category of dualizable operator systems to that of dualizable dual operator systems. Moreover, we will verify that that if S is either a C-algebra or a unital operator system, then S is dualizable and the canonical weak--homeomorphism from the unital operator system S to the operator system (Smathrmd)mathrmd is a completely isometric complete order isomorphism. Furthermore, the category of C-algebras and that of unital "complete" operator systems can be regarded as full subcategories of the category of dual operator systems.









This page was built for publication: Dual spaces of operator systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2069919)