Subset of $\mathbb R^n$ homeomorphic to sphere? Let $C$ be a subset of $\mathbb R^n$ with the following properties attached to it:


*

*Convex

*Compact

*Non-empty interior


Is the boundary of $C$ homeomorphic to the ball of dimension $n-1$? Why?
Thanks in advance!
 A: Let $O$ be an interior point of $C$.
Then the central projection $f\colon\partial C\to S^{n-1}$ along rays ending at $O$ turns out to be a homeomorphism:
By convexity of $C$, $f$ is injective. Because $C$ is bounded, $f$ is also surjective.
Remains to show that both $f$ and its inverse are continuous.
For $f$ itself, this is clear (using that an open ball around $O$ does not intersect $\partial C$).
For the inverse, the argument is also quite easy (using convexity and again an open ball $\subset C$ around $O$).
A: This is an old thread, but resurrecting for sake of including more detail. We begin with a lemma.
Lemma. Let $E$ be a compact subset of a metrix space $X$. Then $\partial E$ is compact.
Proof. Since $E^\circ$ is open in $X$, it is also open in $E$. Since $E$ is compact, $E$ is closed, and $E = \overline{E}$. Thus $\partial E = \overline{E}\,\backslash\, E^\circ = E \,\backslash\, E^\circ$, so $\partial E$ is closed as a subset of $E$, and therefore compact. $\square$
We want to show that if $X = \mathbb{R}^n$ and $E$ is a compact convex subset with non-empty interior, then $\partial E$ is homeomorphic to the sphere $\{(x_1, \dots, x_n) \text{ }|\text{ }\sum_{i=1}^n x_i^2 = 1\}$.
We may assume that $0 \in E^\circ$ since the problem is translation invariant. Let $u$ be a unit vector. We show that there is a unique $s_u$ such that $s_uu \in \partial E$; indeed, take $s = \sup\{t\text{ }|\text{ }tu \in E\}$. It is clear that $s_u \in \partial E$, and it is also clear that if $t > s_u$ then $tu \notin \partial E$ since $\partial E \subset E$ as seen in our proof of the lemma. For any $u$, $s_u > 0$ since $0$ is interior to $E$, and $s_u < \infty$ because $E$ is bounded. Now, if $t = (1-\lambda)s_u$ with $0 < \lambda < 1$, and $N_\epsilon(0) \subset E$, then by convexity of $E$, $N_{\lambda \epsilon}(tu) \subset E$, so $tu \notin \partial E$. Thus $F(u) = t_uu$ is a bijection from there sphere to $\partial E$. Now, $F^{-1}$ is the restriction to $\partial E$ of the map $x \mapsto x/|x|$ which is continuous on $\mathbb{R}^n \,\backslash\,0$. Thus $F^{-1}$ is a continuous bijection from $\partial E$ to the sphere, and since $\partial E$ is compact by the lemma, $(F^{-1})^{-1}$ is also continuous.
