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

Prove that the function

$$ \begin{align} \phi (z) = i \dfrac{1 - z}{1 + z} \end{align} $$ maps the set $D = \{z \in \mathbb{C}: |z| < 1 \} $ one-to-one onto the set $U = \{ z \in \mathbb{C} : Im(z) > 0 \}$.

(This is exercise 1.9 in "Function Theory..." by Green & Krantz, and is also a claim on the Wikipedia page, though they have a function $W:U \to D $...)

For injective, I suppose that $$\begin{align} \phi (z) &= \phi (w) \\ \\ i \dfrac{1 - z}{1 + z}&= i \dfrac{1 - w}{1 + w} \end{align}$$ ... and after a few manipulations, end up with $z = w$.

For surjective, I am stuck.

Q: How to I prove "onto"? Do I work with $z, w$ in $(x + i \cdot y)$ form?

Also, how/where do I use that $|z| < 1$ (in $D$ ) or that $Im (\phi (z)) >0$ ?

share|cite|improve this question
Notice this is a Möbius transformation, so with the matrix representation it's easy to obtain an inverse function. Prove that this inverse works when composed on either side of $\phi$. – Jose27 Jan 26 '12 at 18:05
up vote 2 down vote accepted

Recall that $\mathrm{Im}(w)=(w-\bar{w})/(2i)$. So, with $r=|z|$, we have

$$\mathrm{Im}\;\phi(z)= \frac{1}{2}\left(\frac{1-z}{1+z}+\frac{1-\bar{z}}{1+\bar{z}}\right)=\frac{1-r^2}{|1+z|^2}>0,$$

which gives $r<1$. Additionally, with $w=u+iv$, solving the inequality


gives simply $v>0$. Bijectivity follows from the bidirectionality of $$\mathrm{Im}\;\phi(z)>0 \iff |\phi^{-1}(w)|<1.$$

share|cite|improve this answer
That should do it, thanks! – The Chaz 2.0 Jan 27 '12 at 20:39
Just a quick follow-up: I get the calculation of $Im \phi (z)$, but how does this "... give $r < 1$ " ? – The Chaz 2.0 Feb 1 '12 at 13:50
@TheChaz: You want $\mathrm{Im}\;\phi>0$. The denominator is $$(1+\mathrm{Re}(z))^2+\mathrm{Im}(z)^2$$ hence is nonnegative. Now solve the numerator being greater than zero. – anon Feb 1 '12 at 15:44
Thanks. I wasn't seeing that the denominator is positive. – The Chaz 2.0 Feb 1 '12 at 16:10
@TheChaz Does this help? – anon Feb 1 '12 at 16:12

Okay, since the comment is not really that helpful here's an approach: Take $w\in U$ and assume $w=\phi(z)$ for some $z\in \mathbb{C}$ then


which implies


Now notice that $|z|<1$ if and only if $|i-w|^2<|i+w|^2$ now expand these in terms of the real and imaginary part of $w$ to obtain $(1-Im(w))^2<(1+Im(w))^2$ and this happens if and only if $Im(w)>0$. This implies that $\phi$ is onto.

share|cite|improve this answer

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.