1. ## Question about mobius transformations

Prove that, every Mobius transformation mapping $\displaystyle D(0;1)=\{z \in \mathbb{C} : |z|<1\}$ onto D(0;1) is of the form $\displaystyle e^{i\lambda}\phi_{\alpha}$ where $\displaystyle \phi_{\alpha}(z)=\frac{z-\alpha}{\overline{\alpha}z-1}$, $\displaystyle \lambda$ is a real constant and $\displaystyle \alpha \in D(0;1)$.

Firstly I take a Mobius transformation $\displaystyle f(z)=\frac{az+b}{cz+d}$, $\displaystyle a,b,c,d \in \mathbb{C}$. I was then thinking of splitting everything into real and imaginiary parts, but the algebra would be horrific. Can anyone help?

2. ## Re: Question about mobius transformations

Originally Posted by Speed1991
Prove that, every Mobius transformation mapping $\displaystyle D(0;1)=\{z \in \mathbb{C} : |z|<1\}$ onto D(0;1) is of the form $\displaystyle e^{i\lambda}\phi_{\alpha}$ where $\displaystyle \phi_{\alpha}(z)=\frac{z-\alpha}{\overline{\alpha}z-1}$, $\displaystyle \lambda$ is a real constant and $\displaystyle \alpha \in D(0;1)$.

Firstly I take a Mobius transformation $\displaystyle f(z)=\frac{az+b}{cz+d}$, $\displaystyle a,b,c,d \in \mathbb{C}$. I was then thinking of splitting everything into real and imaginiary parts, but the algebra would be horrific. Can anyone help?
Step 1. The map $\displaystyle \phi_\alpha$ is a Möbius transformation from D(0;1) to itself.
Proof: $\displaystyle |z-\alpha|^2 = (z-\alpha)(z-\overline{\alpha}) = |z|^2 + |\alpha|^2 - \text{Re}(2z\overline{\alpha})$, and similarly $\displaystyle |\overline{\alpha}z-1|^2 = |\alpha|^2|z|^2 + 1 - \text{Re}(2z\overline{\alpha})$. The inequality $\displaystyle |z-\alpha|^2 < |\overline{\alpha}z-1|^2$ then follows from the fact that $\displaystyle (1-|z|^2)(1-|\alpha|^2) > 0.$ Thus $\displaystyle |\phi_\alpha(z)|<1.$

Step 2. $\displaystyle \phi_\alpha$ maps D(0;1) onto itself. This follows from the fact that $\displaystyle \phi_\alpha$ is its own inverse. If $\displaystyle w = \frac{z-\alpha}{\overline{\alpha}z-1}$ then you can check that $\displaystyle z = \frac{w-\alpha}{\overline{\alpha}w-1}.$

Step 3. If f is a Möbius transformation from D(0;1) onto itself, let $\displaystyle \alpha = f^{-1}(0).$ Then the composition $\displaystyle \phi_\alpha f^{-1}$ is a Möbius transformation from D(0;1) onto itself that fixes the point 0. With luck, you will have come across a theorem which says that this implies that $\displaystyle \phi_\alpha f^{-1}$ is multiplication by a constant of absolute value 1. That will be enough to tell you that $\displaystyle f = e^{i\lambda}\phi_\alpha$ for a real constant$\displaystyle \lambda.$