Convex space


In mathematics, a convex space is a space in which it is possible to take convex combinations of any finite set of points.

Formal Definition

A convex space can be defined as a set equipped with a binary convex combination operation for each satisfying:
From this, it is possible to define an n-ary convex combination operation, parametrised by an n-tuple, where.

Examples

Any real affine space is a convex space. More generally, any convex subset of a real affine space is a convex space.

History

Convex spaces have been independently invented many times and given different names, dating back at least to Stone. They were also studied by Neumann and Świrszcz, among others.
Herstein and Milnor used convex spaces to prove the Mixture-space theorem.