8
$\begingroup$

I am trying to show that $\{(x,y)\in\mathbb{R}^2:x>0\}$ is homeomorphic to the disk $\{(x,y)\in\mathbb{R}^2:x^2+y^2<1\}$. I know that the disk is homeomorphic to the whole plane. A homeomorphism from $\mathbb{R}^2$ to the disk could be $f(x,y)=(\frac{x}{x^2+y^2},\frac{y}{x^2+y^2})$. I know that being homeomorphic is an equivalence relation. So I was looking for a homeomorphism between the half plane and the whole plane, but I couldn't find one. Any idea?

$\endgroup$
2
  • 4
    $\begingroup$ You can try to find a homeomorphism from $(0,\infty)$ to $\mathbb R$ first. $\endgroup$
    – user99914
    May 17, 2015 at 22:11
  • $\begingroup$ I think you can do this regarding $\mathbb R^2$ as $\mathbb C$ and then just finding a Mobius tranformation whose image of the imaginary axis is the unit circle and maps the open right half-plane onto the open unit diisk. $\endgroup$ Dec 16, 2023 at 16:15

3 Answers 3

9
$\begingroup$

Hint: $x \mapsto e^x$ is a homeomorphism between $\mathbb{R}$ and $(0, \infty)$

$\endgroup$
2
  • $\begingroup$ So $f:\text{half plane}\to \mathbb{R}^2$ defined as $f(x,y)=(\ln(x),y)$ would an isomorphism, then I compose it with the one I found? $\endgroup$
    – 3x89g2
    May 17, 2015 at 22:41
  • $\begingroup$ That's right (reading "homeomorphism" for "isomorphism"). $\endgroup$
    – Rob Arthan
    May 17, 2015 at 22:47
2
$\begingroup$

Use the Riemann Mapping theorem, since the right half is simply-connected. A biholomorphic function is a homeomorphism. You may be able to prove this last by invariane of domain.

$\endgroup$
0
$\begingroup$

What about the map $f : \mathscr H \longrightarrow \mathbb D^2$ defined by $$(x,y) \mapsto \left (\frac {2y} {1 + x^2 + y^2}, \frac {x^2 + y^2 -1} {1 + x^2 + y^2} \right ).$$ The inverse of which is given by $$(x,y) \mapsto \left (\frac {\sqrt {1 - x^2 - y^2}} {1 - y}, \frac {x} {1 - y} \right ).$$

Hint $:$ Stereographic Projection.

$\endgroup$

You must log in to answer this question.

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