Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\Omega\subset \mathbb{R}^n$ be open, bounded and simply connected. I wonder if the answer to the following question is known:

Is there a homeomorphism $\Omega\to \operatorname{B}_1(0)$, where $\operatorname{B}_R(0)$ is the open ball (in the topology induced by the metric) with radius $R$ around $0\in \mathbb{R}^n$?

The Poincare conjecture comes to mind, but it only concerns manifolds without border, as far as I understand.

Thanks for any hints to literature, theorems or counterexamples etc... :)

share|cite|improve this question
$B_2(0)\setminus\bar{B}_1(0)$ is open, bounded, simply connected subset of $\mathbb{R}^3$ but not a ball. – achille hui Feb 13 '13 at 15:08
in dimension 2 this is true : it is the riemann mapping theorem – Glougloubarbaki Feb 13 '13 at 15:09
Those are both answers, not comments! – Ben Millwood Feb 13 '13 at 15:12
@achille The set you considered is punctured. – Student Feb 13 '13 at 15:17
Might be worth looking at the higher homotopy groups. Every path in $B_2(0) \setminus \overline B_1(0)$ contracts to a point, but there is a surface which doesn't, so the second homotopy group isn't trivial. In a convex set like the open ball, every homotopy group is trivial. – Ben Millwood Feb 13 '13 at 15:22
up vote 11 down vote accepted

$B_1(0)\setminus\{0\}$ is a counterexample when $n>2$.

share|cite|improve this answer
Of coarse! Thank you :) – Sh4pe Feb 13 '13 at 15:15

In $\mathbb R^2$, yes, every open, bounded and simply connected set is homeomorphic to $B_1(0)$.

Look at Are simply connected open sets in $\mathbb{R}^2$ homeomorphic to an open ball? and Proof that convex open sets in $\mathbb{R}^n$ are homeomorphic?

share|cite|improve this answer
Yes, indeed. I appologise. – Student Feb 13 '13 at 15:20
Another link for the $n=2$ case, from MathOverflow, with the requirement of not using the Riemann mapping theorem:…. Boundedness is unnecessary. (A trivial remark is that nonemptiness is necessary unless that is already part of the definition of simply connected.) – Jonas Meyer Feb 13 '13 at 15:20
I edited to make the restriction to two dimensions more obvious. – Ben Millwood Feb 13 '13 at 15:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.