Sum of sets in several dimensions (Q1343172)

Seien \(A,B \subset \mathbb{R}^ d\) endliche Mengen, die exakt \(d\)-dimensional sind; es sei \(| A | = m\), \(| B | = n\); die Dimension \(\dim M\) einer Menge \(M \subset \mathbb{R}^ d\) ist die Dimension der kleinsten Hyperebene, die \(A\) enthält. Dann wird gesetzt \[ \begin{aligned} F_ d(m,n) & = \min \bigl \{| A + B | : | A | = m,\;| B | = n, \dim (A + B) = d \bigr\};\\ F_ d'(m,n) & = \min \bigl \{| A + B | : | A | = m,\;| B | = n, \dim B = d \bigr\};\\ G_ d(m,n) & = n + \sum^{m-1}_{j=1} \min (d,n-j),\;n \geq m \geq 1. \end{aligned} \] Ein Hauptresultat der Arbeit lautet (Korollar 1.1): Für \(| A | \leq | B |\) und \(\dim (A + B) = d\) gilt \[ | A + B | \geq | B | + d | A | - {d(d+1) \over 2}. \] Ein zweites Ergebnis (Theorem 2) sagt aus, daß für \(1 \leq m \leq n\) gilt \(F_ d(m,n) = F_ d'(m,n) = G_ d (m,n)\), außer für entweder \(n < d + 1\) oder \(n - m \leq d\). Der Beweis erfolgt hier durch Konstruktion eines Beispiels.