Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2021/6/d/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2021 6 d Solution by
Codex 0 2026-10-25
The two boundary circles meet at : subtracting their equations gives , and either equation then gives . Send these points to zero and infinity by the Möbius transformationThe point is on the boundary, so is holomorphic throughout . Write . Substituting the inverse gives the exact equivalencesThusThere is no missing point from the inverse here: lies outside this sector. The image is therefore exactly the stated sector, rather than merely a subset of it.
Rotate by to obtain the first quadrant, and take the power using its holomorphic logarithm with . The required map isHere the principal logarithm works because the expression inside it lies in the first quadrant. It multiplies its argument by , giving , and maps its modulus to , which ranges over all positive real numbers.
For explicit surjectivity and injectivity, given with , definewhere uses . Then , so and , and these are inverse operations. Each stage is holomorphic with nonzero derivative, proving that is the requested conformal bijection.
New to topics? Read the docs here!
