Some addition theorems for Lebesgue measurable sets and lattice subsets of Euclidean space \(\mathbb{R}^n\) are proved. Let \(P\) be an \(n\)-dimensional parallelepiped, \(A\) and \(B\) be non-empty measurable subsets of \(P\) such that the convex hull of \(A\) is \(P\). If \(S=A+B\), then \[ m(S)\geq 2^nm(B)+\min\{m(A),m(p\setminus B)\},\tag{Theorem 4} \] where \(m\) stands for the Lebesgue measure. In particular, if \(A\) and \(2A\) are measurable, then we get a lower estimate for \(m(2A)\). The author also proves a discrete version of the later case (yielding for \(n=1\) the Freiman inequality): Let \(A\) be an \(n\)--dimensional lattice set, \(\Lambda\) be the intersection of all lattices containing \(A\), and \(P\) a prime parallelepiped of \(\Lambda\) with \(V\) being the set of vertices of \(P\). If \(V\subset A\subset P\), then \[ |2A|\geq 2^n|A|-4^n+3^n+\min \biggl\{|A|-2^n, \frac{m(P)}{d(A)}-|A|+2^n-1 \biggr\}, \tag{Theorem 2} \] where \(d(A)\) is the determinant of \(A\), and the primality is essential. The latter result is actually deduced from a more general result (Theorem 5 of the paper). An example connected with a consequence of the discrete version in \(\mathbb{Z}^2\) shows that there exist sets \(A\) with \(|2A|=(2^n+1)|A|-4^n+3^n-2^n\) for \(n=2\) (if this is true for \(n>2\) is open).
- An Introduction to the Geometry of Numbers
- scientific article; zbMATH DE number 3425719 (Why is no real title available?)
- scientific article; zbMATH DE number 933467 (Why is no real title available?)
- On small values of semi-additive functions
- On the Measure of Sum-Sets. (I) The Theorems of Brunn, Minkowski, and Lusternik
- Summenmengen in lokalkompakten abelschen Gruppen
- An inverse theorem for sums of sets of lattice points
- Sum of sets in several dimensions
- Inverse additive problems for Minkowski sumsets. I
- scientific article; zbMATH DE number 440719 (Why is no real title available?)
- scientific article; zbMATH DE number 140206 (Why is no real title available?)
- A sharp Freiman type estimate for semisums in two and three dimensional Euclidean spaces
- Additive combinatorics and geometry of numbers
This page was built for publication: On sumsets in Euclidean space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1587664)
