a.k.a. Möbius Transformations, are a type of function. I’ll talk about them as functions from the complex plane to itself. Such functions are given by a formula

where are complex values. If and are both 0, this isn’t much of a function, so we’ll assume at least one isn’t 0.

I’d like to talk about what these functions do, how to have some hope of picturing them as transformations . To do this, let’s consider some easy cases first.

If (and so by assumption ), then we may write the function , or simply for some complex values . This is now a linear (some might say affine) transformation of the complex plane. Think about it as the composite , where the first map multiplies by , and the second adds . Multiplying by a complex value is the same as scaling by the real value (the “norm” of , distance from to the origin) and then rotating by the “argument” of . If you think about as a point in polar coordinates, then the argument of is (or so), and so multiplication by is multiplication by the real value (which is just a stretching (or shrinking) of the complex plane away from (toward) the origin if (resp. )) and then rotation by the angle . The second transformation in the composite, “add “, just shifts the entire plane (as a “rigid transformation”) in the direction of .

So the case when is just a linear transformation, which aren’t too difficult to picture. Another important case is , so the coefficients are . To talk about what this does, let’s first talk about “inversion” with respect to a fixed circle.

Let be a circle with radius , in the plane, and any point in the plane. Let denote the center of the circle and the distance from to . The inversion of , with respect to , is the point on the line through and (in the direction of from ) whose distance from is . This means that points near the center of are sent far away, and vice versa. Points on are unchanged. Technically I guess we should say that this function isn’t defined at , but people like to say it is taken to “the point at infinity” and, conversely, that inversion takes to . These things can be made precise.

You might notice that doing inversion twice in a row gets you right back where you started. It also turns out that If is another circle in the plane, not passing through , then the inversion of all of its points is another circle. If passes through , then the inversion works out to be a line. Since doing inversion twice is the identity, inversion takes lines to circles through . If you’re thinking about the comments about above, this makes sense because every line “goes to “, and so the inversion of a line will go through the inversion of , which I said should be .

All of this talk about inversion was to describe the function . This function is the composite of inversion with respect to the unit circle centered at the origin followed by a reflection across the horizontal axis (real line). Don’t believe me? The equation defining the relationship between distances when doing the inversion can be re-written as . If we’re doing inversion with respect to a unit circle, then . This means that when we multiply with its inversion with respect to the unit circle, call it , the result will be a point with norm 1 (i.e., a point on the unit circle). Next up, multiplying by produces a point whose angle from the positive real axis (which I called the argument before, the from polar coordinates) is the sum of the angles for and . Since we did the reflection across the horizontal axis, the argument for is precisely the negative of the argument for , meaning their sum (the argument of their product) is 0. So is a point on the unit circle making an angle of 0 with the positive real line, i.e., . That makes , as promised.

Let’s get back to the general setup, with the function

and let’s assume (since we already handled the case , it’s just a linear transformation). For some notational convenience, let me let . Consider the following composite:

If you check all of these steps, and then play around simplifying the final expression, then you obtain the original formula above. So we can think of any linear fractional transformation as a composite of some linear functions and an inversion, and we know how to picture all of those steps.

That’s maybe enough for today. It’s certainly enough for me for today. Before I go, I’ll leave you with a video that might be helpful, and is pretty either way.

November 7, 2009 at 8:16 pm |

[...] ∑idiot's Blog The math fork of sumidiot.blogspot.com « Linear Fractional Transformations [...]