8

Consider a closed, bounded and convex set $C \subset \mathbb{R}^{2}$ and denote its boundary with $\partial C$. It is very well-known that the Minkowski sum of two convex sets is convex again. What about the Minkowski sum of its boundary? Is the Minkowski sum $\partial C + \partial C$ again a convex set and how can one prove that? Does this property hold in other dimensions?

YCor
  • 60,149
Hermann
  • 91
  • @IgorBelegradek No, $\partial C +\partial C = 2C$ in that case. I believe this equality is true in general (equivalently, any point in a convex body is the midpoint of boundary points) and should be provable by a topological argument. – Guillaume Aubrun May 07 '20 at 19:37
  • Take $C$ to be the unit disk and $D$ to be the disk of radius, say, $1/100$. The sum of the convex sets is the disk of radius $11/10$ but the sum of the boundaries is the annulus with inner radius $9/10$ and outer radius $11/10$. – Deane Yang May 07 '20 at 20:18
  • 1
    @DeaneYang The question is about the sum of $\partial C$ with itself. – M. Winter May 07 '20 at 20:20
  • @M.Winter, oy. Thanks. – Deane Yang May 07 '20 at 20:24

2 Answers2

12

Yes, $\partial C + \partial C$ is convex since it equals $2C$. Equivalently, every point in $z \in C$ is a midpoint of two boundary points. This is obvious if $z \in \partial C$. Otherwise, let $f :S^{n-1} \to \mathbf{R}$ be the continuous function which sends $u$ to the length of the segment going from $z$ to $\partial C$ in direction $u$. Since $n > 1$, this function takes equal values at a pair of antipodal points (a very simple corollary to Borsuk-Ulam, if you want), which gives the desired property.

Guillaume Aubrun
  • 4,743
  • 33
  • 43
  • 3
    If you consider segments going from $z$ to $\partial C$ in directions $u$ and $-u$, and you compare their lengths, then I think all you need here is the intermediate value theorem to find that they will be equal in length at some point (by continuously moving $u$ to $-u$). – M. Winter May 07 '20 at 20:19
  • @GuillaumeAubrun Although it seems intuitively correct, can you give an argument why f is continuous? – Hermann May 08 '20 at 00:02
  • 1
    This follows e.g. from the fact that the gauge function of a convex body is continuous. The gauge function $g_K$ of a convex body $K$ is defined on $\mathbf{R}^n$ by $g_K(x) = \inf { t \geq 0 , : , x \in tK }$ ; it is convex hence continuous. When $z=0$ (which you can assume), our $f$ is the restriction of $1/g_C$ to $S^{n-1}$. – Guillaume Aubrun May 08 '20 at 07:12
-1

Convex hull of Minkowski sum is the Minkowski sum of convex hulls. The proof is Theorem 1.1.2 in

Schneider, Rolf, Convex bodies: the Brunn-Minkowski theory, Encyclopedia of Mathematics and Its Applications. 44. Cambridge: Cambridge University Press. xiii, 490 p. (1993). ZBL0798.52001.

...But the answer to the question is: NO. See the picture in https://www.geometrie.tuwien.ac.at/peternell/ms_paper_v1.pdf (Peternell, Minkowski sum of boundary surfaces...) Can't find a citation.

Igor Rivin
  • 95,560