3
$\begingroup$

How can one prove that $ \text{int}(A) = \text{int(cl}(A))$, where $ A \subseteq \mathbb{R}^n$ is convex?

$\endgroup$
  • 1
    $\begingroup$ This is not duplicate. It is different problem. $\endgroup$ – Ashot Mar 1 '13 at 20:10
  • $\begingroup$ Also here: math.stackexchange.com/q/7376 $\endgroup$ – user147263 May 25 '14 at 20:49
5
$\begingroup$

Since ${\rm cl}(A)\supseteq A$, clearly ${\rm int}({\rm cl}(A))\supseteq {\rm int}(A)$. A point $p$ in ${\rm int}({\rm cl}(A))$ is surrounded by some open ball $B$ of points in ${\rm cl}(A)$. Pick $n+1$ points $q_1$, $\dots$, $q_{n+1}$ that form the vertices of a regular $n$-simplex, contained in $B\subseteq {\rm cl}(A)$, with $p$ at its center. For points $q'_1$, $\dots$, $q'_{n+1}\in A$ such that each $q'_i$ is sufficiently close to the corresponding $q_i$, $p$ will also be in the interior of the simplex with vertices $q'_1$, $\dots$, $q'_{n+1}$. Then, since $A$ is convex, $A$ completely contains the interior of this simplex, so $p\in {\rm int}(A)$. Therefore ${\rm int}({\rm cl}(A))\subseteq {\rm int}(A)$.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ +1: Nice. I wonder if it is true in a topological vector space? $\endgroup$ – copper.hat Mar 1 '13 at 19:22
  • 2
    $\begingroup$ No. For example, let $\ell^1$ be the space of all sequences of reals whose sum is absolutely convergent, with the usual $\ell^1$ norm, and let $A\subseteq \ell^1$ be the set of all sequences which are eventually zero. Then $A$ is convex, dense in $\ell^1$, and has empty interior. $\endgroup$ – David Moews Mar 1 '13 at 23:14
  • $\begingroup$ Very nice example. $\endgroup$ – copper.hat Mar 1 '13 at 23:58
0
$\begingroup$

The inclusion $\subseteq$ is trivial. For $\supseteq$, suppose $x\in \operatorname{int}(\operatorname{cl}(A))$. Then an open ball $B_r(x)$ of radius $r>0$ around $x$ is $\subseteq \operatorname{cl}(A)$. Then for any choice of signs $ e = (e_1,\ldots, e_n)\in\{-1,1\}^n$ and $0<c<\frac r{\sqrt n}$, the point $x+ce=x+(e_1c, \ldots , e_nc)$ is also in this ball, hence in $\operatorname{cl}(A)$. For each of these $2^n$ points we can find a point $y_e\in A$ with $|x+ce-y_e|<c$. Note that the $i$th component $(y_e)_i$ of $y_e$ is $>x_i,<x_i$ iff $e_i>0, e_i<0$, respectively. Let $d=\min_{e,i}\{|(y_e)_i-x_i|\}>0$. Consider $x'$ with $|x'-x|<d$. Assume that $x'$ is not in the convex hull of the $2^n$ points $y_e$, $e\in \{-1,1\}^n$. Then there exists a nonzero vector $v\in\mathbb R^n$ such that $\langle y_e-x',v\rangle\le0$ for all $e$. Consider $e$ with $e_i>0$ if $v_i\ge 0$ and $e_i<0$ if $v_i<0$. Then $\langle y_e-x',v\rangle>0$ because each product $((y_e)_i-x'_i)v_i$ is nonnegative and at least one is positive. From this contradiction, we see that $x'$ is in the convex hull of the $y_e$, hence $x'\in A$. Consequently, $x\in \operatorname{int}(A)$.

| cite | improve this answer | |
$\endgroup$

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.