Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

11.7: Fractional Linear Transformations

( \newcommand{\kernel}{\mathrm{null}\,}\)

Definition: Fractional Linear Transformations

A fractional linear transformation is a function of the form

T(z)=az+bcz+d

where a, b, c, and d are complex constants and with adbc0.

These are also called Möbius transforms or bilinear transforms. We will abbreviate fractional linear transformation as FLT.

Simple Point

If adbc=0 then T(z) is a constant function.

Proof

The full proof requires that we deal with all the cases where some of the coefficients are 0. We’ll give the proof assuming c0 and leave the case c=0 to you. Assuming c0, the condition adbc=0 implies

ac(c,d)=(a,b).

So,

T(z)=(a/c)(cz+d)cz+d=ac.

That is, T(z) is constant.

Extension to . It will be convenient to consider linear transformations to be defined on the extended complex plane C{} by defining

T()={a/c if c0 if c=0T(d/c)=       if c0.

Example 11.7.1: Scale and Rotate

Let T(z)=az. If a=r is real this scales the plane. If a=eiθ it rotates the plane. If a=reiθ it does both at once.

005 - (Example 11.7.1).svg
Figure 11.7.1: Multiplication by a=reiθ scales by r and rotates by θ. (CC BY-NC; Ümit Kaya)

Note that T is the fractional linear transformation with coefficients

[abcd]=[a001].

(We’ll see below the benefit of presenting the coefficients in matrix form!)

Example 11.7.2: Scale and Rotate and Translate

Let T(z)=az+b. Adding the b term introduces a translation to the previous example.

006 - (Example 11.7.2).svg
Figure 11.7.2: The map w=az+b scales, rotates and shifts the square. (CC BY-NC; Ümit Kaya)

Note that T is the fractional linear transformation with coefficients

[abcd]=[ab01].

Example 11.7.3: Inversion

Let T(z)=1/z. This is called an inversion. It turns the unit circle inside out. Note that T(0)= and T()=0. In the figure below the circle that is outside the unit circle in the z plane is inside the unit circle in the w plane and vice-versa. Note that the arrows on the curves are reversed.

007 -  (Example 11.7.3).svg
Figure 11.7.3: The map w=1/z inverts the plane. (CC BY-NC; Ümit Kaya)

Note that T is the fractional linear transformation with coefficients

[abcd]=[0110].

Example 11.7.4

Let

T(z)=ziz+i.

We claim that this maps the x-axis to the unit circle and the upper half-plane to the unit disk.

Solution

First take x real, then

|T(x)|=|xi||x+i|=x2+1x2+1=1.

So, T maps the x-axis to the unit circle.

Next take z=x+iy with y>0, i.e. z in the upper half-plane. Clearly

|y+1|>|y1|,

so

|z+i|=|x+i(y+1)|>|x+i(y1)|=|zi|,

implying that

|T(z)|=|zi||z+i|<1.

So, T maps the upper half-plane to the unit disk.

We will use this map frequently, so for the record we note that

T(i)=0, T()=1, T(1)=i, T(0)=1, T(1)=i.

These computations show that the real axis is mapped counterclockwise around the unit circle starting at 1 and coming back to 1.

008 - (Example 11.7.4).svg
Figure 11.7.4: The map w=ziz+i maps the upper-half plane to the unit disk. (CC BY-NC; Ümit Kaya)

Lines and circles

Theorem 11.7.1

A linear fractional transformation maps lines and circles to lines and circles.

Before proving this, note that it does not say lines are mapped to lines and circles to circles. For example, in Example 11.7.4 the real axis is mapped the unit circle. You can also check that inversion w=1/z maps the line z=1+iy to the circle |z1/2|=1/2.

Proof

We start by showing that inversion maps lines and circles to lines and circles. Given z and w=1/z we define x,y,u and v by

z=x+iy   and   w=1z=xiyx2+y2=u+iv

So,

u=xx2+y2   and   v=yx2+y2.

Now, every circle or line can be described by the equation

Ax+By+C(x2+y2)=D

(If C=0 it descibes a line, otherwise a circle.) We convert this to an equation in u,v as follows.

 Ax+By+C(x2+y2)=D Axx2+y2+Byx2+y2+C=Dx2+y2 AuBv+C=D(u2+v2).

In the last step we used the fact that

u2+v2=|w|2=1/|z|2=1/(x2+y2).

We have shown that a line or circle in x,y is transformed to a line or circle in u,v. This shows that inversion maps lines and circles to lines and circles.

We note that for the inversion w=1/z.

  1. Any line not through the origin is mapped to a circle through the origin.
  2. Any line through the origin is mapped to a line through the origin.
  3. Any circle not through the origin is mapped to a circle not through the origin.
  4. Any circle through the origin is mapped to a line not through the origin.

Now, to prove that an arbitrary fractional linear transformation maps lines and circles to lines and circles, we factor it into a sequence of simpler transformations.

First suppose that c=0. So,

T(z)=(az+b)/d.

Since this is just translation, scaling and rotating, it is clear it maps circles to circles and lines to lines.

Now suppose that c0. Then,

T(z)=az+bcz+d=ac(cz+d)+badccz+d=ac+bad/ccz+d

So, w=T(z) can be computed as a composition of transforms

z    w1=cz+d    w2=1/w1    w=ac+(bad/c)w2

We know that each of the transforms in this sequence maps lines and circles to lines and circles. Therefore the entire sequence does also.

Mapping zj to wj

It turns out that for two sets of three points z1,z2,z3 and w1,w2,w3 there is a fractional linear transformation that takes zj to wj. We can construct this map as follows.

Let

T1(z)=(zz1)(z2z3)(zz3)(z2z1).

Notice that

T1(z1)=0, T1(z1)=1, T1(z3)=.

Likewise let

T2(w)=(ww1)(w2w3)(ww3)(w2w1).

Notice that

T2(w1)=0, T2(w2)=1, T2(w3)=.

Now T(z)=T12T1(z) is the required map.

Correspondence with Matrices

We can identify the transformation

T(z)=az+bcz+d

with the matrix

[abcd].

This identification is useful because of the following algebraic facts.

  1. If r0 then [abcd] and r[abcd] correspond to the same FLT.
    Proof. This follows from the obvious equality
    az+bcz+d=raz+rbrcz+rd.
  2. If T(z) corresponds to A=[abcd] and S(z) corresponds to B=[efgh] then composition TS(z) corresponds to matrix multiplication AB.
    Proof. The proof is just a bit of algebra.
    TS(z)=T(ez+fgz+h)=a((ez+f)/(gz+h))+bc((ez+f)/(gz+h))+d=(ae+bg)z+af+bh(ce+dg)z+cf+dhAB=[abcd][efgh]=[ae+bgaf+bhce+dgcf+dh]

    The claimed correspondence is clear from the last entries in the two lines above.
  3. If T(z) corresponds to A=[abcd] then T has an inverse and T1(w) corresponds to A1 and also to [dbca], i.e. to A1 without the factor of 1/det(A).
    Proof. Since AA1=I it is clear from the previous fact that T1 corresponds to A1. Since
    A1=1adbc[dbca]

Fact 1 implies A1 and [dbca] both correspond to the same FLT, i.e. to T1.

Example 11.7.5
  1. The matrix [ab01] corresponds to T(z)=az+b.
  2. The matrix [eiα00eiα] corresponds to rotation by 2α.
  3. The matrix [0110] corresponds to the inversion w=1/z.

This page titled 11.7: Fractional Linear Transformations is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Jeremy Orloff (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?