Dual spaces of operator systems
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 is \emph{dualizable} if one can find an equivalent dual matrix norm on the dual space such that under this dual matrix norm and the canonical dual matrix cone, becomes a dual operator system. We show that "a complete" operator system is dualizable if and only if satisfies a bounded decomposition property. In this case, is the largest dual matrix norm that is equivalent to and dominated by the original dual matrix norm on that turns it into a dual operator system, denoted by . is again dualizable. For every completely positive completely bounded map between dualizable operator systems, there is a unique weak--continuous completely positive completely bounded map which is compatible with the dual map . 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 is either a -algebra or a unital operator system, then is dualizable and the canonical weak--homeomorphism from the unital operator system to the operator system is a completely isometric complete order isomorphism. Furthermore, the category of -algebras and that of unital "complete" operator systems can be regarded as full subcategories of the category of dual operator systems.