Centre of a compact convex set (Q2097357)

Let \(K\) be a compact convex set in a real locally convex Hausdorff space and \(A_{\mathbb R}(K)\) stand for the space of all real affine continuous functions on \(K\). Then \(A_{\mathbb R}(K)\) is a complete order unit space such that its state space is affinely homeomorphic to \(K\). Conversely, if \((V,e)\) is a complete order unit space with the state space \(S(V)\), then \(S(V)\) is a compact convex set and \(V\) is unitally order isomorphic to \(A_{\mathbb R}(S(V))\). By Theorem II.1.8 in a book by \textit{E. M. Alfsen} [Compact convex sets and boundary integrals. Berlin: Springer-Verlag (1971; Zbl 0209.42601)], there exists a bijective correspondence between the class of compact convex sets and the class of complete order unit spaces. The paper in question studies an intrinsic characterization of compact convex sets which are affinely homeomorphic to balanced compact convex sets. Hence the notion of a centre of a convex set is introduced and it is shown that a compact convex set \(K\) is affinely homeomorphic to a balanced convex compact set if and only if \(K\) has a centre. In this case the centre of \(K\) is unique. The properties of the space \(A_{\mathbb R}(K)\), where \(K\) has the centre, are also investigated. It is shown that then \(A_{\mathbb R}(K)\) is unitally order isomorphic to \((V^{(\cdot)},e)\) for some Banach space \(V\) (here \((V^{(\cdot)},e)\) denotes the order unit space obtained by adjoining an order unit to a Banach space \(V\) using a construction due to M.M. Day). Also, the order unit spaces whose state space have the centre are discussed.