Opening and closing convex sets It seems true that, given $K \subseteq \mathbb{R}^n$ a convex set with $K^\circ \neq \emptyset$, then $\overline{K^{\circ}} = \overline{K}$ and $\left ( \overline{K} \right )^\circ = K^\circ$.
I am able to prove the first equality by making use of the "segment Lemma", which states that if $y \in K$ and $x \in K^\circ$, then $[x, y[ \subseteq K^\circ$ (here $[x, y[$ is the segment joining $x$ and $y$ without taking $y$).
However I have not found any correct proof of the second equality, and neither a counter-example has come to my mind.
Thanks all!

Either use the suggestion by Andrea, or you can prove directly this way: $K \subseteq \bar K$, so $\mathring K \subseteq (\bar K)^\circ$. On the other hand, if $x \in (\bar K)^\circ$ then there is a neighborhood $x \in U_x \subseteq \bar K$. Now take a small simplex in $U_x$ that contains $x$ in its interior. Up to perturbing slightliy its vertices, you can make them to belong to $K$ while $x$ still belongs to the interior of the simplex. Then by convexity the simplex is in $K$, so $x \in \mathring K$.
I realized after writing that my answer is essentially the same as https://math.stackexchange.com/a/7509.
