Krein–Milman theorem

The Krein–Milman theorem is a fundamental result in convex analysis and functional analysis, particularly dealing with convex sets in the context of topological vector spaces. The theorem essentially provides a characterization of convex compact sets.