Definition 1

Let K be a compact subset of a Hausdorff locally convex space E. For every positive measure $\mu$ on K of total mass equal to 1, the vector $b_\mu = \int x\, d\mu(x)$ (belonging to ${E'}^*$) is called the barycenter of $\mu$.