Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

3.1: Basic Transformations of Complex Numbers

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

We begin with a definition.

Definition: Transformation

Given two sets A and B, a function f:AB is called one-to-one (or 1-1) if whenever a1a2 in A, then f(a1)f(a2) in B. The function f is called onto if for any b in B there exists an element a in A such that f(a)=b. A transformation on a set A is a function T:AA that is one-to-one and onto.

Following are two schematics of functions. In the first case, f:AB is onto, but not one-to-one. In the second case, g:AB is one-to-one, but not onto.

im-functions.svg

A transformation T of A has an inverse function, T1, characterized by the property that the compositions T1T(a)=a and TT1(a)=a for all a in A. The inverse function T1 is itself a transformation of A and it “undoes” T in this sense: For elements z and w in A, T1(w)=z if and only if T(z)=w.

In this section, we develop the following basic transformations of the plane, as well as some of their important features.

Basic Transformations of C.
  • General linear transformation: T(z)=az+b, where a,b are in C with a0.
  • Special cases of general linear transformations:
    • Translation by b: Tb(z)=z+b.
    • Rotation by θ about 0: Rθ(z)=eiθz.
    • Rotation by θ about z0: R(z)=eiθ(zz0)+z0.
    • Dilation by factor k>0: T(z)=kz.
  • Reflection across a line L: rL(z)=eiθ¯z+b, where b is in C, and θ is in R.
Example 3.1.1: Translation

Consider the fixed complex number b, and define the function Tb:CC by

Tb(z)=z+b.

The notation helps us remember that z is the variable, and b is a complex constant. We will prove that Tb is a transformation, but this fact can also be understood by visualizing the function. Each point in the plane gets moved by the vector b, as suggested in the following diagram.

im-translate.svg

For instance, the origin gets moved to the point b, (i.e., Tb(0)=b), and every other point in the plane gets moved the same amount and in the same direction. It follows that two different points, such as v and w in the diagram, cannot get moved to the same image point (thus, the function is one-to-one). Also, any point in the plane is the image of some other point (just follow the vector b to find this “pre-image” point), so the function is onto as well.

We now offer a formal argument that the translation Tb is a transformation. Recall, b is a fixed complex number.

That Tb is onto:

To show that Tb is onto, let w denote an arbitrary element of C. We must find a complex number z such that Tb(z)=w. Let z=wb. Then Tb(z)=z+b=(wb)+b=w. Thus, T is onto.

That Tb is one-to-one:

To show that Tb is 1-1 we must show that if z1z2 then Tb(z1)Tb(z2). We do so by proving the contrapositive. Recall, the contrapositive of a statement of the form “If P is true then Q is true” is “If Q is false then P is false.” These statements are logically equivalent, which means we may prove one by proving the other. So, in the present case, the contrapositive of “If z1z2 then Tb(z1)Tb(z2)” is “If Tb(z1)=Tb(z2), then z1=z2.” We now prove this statement.

Suppose z1 and z2 are two complex numbers such that Tb(z1)=Tb(z2). Then z1+b=z2+b. Subtracting b from both sides we see that z1=z2, and this completes the proof.

Example 3.1.2: Rotation About the Origin

Let θ be an angle, and define Rθ:CC by Rθ(z)=eiθz.

im-rotation.svg

This transformation causes points in the plane to rotate about the origin by the angle θ. (If θ>0 the rotation is counterclockwise, and if θ<0 the rotation is clockwise.) To see this is the case, suppose z=reiβ, and notice that

Rθ(z)=eiθreiβ=rei(θ+β).

Example 3.1.3: Rotation About Any Point

To achieve a rotation by angle θ about a general point z0, send points in the plane on a three-leg journey: First, translate the plane so that the center of rotation, z0, goes to the origin. The translation that does the trick is Tz0. Then rotate each point by θ about the origin (Rθ). Then translate every point back (Tz0). This sequence of transformations has the desired effect and can be tracked as follows:

zTz0zz0Rθeiθ(zz0)Tz0eiθ(zz0)+z0.

In other words, the desired rotation R is the composition Tz0RθTz0 and

R(z)=eiθ(zz0)+z0.

That the composition of these three transformations is itself a transformation follows from the next theorem.

Theorem 3.1.1

If T and S are two transformations of the set A, then the composition ST is also a transformation of the set A.

Proof

We must prove that ST:AA is 1-1 and onto.

That ST is onto:

Suppose c is in A. We must find an element a in A such that ST(a)=c.

Since S is onto, there exists some element b in A such that S(b)=c.

Since T is onto, there exists some element a in A such that T(a)=b.

Then ST(a)=S(b)=c, and we have demonstrated that ST is onto.

That ST is 1-1:

Again, we prove the contrapositive. In particular, we show that if ST(a1)=ST(a2) then a1=a2.

If S(T(a1))=S(T(a2)) then T(a1)=T(a2) since S is 1-1.

And T(a1)=T(a2) implies that a1 = a2 since T is 1-1.

Therefore, ST is 1-1.

Example 3.1.4: Dilation

Suppose k>0 is a real number. The transformation T(z)=kz is called a dilation; such a map either stretches or shrinks points in the plane along rays emanating from the origin, depending on the value of k.

Indeed, if z=x+yi, then T(z)=kx+kyi, and z and T(z) are on the same line through the origin. If k>1 then T stretches points away from the origin. If 0<k<1, then T shrinks points toward the origin. In either case, such a map is called a dilation.

Given complex constants a,b with a0 the map T(z)=az+b is called a general linear tranformation. We show in the following example that such a map is indeed a transformation of C.

Example 3.1.5: General Linear Transformations

Consider the general linear transformation T(z)=az+b, where a,b are in C and a0. We show T is a transformation of C.

That T is onto:

Let w denote an arbitrary element of C. We must find a complex number z such that T(z)=w. To find this z, we solve w=az+b for z. So, z=1a(wb) should work (since a0, z is a complex number). Indeed, T(1a(wb))=a[1a(wb)]+b=w. Thus, T is onto.

That T is one-to-one:

To show that T is 1-1 we show that if T(z1)=T(z2), then z1=z2.

If z1 and z2 are two complex numbers such that T(z1)=T(z2), then az1+b=az2+b. By subtracting b from both sides we see that az1=az2, and then dividing both sides by a (which we can do since a0), we see that z1=z2. Thus, T is 1-1 as well as onto, and we have proved T is a transformation.

Note that dilations, rotations, and translations are all special types of general linear transformations.

We will often need to figure out how a transformation moves a collection of points such as a triangle or a disk. As such, it is useful to introduce the following notation, which uses the standard convention in set theory that aA means the element a is a member of the set A.

Definition: Image

Suppose T:AA is a transformation and D is a subset of A. The image of D, denoted T(D), consists of all points T(x) such that xD. In other words,

T(D)={aA | a=T(x) for some xD}.

For instance, if L is a line and Tb is translation by b, then it is reasonable to expect that T(L) is also a line. If one translates a line in the plane, it ought to keep its linear shape. In fact, lines are preserved under any general linear transformation, as are circles.

Theorem 3.1.2

Suppose T is a general linear transformation.

  1. T maps lines to lines.
  2. T maps circles to circles. Proof.
Proof
  1. We prove that if L is a line in C then so is T(L). A line L is described by the line equation

αz+¯α¯z+d=0

for some complex constant α and real number d. Suppose T(z)=az+b is a general linear transformation (so a0). All the points in T(L) have the form w=az+b where z satisfies the preceeding line equation. It follows that z=1a(wb) and when we plug this into the line equation we see that

αwba+¯α¯wb¯a+d=0

which can be rewritten

αaw+¯α¯a¯w+dαba¯αb¯a=0.

Now, for any complex number β the sum β+¯β is a real number, so in the above expression, d(αba+¯αb¯a) is a real number. Therefore, all w in T(L) satisfy a line equation. That is, T(L) is a line.

  1. The proof of this part is left as an exercise.
Example 3.1.6: The Image of a Disk

The image of the disk D={zC | |z2i|1} under the transformation T:CC given by T(z)=2z+(4i) is the disk T(D) centered at 4+3i with radius 2 as pictured below.

im-diskmap.svg

We will be interested in working with transformations that preserve angles between smooth curves. A planar curve is a function r:[a,b]C mapping an interval of real numbers into the plane. A curve is smooth if its derivative exists and is nonzero at every point. Suppose r1 and r2 are two smooth curves in C that intersect at a point. The angle between the curves measured from r1 to r2, which we denote by (r1,r2), is defined to be the angle between the tangent lines at the point of intersection.

Definition: Preserving Angles

A transformation T of C preserves angles at point z0 if (r1,r2)=(T(r1),T(r2)) for all smooth curves r1 and r2 that intersect at z0. A transformation T of C preserves angles if it preserves angles at all points in C. A transformation T of C preserves angle magnitudes if, at any point in C, |(r1,r2)|=|(T(r1),T(r2))| for all smooth curves r1 and r2 intersecting at the point.

Theorem 3.1.3

General linear transformations preserve angles.

Proof

Suppose T(z)=az+b where a0. Since the angle between curves is defined to be the angle between their tangent lines, it is sufficient to check that the angle between two lines is preserved. Suppose L1 and L2 intersect at z0, and zi is on Li for i=1,2, as in the following diagram.

im-anglelines.svg

Then,

(L1,L2)=arg(z2z0z1z0).

Since general linear transformations preserve lines, T(Li) is the line through T(z0) and T(zi) for i=1,2 and it follows that

(T(L1),T(L2))=arg(T(z2)T(z0)T(z1)T(z0))=arg(az2+baz0baz1+baz0b)=arg(z2z0z1z0)=(L1,L2).

Thus T preserves angles.

Definition: Fixed Point

A fixed point of a transformation T:AA is an element a in the set A such that T(a)=a.

If b0, the translation Tb of C has no fixed points. Rotations of C and dilations of C have a single fixed point, and the general linear transformation T(z)=az+b has one fixed point as long as a1. To find this fixed point, solve

z=az+b

for z. For instance, the fixed point of the transformation T(z)=2z+(4i) of Example 3.1.6 is found by solving z=2z+4i, for z, which yields z=4+i. So, while the map T(z)=2z+(4i) moves the disk D in the example to the disk T(D), the point 4+i happily stays where it is.

Definition: Euclidean Isometry

A Euclidean isometry is a transformation T of C with the feature that |T(z)T(w)|=|zw| for any points z and w in C. That is, a Euclidean isometry preserves the Euclidean distance between any two points.

Example 3.1.7: Some Euclidean Isometries of C

It is perhaps clear that translations, which move each point in the plane by the same amount in the same direction, ought to be isometries. Rotations are also isometries. In fact, the general linear transformation T(z)=az+b will be a Euclidean isometry so long as |a|=1:

|T(z)T(w)|=|az+b(aw+b)|=|a(zw)|=|a||zw|.

So, |T(z)T(w)|=|zw||a|=1. Translations and rotations about a point in C are general linear transformations of this type, so they are also Euclidean isometries.

Example 3.1.8: Reflection About a Line

Reflection about a line L is the transformation of C defined as follows: Each point on L gets sent to itself, and if z is not on L, it gets sent to the point z such that line L is the perpendicular bisector of segment zz.

im-reflect.svg

Reflection about L is defined algebraically as follows. If L happens to be the real axis then

rL(z)=¯z.

For any other line L we may arrive at a formula for reflection by rotating and/or translating the line to the real axis, then taking the conjugate, and then reversing the rotation and/or translation.

For instance, to describe reflection about the line y=x+5, we may translate vertically by 5i, rotate by π4, reflect about the real axis, rotate by π4, and finally translate by 5i to get the composition

zz5ieπ4i(z5i)¯eπ4i(z5i)=eπ4i(¯z+5i)eπ4ieπ4i(¯z+5i)=eπ2i(¯z+5i)eπ2i(¯z+5i)+5i.

Simplifying (and noting that eπ2i=i), the reflection about the line L:y=x+5 has formula

rL(z)=i¯z5+5i.

In general, reflection across any line L in C will have the form

rL(z)=eiθ¯z+b

for some angle θ and some complex constant b.

Reflections are more basic transformations than rotations and translations in that the latter are simply careful compositions of reflections.

Theorem 3.1.4

A translation of C is the composition of reflections about two parallel lines. A rotation of C about a point z0 is the composition of reflections about two lines that intersect at z0.

Proof

Given the translation Tb(z)=z+b let L1 be the line through the origin that is perpendicular to segment 0b as pictured in Figure 3.1.18(a). Let L2 be the line parallel to L1 through the midpoint of segment 0b. Also let ri denote reflection about line Li for i=1,2.

Now, given any z in C, let L be the line through z that is parallel to vector b (and hence perpendicular to L1 and L2). The image of z under the composition r2r1 will be on this line. To find the exact location, let z1 be the intersection of L1 and L, and z2 the intersection of L2 and L, (see the figure). To reflect z about L1 we need to translate it along L twice by the vector z1z. Thus r1(z)=z+2(z1z)=2z1z.

Next, to reflect r1(z) about L2, we need to translate it along L twice by the vector z2r1(z). Thus,

r2(r1(z))=r1(z)+2(z2r1(z))=2z2r1(z)=2z22z1+z.

Notice from Figure 3.1.1(a) that z2z1 is equal to b/2. Thus r2(r1(z))=z+b is translation by b.

Rotation about the point z0 by angle θ can be achieved by two reflections. The first reflection is about the line L1 through z0 parallel to the real axis, and the second reflection is about the line L2 that intersects L1 at z0 at an angle of θ/2, as in Figure 3.1.1(b). In the exercises you will prove that this composition of reflections does indeed give the desired rotation.

im-refgenisom.svg
Figure 3.1.1: (a) Translations and (b) rotations are compositions of reflections. (Copyright; author via source)

We list some elementary features of reflections in the following theorem. We do not prove them here but encourage you to work through the details. We will focus our efforts in the following section on proving analogous features for inversion transformations, which are reflections about circles.

Theorem 3.1.5

Reflection across a line is a Euclidean isometry. Moreover, any reflection sends lines to lines, sends circles to circles, and preserves angle magnitudes.

In fact, one can show that any Euclidean isometry can be expressed as the composition of at most three reflections. See, for instance, Stillwell [10] for a proof of this fact.

Theorem 3.1.6

Any Euclidean isometry is the composition of, at most, three reflections.

Exercises

Exercise 3.1.1

Is T(z)=z a translation, dilation, rotation, or none of the above?

Exercise 3.1.2

Show that the general linear transformation T(z)=az+b, where a and b are complex constants, is the composition of a rotation, followed by a dilation, followed by a translation.

Hint

View the complex constant a in polar form.

Exercise 3.1.3

Prove that a general linear transformation maps circles to circles.

Exercise 3.1.4

Suppose T is a rotation by 30 about the point 2, and S is a rotation by 45 about the point 4. What is TS? Can you describe this transformation geometrically?

Exercise 3.1.5

Suppose T(z)=iz+3 and S(z)=iz+2. Find TS. What type of transformation is this?

Exercise 3.1.6

Find a formula for a transformation of C that maps the open disk D={z | |z|<2} to the open disk D={z | |zi|<5}. Is this transformation unique, or can you think of two different ones that work?

Exercise 3.1.7

Find a formula for reflection about the vertical line x=k.

Exercise 3.1.8

Find a formula for reflection about the horizontal line y=k.

Exercise 3.1.9

Find a formula for reflection in the plane about the line y=mx+b, where m0.

Hint

Think about what angle this line makes with the positive x-axis.

Exercise 3.1.10

Prove that the construction in Figure 3.1.1(b) determines the desired rotation.

Exercise 3.1.11

S(z)=kz is a dilation about the origin. Find an equation for a dilation of C by factor k about an arbitrary point z0 in C.


This page titled 3.1: Basic Transformations of Complex Numbers is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Michael P. Hitchman via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?