# Operations between sets in geometry

Richard J. Gardner; Daniel Hug; Wolfgang Weil

Journal of the European Mathematical Society (2013)

- Volume: 015, Issue: 6, page 2297-2352
- ISSN: 1435-9855

## Access Full Article

top## Abstract

top## How to cite

topGardner, Richard J., Hug, Daniel, and Weil, Wolfgang. "Operations between sets in geometry." Journal of the European Mathematical Society 015.6 (2013): 2297-2352. <http://eudml.org/doc/277755>.

@article{Gardner2013,

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 $\mathbb \{R\}^n$. 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*\lbrace o\rbrace =K=\lbrace o\rbrace *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 effect. Several other new lines of investigation are followed. A relatively little-known but seminal 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. It is shown that if $n\ge 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 Hausdorff metric, $GL(n)$ covariant, and translation invariant if and only if it is of the form $\lambda DK$ for some $\lambda \ge 0$, where $DK=K+(−K)$ is the difference body of $K$. 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.},

author = {Gardner, Richard J., Hug, Daniel, Weil, Wolfgang},

journal = {Journal of the European Mathematical Society},

keywords = {compact convex set; star set; Brunn-Minkowski theory; Minkowski addition; radial addition; $L_p$ addition; $M$-addition; projection; symmetrization; central symmetral; difference body; associativity equation; polynomial volume; compact convex set; star set; Brunn-Minkowski theory; Minkowski addition; radial addition; addition; -addition; projection; symmetrization; central symmetral; difference body; associativity equation; polynomial volume},

language = {eng},

number = {6},

pages = {2297-2352},

publisher = {European Mathematical Society Publishing House},

title = {Operations between sets in geometry},

url = {http://eudml.org/doc/277755},

volume = {015},

year = {2013},

}

TY - JOUR

AU - Gardner, Richard J.

AU - Hug, Daniel

AU - Weil, Wolfgang

TI - Operations between sets in geometry

JO - Journal of the European Mathematical Society

PY - 2013

PB - European Mathematical Society Publishing House

VL - 015

IS - 6

SP - 2297

EP - 2352

AB - 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 $\mathbb {R}^n$. 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*\lbrace o\rbrace =K=\lbrace o\rbrace *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 effect. Several other new lines of investigation are followed. A relatively little-known but seminal 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. It is shown that if $n\ge 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 Hausdorff metric, $GL(n)$ covariant, and translation invariant if and only if it is of the form $\lambda DK$ for some $\lambda \ge 0$, where $DK=K+(−K)$ is the difference body of $K$. 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.

LA - eng

KW - compact convex set; star set; Brunn-Minkowski theory; Minkowski addition; radial addition; $L_p$ addition; $M$-addition; projection; symmetrization; central symmetral; difference body; associativity equation; polynomial volume; compact convex set; star set; Brunn-Minkowski theory; Minkowski addition; radial addition; addition; -addition; projection; symmetrization; central symmetral; difference body; associativity equation; polynomial volume

UR - http://eudml.org/doc/277755

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.