Minkowski addition

The Minkowski sum of two sets , in -dimensional Euclidean space is defined as the set

one also defines for real . Coupled with the notion of volume, this Minkowski addition leads to the Brunn–Minkowski theorem and is the basis for the Brunn–Minkowski theory of convex bodies (i.e., compact convex sets).

Repeated Minkowski addition of compact sets has a convexifying effect; this is made precise by the Shapley–Folkman–Starr theorem.

The structure of Minkowski addition is well studied on the space of convex bodies in . with Minkowski addition and multiplication by non-negative scalars is a convex cone. The mapping , where

( being the scalar product) is the support function, maps this cone isomorphically into the space of continuous real functions on . The image is precisely the closed convex cone of restrictions of sublinear functions. (For corresponding results in topological vector spaces, see [a2] and its bibliography.)

For convex bodies , the body is called a summand of if there exists an such that . Each summand of is a non-empty intersection of a family of translates of ; the converse is true for . is called indecomposable if every summand of K is of the form with and . In the plane , the indecomposable convex bodies are precisely the segments and the triangles. For , every simplicial convex polytope in is indecomposable, hence most convex bodies (in the Baire category sense, cf. also Baire set) are indecomposable.

A mapping from into an Abelian group is called Minkowski additive if for all . Such mappings are special valuations and play a particular role in the investigation of valuations on convex bodies. Common examples are the mean width and the Steiner point . A surjective mapping with that commutes with rigid motions and is continuous with respect to the Hausdorff metric is trivial, namely of the form with .

References

[a1]	R. Schneider, "Convex bodies: the Brunn–Minkowski theory" , Cambridge Univ. Press (1993)
[a2]	R. Urbanski, "A generalization of the Minkowski–Rådström–Hörmander theorem" Bull. Acad. Polon. Sci. Ser. Sci. Math., Astr., Phys. , 24 (1976) pp. 709 – 715