Skip to main content

Appendix A Complex Numbers

Subsection Complex Numbers

Complex numbers are usually introduced as a tool to solve the quadratic equation x2+1=0. However, that is not how complex numbers first came to light. The story actually involves solutions to the general cubic equation. The interested reader could consult Chapter 6 of William Dunham's excellent book Journey Through Genius. In this appendix we touch on the basics of complex numbers to provide enough context for the section on complex eigenvalues.

A complex number is defined by a pair of real numbers - the real part of the complex number and the imaginary part of the complex number.

Definition A.1.

A complex number is a number of the form

a+bi

where a and b are real numbers and i2=βˆ’1.

The number a is the real part of the complex number and the number b is the imaginary part. We often write

z=a+bi

for a complex number z,  Re (z) for the real part of z and  Im (z) for the imaginary part of z. That is, if z=a+bi with a and b real numbers, then  Re (z)=a and  Im (z)=b. We say that two complex numbers a+bi and c+di are equal if a=c and b=d.

There is an arithmetic of complex numbers that is determined by an addition and multiplication of complex numbers. Adding complex numbers is natural:

(a+bi)+(c+di)=(a+c)+(b+d)i.

That is, to add two complex numbers we add their real parts together and their imaginary parts together.

Activity A.1.

Multiplication of complex numbers is is also done in a natural way.

(a)

By expanding the product as usual, treating i as we would any real number, and exploiting the fact that i2=βˆ’1, explain why we define the product of complex numbers a+bi and c+di as

(a+bi)(c+di)=(acβˆ’bd)+(bc+ad)i.

(b)

Use the definitions of addition and multiplication to write each of the sums or products as a complex number in the form a+bi.

It isn't difficult to show that the set of complex numbers, which we denote by C, satisfies many useful and familiar properties.

Activity A.2.

Show that C has the same structure as R. That is, show that for all u, w, and z in C, the following properties are satisfied.

(c)

(w+z)+u=w+(z+u) and (wz)u=w(zu)

(d)

There is an element 0 in C such that z+0=z

(e)

There is an element 1 in C such that (1)z=z

(f)

There is an element βˆ’z in C such that z+(βˆ’z)=0

(g)

If z≠0, there is an element 1z in C such that z(1z)=1

The result of Activity A.2 is that, just like R, the set C is a field. If we wanted to, we could define vector spaces over C just like we did over R. The same results hold.

Subsection Conjugates and Modulus

We can draw pictures of complex numbers in the plane. We let the x-axis be the real axis for a complex number and the y-axis the imaginary axis. That is, if z=a+bi we can think of z as a directed line segment from the origin to the point (a,b), where the terminal point of the segment is a units from the imaginary axis and b units from the real axis. For example, the complex numbers 3+4i and βˆ’8+3i are shown in Figure A.2.

Figure A.2. Two complex numbers.

We can also think of the complex number z=a+bi as the vector [a b]T. In this way, the set C is a two-dimensional vector space over R with basis {1,i}. Each of these complex numbers has a length that we call the norm or modulus of the complex number. We denote the norm of a complex number a+bi as |a+bi|. The distance formula or the Pythagorean theorem show that

|a+bi|=a2+b2.

Note that

a2+b2=a2βˆ’b2i2=(a+bi)(aβˆ’bi)

so the norm of the complex number a+bi can also be viewed as a square root of the product of a+bi with aβˆ’bi. The number aβˆ’bi is called the complex conjugate of a+bi. If we let z=a+bi, we denote the complex conjugate of z as z―. So a+bi―=aβˆ’bi.

Activity A.3.

Let w=2+3i and z=βˆ’1+5i.

(c)

Compute ww― and zz―.

(d)

Let z be an arbitrary complex number. There is a relationship between |z|, z, and z―. Find and verify this relationship.

(e)

What is z― if z∈R?

Subsection Complex Vectors

A vector can have real and imaginary parts, too. For example, the vector v=[1+i2βˆ’i] can be written as

v=[1+i2βˆ’i]=[12]+[iβˆ’i]=[12]+i[1βˆ’1].

The vector  Re (v)=[12] is the real part of v and the vector  Im (z)=[1βˆ’1] is the imaginary part of v. In this way any vector v with complex entries can be written in the form

v=x+iy,

where x= Re (z) and y= Im (z) are vectors with real entries. The conjugate of the vector v=x+iy is the vector v―=xβˆ’iy. We can do the same with matrices with complex entries.

There are several properties of complex conjugates that can be useful. Suppose r is a complex number, v is a vector with possibly complex entries, and A and B are matrices with possibly complex entries. Assume all products that are listed are defined. Then

  1. rv―=r― v―

  2. rA―=r― A―

  3. Av―=A― v―

  4. AB―=A― B―

These properties can be verified using complex arithmetic. For example, to verify the first property, let r=a+ib be a complex number and let v=x+iy be a complex vector. The operations on complex numbers give us

rv―=(axβˆ’by)+i(ay+bx)―=(axβˆ’by)βˆ’i(ay+bx)=(aβˆ’ib)(xβˆ’iy)=r―v―.

Verification of the remaining properties is left to the reader.