I am reviewing conformal mappings for a complex analysis exam, and I can't get my head around this question. I have some $a\in D(0;1)$, and for $z\in D(0;1)$ let $$f(z)=\frac{a-z}{1-\overline{a} z}$$ I have successfully shown, using the fact that the derivative of a conformal map must be non-zero everywhere, that this map f is conformal. But how can I show, that this is a bijection from $D(0;1)$ to itself? Do I show that it maps the boundary of $D(0;1)$ onto the boundary of $D(0;1)$ and if so, how do I do this?
Any help really appreciated.
Thanks.
If it's conformal, it's bijective, so it suffices to show that it sends $D\rightarrow D.$ If $z\in D$, then $$|f(z)|^2=\frac{|z|^2+|a|^2-z\bar{a}-\bar{z} a}{1+|z|^2|a|^2-z\bar{a}-\bar{z}a}.$$ Recall that $|z|^2<1.$ Multiplying this by $1-|a|^2,$ we get that $|z|^2-|a|^2|z|^2<1-|a|^2,$ which implies that $|f(z)|^2<1.$
EDIT: The phrasing in the question is somewhat confusing, with the statement saying that it's conformal, which seems to be assuming what we want to prove in some sense. I've shown that it maps $D$ to $D$. As @Maxim pointed out, I should say something about bijectivity. In this case, it is clear because $f$ is an involution from $D$ to $D$, and hence it's bijective.