6
$\begingroup$

I was just recently presented this very short problem in convex sets:

Suppose that $ A \subset R^n $ is a closed set satisfying $ \frac{1}{2}A + \frac{1}{2}A \subset A $, we are to show that A is a convex set.

Obviously this can be solved with topology in a brute force sort of way involving A being a closed set. I am not sure about it though, might there be a nice slick proof of this as I cannot really and formally write one myself. Help appreciated thanks

$\endgroup$
  • $\begingroup$ TFAE: (1) $A$ is closed and convex; (2) $A$ is closed and $\frac12 A + \frac12 A = A$; (3) $A$ is the intersection of some (possibly infinite) number of closed half-spaces. $\endgroup$ – 6005 Sep 14 '15 at 18:02
11
$\begingroup$

Iterating the given, we obtain that

$$ \frac{1}{2^n} A + \frac{1}{2^n} A + \dots + \frac{1}{2^n}A \subset A $$

where there are $2^n$ summands on the left.

Now, given $\lambda, \mu$ with $\lambda+\mu = 1$, for each $n$ take $k,m$ such that $\frac{k}{2^n}$ and $\frac{m}{2^n}$ are "close" to $\lambda, \mu$ and $k+m = 2^n$.

Then apply the above to conclude that for $x,y \in A$, we have $\frac{k}{2^n}x + \frac{m}{2^n}y \in A$.

Take $n \rightarrow \infty$ and use that $A$ is closed to get the conclusion.

| cite | improve this answer | |
$\endgroup$
  • 3
    $\begingroup$ Note that we really need a closed set $A$, otherwise, the set where all coordinates are rational numbers would satisfy said relation but is not convex. $\endgroup$ – Per Alexandersson Sep 14 '15 at 12:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.