1
$\begingroup$

Let $C$ be a convex set with nonempty interior in a topological vector space. Do we always have : $\overline {C^\circ} = \overline{C}$ ?

If not, what is the "minimal" condition on the space so that this equality is true?

Improve this question
$\endgroup$
1
  • $\begingroup$ Cf. Bourbaki, EVT II.2.6, Proposition 16 Corollaire 1. $\endgroup$
    – Fred Rohrer
    Commented Apr 23, 2017 at 9:41

1 Answer 1

Reset to default
2
$\begingroup$

Yes. Assume WLOG that $0$ is an interior point and $y$ is in $C$. Draw a picture to see that the interval $[0,y)$ is contained in the interior of $C$. Specifically, if $U$ is a neighborhood of $0$ contained in $C$ and $0<s<1$, then $sy + (1-s) U \subset C$.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .