Operations between sets in geometry
  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$. For example, it is proved that if $n\ge 2$, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, and associative if and only if it is $L_p$ addition for some $1\le p\le\infty$. It is also demonstrated that if $n\ge 2$, an operation * between compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, and has the identity property (i.e., $K*\{o\}=K=\{o\}*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. An operation called $M$-addition is generalized and systematically studied for the first time. Geometric-analytic formulas that characterize continuous and GL(n)-covariant operations between compact convex sets in terms of $M$-addition are established. The term "polynomial volume" is introduced for the property of operations * between compact convex or star sets that the volume of $rK*sL$, $r,s\ge 0$, is a polynomial in the variables $r$ and $s$. It is proved that if $n\ge 2$, with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, GL(n) covariant, associative, and has polynomial volume if and only if it is Minkowski addition. 
Richard J. Gardner, Daniel Hug, and Wolfgang Weil
math.MG