Operations between sets in geometry

Abstract

An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in n-dimensional Euclidean space R n . It is proved that if n 2, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdor metric, GL(n) covariant, and associative if and only if it is Lp addition for some 1 p 1 . It is also demonstrated that if n 2, an operation between compact convex sets is continuous in the Hausdor metric, GL(n) covariant, and has the identity property (i.e., Kf og = K =fog K for all compact convex sets K, where o denotes the origin) if and only if it is Minkowski addition. Some analogous results for operations between star sets are obtained. Various characterizations are given of operations that are projection covariant, meaning that the operation can take place before or after projection onto subspaces, with the same eect. Several other new lines of investigation are followed. A relatively little-known but semi- nal operation called M-addition is generalized and systematically studied for the rst time. Geometric-analytic formulas that characterize continuous andGL(n)-covariant operations be- tween compact convex sets in terms of M-addition are established. It is shown that if n 2, an o-symmetrization of compact convex sets (i.e., a map from the compact convex sets to the origin-symmetric compact convex sets) is continuous in the Hausdor metric, GL(n) co- variant, and translation invariant if and only if it is of the form DK for some 0, where DK = K +( K) is the dierence body of K. The term \polynomial is introduced for the property of operations between compact convex or star sets that the volume of rK sL, r;s 0, is a polynomial in the variables r and s. It is proved that if n 2, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdor metric, GL(n) covariant, associative, and has polynomial volume if and only if it is Minkowski addition.