On the boundary barycentric calculus (Q919227)

Let \(\mu\) be a maximum measure on a compact convex set K with barycentre b(\(\mu\)). As an extension of the Bishop-de Leeuw theorem, it has been shown by the reviewer [Math. Proc. Cambridge Philos. Soc. 94, No.2, 297- 305 (1983; Zbl 0525.46007)] that \(\mu\) induces a measure \({\tilde \mu}\) on a \(\sigma\)-algebra of subsets of the extreme boundary ex K containing all sets of the form \(F\cap ex K\), where F is a subset of K which is either Baire or both compact and extremal (a union of faces of K). Here it is shown that, if h is a semicontinuous affine function on K, then \(h| ex K\) is \({\tilde \mu}\)-measurable and \(\int_{ex K}h d{\tilde \mu}=h(b(\mu))\).