I'm studying some complex analysis in preparation for a qualifier exam and I'm doing exercise $6.12$ from Robert Greene and Steven Krantz' book Function Theory of One Complex Variable.
I have $\Omega$ a simply connected domain in $\mathbb{C}$, with $P,Q \in \Omega$ two different points. $\phi_1 : \Omega \to \Omega$ and $\phi_2 : \Omega \to \Omega$ are conformal maps (that is, bijective and holomorphic) such that $\phi_1(P) = \phi_2(P)$ and $\phi_1(Q) = \phi_2(Q)$. Then the question is to prove that $\phi_1 \equiv \phi_2$.
I don't know why but I've been thinking about how to approach this without success for quite some time now. I've thought of maybe using the Riemann mapping theorem to say that there's a conformal map $\phi:\Omega \to \mathbb{D}$ to the open unit disk, and similar things but I'm not getting anywhere really.
Thus I would really appreciate some help with this problem, maybe some hints on how to proceed would be very appreciated. Thanks in advance for any help.
Best Answer
You are on the right track! You have to use the Riemann mapping theorem, and the fact that all conformal maps $D \to D$ are of the form $$z \mapsto e^{i\phi}\frac{z+b}{\overline{b}z+1},\: \: \phi \in \mathbf{R},\: \: |b|<1.$$ (This is essentially the group $\mathrm{PSL}_2(\mathbb{R})$ in disguise, since the unit disc and the upper half-plane are conformally equivalent and the automorphism group of the latter is $\mathrm{PSL}_2(\mathbb{R})$, which is perhaps easier to see.)
If $\sigma : \Omega \to D$ is a the conformal map, then $\sigma\phi_1\sigma^{-1}$ and $\sigma\phi_2\sigma^{-1}$ are maps $D \to D$ which coincide at two different points. Now you can use the characterization above to show that they must be equal.
Addendum: if $\Omega=\mathbf{C}$, then any holomorphic bijective map $\Omega \to \Omega$ is of the form $z \mapsto az+b$, and the statement is true also.
Addendum #2: Here's the complete solution as hinted to in the comments. By the above, we are left proving it for the conformal map $z \mapsto e^{i\phi}\frac{z+b}{\overline{b}z+1},\: \: \phi \in \mathbf{R},\: \: |b|<1$. Its fixed points are the roots of the quadratic polynomial $$z^2+z(1-e^{i\phi})/\overline{b}-e^{i\phi}b/{\overline{b}}.$$
Since the product of the roots is the constant term $e^{i\phi}b/{\overline{b}}$, which has modulus $1$, at most one of the roots can have modulus $<1$.