Choquet theorem (source code)

= Choquet theorem
{c}

= Choquet's theorem
{c}
{synonym}

Every point of a compact metrizable convex subset of a Hausdorff locally convex space is the <barycenter> of a <Borel probability measure> concentrated on its <extreme points>. The theorem is an existence assertion; uniqueness requires additional hypotheses such as a simplex structure.