Operations between sets in geometry (Q388775): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Summary: 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\geq 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 \leq p \leq \infty\). It is also demonstrated that if \(n\geq 2\), an operation \(\ast\) between compact convex sets is continuous in the Hausdorff metric, GL\((n)\) covariant, and has the identity property (i.e., \(K \ast \{o\}=K=\{o\} \ast 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\geq 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\geq 0\), where \(DK=K+(-K)\) is the difference body of \(K\). The term ``polynomial volume'' is introduced for the property of operations \(\ast\) between compact convex or star sets that the volume of \(rK \ast sL,r,s\geq 0\), is a polynomial in the variables \(r\) and \(s\). It is proved that if \(n\geq 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. | |||
Property / review text: Summary: 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\geq 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 \leq p \leq \infty\). It is also demonstrated that if \(n\geq 2\), an operation \(\ast\) between compact convex sets is continuous in the Hausdorff metric, GL\((n)\) covariant, and has the identity property (i.e., \(K \ast \{o\}=K=\{o\} \ast 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\geq 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\geq 0\), where \(DK=K+(-K)\) is the difference body of \(K\). The term ``polynomial volume'' is introduced for the property of operations \(\ast\) between compact convex or star sets that the volume of \(rK \ast sL,r,s\geq 0\), is a polynomial in the variables \(r\) and \(s\). It is proved that if \(n\geq 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52A20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52A30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 39B22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52A39 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52A41 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243074 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact convex set | |||
Property / zbMATH Keywords: compact convex set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
star set | |||
Property / zbMATH Keywords: star set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Brunn-Minkowski theory | |||
Property / zbMATH Keywords: Brunn-Minkowski theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Minkowski addition | |||
Property / zbMATH Keywords: Minkowski addition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
radial addition | |||
Property / zbMATH Keywords: radial addition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(L_p\) addition | |||
Property / zbMATH Keywords: \(L_p\) addition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(M\)-addition | |||
Property / zbMATH Keywords: \(M\)-addition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projection | |||
Property / zbMATH Keywords: projection / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symmetrization | |||
Property / zbMATH Keywords: symmetrization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
central symmetral | |||
Property / zbMATH Keywords: central symmetral / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
difference body | |||
Property / zbMATH Keywords: difference body / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
associativity equation | |||
Property / zbMATH Keywords: associativity equation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polynomial volume | |||
Property / zbMATH Keywords: polynomial volume / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1205.4327 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A solution of some problems of K. Borsuk and L. Jánossy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5514010 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992445 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zonoid theory and Hilbert's fourth problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5480755 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contributing vertices-based Minkowski sum computation of convex polyhedra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic characterization of \(L_p\)-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039749 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Small ball probability estimates, \(\psi_2\)-behavior and the hyperplane conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polar Means of Convex Bodies and a Dual to the Brunn-Minkowski Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $p$-Means of Convex Bodies. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5443984 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5429557 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A positive answer to the Busemann-Petty problem in three dimensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3409343 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Orlicz-Brunn-Minkowski theory: a general framework, additions, and inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An analytic solution to the Busemann-Petty problem on sections of convex bodies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tomography of convex and star bodies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convex and Discrete Geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymmetric affine \(L_p\) Sobolev inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: General \(L_{p}\) affine isoperimetric inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extensions of convex functionals on convex cones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangular norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4679602 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dual mixed volumes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intersection bodies and dual mixed volumes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new ellipsoid associated with convex bodies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(L_ p\) affine isoperimetric inequalities. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Cramer-Rao inequality for star bodies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sharp affine \(L_ p\) Sobolev inequalities. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the $L_{p}$-Minkowski problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $L_p$ John Ellipsoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orlicz projection bodies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Orlicz centroid bodies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Brunn-Minkowski-Firey inequality for nonconvex sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multivariate Extension of Put-Call Symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multivariate dispersion, central regions and depth. The lift zonoid approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Generalizations of Minkowski's Inequality in the Form of a Triangle Inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interval semirings on R<sub>1</sub> with ordinary multiplication / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The generalized joint spectral radius. A geometric approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On possible generalizations of convex addition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convex Analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5287551 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1964780431 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:55, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Operations between sets in geometry |
scientific article |
Statements
Operations between sets in geometry (English)
0 references
7 January 2014
0 references
Summary: 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\geq 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 \leq p \leq \infty\). It is also demonstrated that if \(n\geq 2\), an operation \(\ast\) between compact convex sets is continuous in the Hausdorff metric, GL\((n)\) covariant, and has the identity property (i.e., \(K \ast \{o\}=K=\{o\} \ast 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\geq 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\geq 0\), where \(DK=K+(-K)\) is the difference body of \(K\). The term ``polynomial volume'' is introduced for the property of operations \(\ast\) between compact convex or star sets that the volume of \(rK \ast sL,r,s\geq 0\), is a polynomial in the variables \(r\) and \(s\). It is proved that if \(n\geq 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.
0 references
compact convex set
0 references
star set
0 references
Brunn-Minkowski theory
0 references
Minkowski addition
0 references
radial addition
0 references
\(L_p\) addition
0 references
\(M\)-addition
0 references
projection
0 references
symmetrization
0 references
central symmetral
0 references
difference body
0 references
associativity equation
0 references
polynomial volume
0 references