Krein-Milman theorem (source code)

= Krein-Milman theorem
{c}
{wiki}

Every nonempty compact convex subset of a Hausdorff locally convex space is the closed convex hull of its extreme points. In particular, it has an extreme point.