Solution

ID: past-exam-of-the-algebra-and-analysis-ii-for-mathematics-and-philosophy-course-of-the-university-of-oxford/2013/6/b/solution

A Möbius transformation maps generalized circles to generalized circles on the Riemann sphere. A generalized circle is an ordinary circle or a straight line together with the point at infinity. Its image is a straight line precisely when it contains infinity, equivalently when the preimage of infinity lies on the extended real axis.
If , the pole is infinity itself and the transformation is the affine map , taking the extended real axis to a line. If , the pole is , which is real exactly when is real. Thus the full condition is
Equivalently, it is , a condition also valid when . If it fails, the image misses infinity and is therefore an ordinary circle. The nonzero determinant ensures that none of these generalized circles collapses to a point.

New to topics? Read the docs here!