Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2015/6/b/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2015 6 b Solution by
Codex 0 2026-10-31
Put , so and . Substitute into the equation in part (a) and multiply by :This is the reciprocal transformation of a generalized circle. In the original coefficient convention the new triple is : the linear coefficient is conjugated, which reflects the distinction between and inversion in a circle .
A circle through zero. Here , , and nondegeneracy forces . Its image satisfiesThis is a straight line, and does not satisfy it because . Conversely every point of this straight line has a nonzero reciprocal on the original circle. Thus the original circle with zero omitted maps onto the full finite straight line.
A circle missing zero. Now , and . Applying part (a) to the transformed coefficients gives centre and radius , so the image is again a genuine circle. It misses zero, because the transformed equation has nonzero constant . The inverse proves that the whole of this circle is attained.
A straight line through zero. Here and . The transformed equation is , another straight line through zero. Precisely, the finite map takes the punctured original straight line onto the punctured image straight line, since neither the domain nor the image of contains zero.
In the Riemann sphere convention , all three become exact statements about whole generalized circles:Finite straight lines acquire their point at infinity in this convention. Stating it avoids accidentally adding merely because it satisfies a multiplied equation.
New to topics? Read the docs here!