Suppose $S\subset \mathbb{R^n}$ and $S^\circ$ denoted as the interior of $S$.Is $S^\circ$ convex if $S$ convex? $S$ is Convex mean $ \forall x,y\in S, kx+(1-k)y\in S, k\in [0,1]$ I know how to prove that $\bar S$ convex. For $S^\circ$ it seems obviously, i originally wanna claim that as $S^\circ\subset S$ so it must be convex. But i want to know if it is possible to use the definition of convexity of a set to prove that $S^\circ$ is convex.
Is $S^\circ$ convex if $S$ convex?
-
0You should be a little careful with using "${}^\circ$" for interior when talking about vector spaces. It's common for $A^\circ$ to mean the [polar of $A$](https://en.wikipedia.org/wiki/Polar_set). – 2012-12-05
1 Answers
Let $X$ be a topological vector space over $\mathbb{R}$.
Recall the definition of open neighborhoods: $U$ is said to be an open neighborhood of $x\in X$ if it is an open set and it contains $x$.
First, $x\in S^\circ$ iff there is an open neighborhood $V_x\ni x$ such that $V_x\subseteq S$. Take $x,y\in S^\circ$ and $V_x,$ $V_y$ two open neighborhoods of $x$ and $y$ in $S$ respectively. We need to prove that $\lambda x + (1-\lambda)y\in S^\circ$ for all $\lambda\in (0,1)$. Since, $S$ is convex we have that $\lambda x + (1-\lambda)y\in S$ for all $\lambda\in (0,1)$. It suffices to find an open neighborhood of the point $\lambda x + (1-\lambda)y$ which lies inside $S$. This is:
$ V^\lambda = \lambda V_x + (1-\lambda)V_y = \{z=\lambda v_x + (1-\lambda)v_y;\ v_x\in V_x, v_y\in V_y\} $
Since the mappings $+:X\times X\to X$ and $\cdot:\mathbb{R}\times X\to X$ are open mappings, $V^\lambda$ is open. Additionally, $V^\lambda\subseteq S$. Indeed, every $z\in V^\lambda$ is written as a convex combination of points of $S$. We have proved that $V^\lambda$ is an open neighborhood of $\lambda x + (1-\lambda)y$. This completes the proof.