Eg. Effros et S. Winkler, MATRIX CONVEXITY - OPERATOR ANALOGS OF THE BIPOLAR AND HAHN-BANACH THEOREMS, Journal of functional analysis, 144(1), 1997, pp. 117-152
Several basic results of convexity theory are generalized to the ''qua
ntized'' matrix convex sets of Wittstock. These include the Bipolar th
eorem, a gauge version of the Hahn-Banach theorem, and the existence t
heorem for support functionals. (C) 1997 Academic Press.