Download Complex Numbers

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Vincent's theorem wikipedia , lookup

Location arithmetic wikipedia , lookup

Bra–ket notation wikipedia , lookup

Infinitesimal wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

Infinity wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Large numbers wikipedia , lookup

Non-standard analysis wikipedia , lookup

Hyperreal number wikipedia , lookup

Factorization wikipedia , lookup

Real number wikipedia , lookup

Addition wikipedia , lookup

Elementary mathematics wikipedia , lookup

Mathematics of radio engineering wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Transcript
Complex Numbers
Basic Definitions
You’re used to real numbers and how they’re graphed on the real number line.
−3
−1
0
3.4 4.2
Real numbers are very useful, but there is one major problem we encounter when working with them:
not all polynomials have real roots. For example,
although the polynomials x2 − 3 and x2 + 1 look almost
√
identical, the former has two real roots (± 3) while the latter has none. This means that some matrices
don’t have any real eigenvalues. To “fix” this problem, mathematicians simply define a new number,
called i, to be the square root of −1. Of course, i is not a real number, since there is no real number whose
square is −1; instead, we call i an imaginary number. Now, the polynomial x2 + 1 has two roots, i and −i.
More generally, an imaginary number is any real number multiple of i, like 0, 2i, −2.75i, or 1.7i. We can
graph the imaginary numbers on a number line, but we use a vertical line instead of a horizontal line.
2.5i
1.7i
i
0
−2.75i
We know how to add and multiply real numbers, and we would like to do the same with imaginary
numbers. However, if two imaginary numbers are multiplied, the answer is a real number; for instance,
(2i )(3i ) = 6i2 = −6. This suggests that we shouldn’t look at real and imaginary numbers separately;
instead, we study complex numbers, which are sums of real and imaginary numbers. That is, a complex
1
√
number is just a number of the form x + iy where x and y are both real numbers. So, 1 + 3i, 7, 4.2 + 1.7i,
−3, 3.7 − 2.75i, and 2i are all complex numbers. We write C for the set of complex numbers.
Since we view the set of real numbers as a horizontal line and the set of imaginary numbers as a vertical
line, it’s natural to view the set of complex numbers as a plane in which the real numbers lie on the
horizontal axis and the imaginary numbers lie on the vertical axis. This plane is called the complex plane.
2i
2.5 + 1.7i
−1 + i
−2
1.5 − 2.7i
Arithmetic of Complex Numbers
As we said already, a complex number is just a number of the form z = x + iy where x, y ∈ R. We call
x the real part of z and y the imaginary part of z. To add complex numbers, we just add the real and
imaginary parts separately. That is, ( x1 + iy1 ) + ( x2 + iy2 ) = ( x1 + x2 ) + i (y1 + y2 ).
Example 1. (4.2 + 1.7i ) + (3.7 − 2.75i ) = (4.2 + 3.7) + (1.7 − 2.75)i = 7.9 − 1.05i.
v
To multiply complex numbers, we use the distributive property.
Example 2. Let’s compute the product (1 + i )(5 + 3i ):
(1 + i )(5 + 3i ) = 1(5 + 3i ) + i (5 + 3i )
= 5 + 3i + 5i + 3i2
= 5 + 3i + 5i − 3 since i2 = −1
= 2 + 8i
v
To divide complex numbers, we make use of the complex conjugate of a complex number. The complex
conjugate of a complex number x + iy is defined to be x − iy. The complex conjugate of z is written as z.
The product of a complex number x + iy and its conjugate x − iy is always real: ( x + iy)( x − iy) = x2 + y2 .
To simplify a fraction of complex numbers, multiply both numerator and denominator by the conjugate
of the denominator.
Example 3. To simplify
1+5i
2−3i ,
we multiply both the numerator and denominator by 2 + 3i:
1 + 5i
(1 + 5i )(2 + 3i )
−13 + 13i
=
=
= −1 + i.
2 − 3i
(2 − 3i )(2 + 3i )
13
v
2
The Absolute Value (or Modulus) of a Complex Number
When x is a real number, the absolute value of x measures the distance from x to 0 on the number line.
For instance, 5 and −5 are both 5 units away from 0, so |5| = | − 5| = 5. Similarly, the absolute value
of a complex number z = xp
+ iy is defined to be the distance from z to 0 in the complex plane. By the
Pythagorean theorem, |z| = x2 + y2 .
z = x + iy
|z|
|y|
|x|
The absolute value of a complex number z is also known as the modulus of z. (This is the term that
Bretscher uses.)
Euler’s Formula and Polar Coordinates
In Math 1b, you learned Euler’s formula, eiθ = cos θ + i sin θ.
Example 4. Applying Euler’s formula with θ = π, eiπ = cos π + i sin π = −1. (The identity eiπ + 1 = 0
is often considered the most beautiful equation in the world. After proving it in a lecture, Harvard
mathematician Benjamin Pierce said, “We cannot understand it, and we don’t know what it means. But
we have proved it, and therefore we know it must be the truth.”)
v
Example 5. Let’s look at the number 7eπi/6 . Using Euler’s formula, this is equal to 7 cos π6 + i sin π6 =
√
7
3
2
+ 72 i, so in the complex plane, it is located at the point shown below:
7eπi/6
7
2
√
7 3
2
Notice that, if we draw in the line from 0 to 7eπi/6 , we can see the role of the numbers 7 and
clearly:
3
π
6
more
7eπi/6
7
7
2
π/6
√
7 3
2
v
More generally, we can write any complex number z in the form reiθ , with r and θ visualized like this:
z = reiθ
r
θ
We call r and θ the polar coordinates of z. (If you’ve taken 21a, r and θ are visualized the same way when
you do double integrals in polar coordinates.)
If we are adding complex numbers, it is useful to write them in Cartesian coordinates; on the other
hand,
if we are multiplying complex numbers, it is often easier to use polar coordinates. After all, r1 eiθ1 r2 eiθ2
is just r1 r2 eiθ1 eiθ2 = r1 r2 ei(θ1 +θ2 ) .
√
Example 6. Let z = −2 − 2 3i. Suppose we want to find z50 . We could just start computing powers of z,
but that would get boring really fast. Instead, let’s write z in polar coordinates. Graphically, that means
finding the length r and the angle θ in the following diagram:
2
√
2 3
θ
r
√
−2 − 2 3i
4
√
√
By the Pythagorean Theorem, 22 + (2 3)2 = r2 , so r = 4. Using trigonometry, tan θ = 3. We can see
4πi/3 .
that θ is in the third quadrant, so θ must be 4π
3 . That is, we’ve found that z = 4e
Then, z50 =
4e4πi/3
50
coordinates: z50 = 450
= 450 e200πi/3 . Using Euler’s formula, we can convert this back to Cartesian
√ !
1
3
50
200π
= 4
− +
v
cos 200π
i .
3 + i sin 3
2
2
The Fundamental Theorem of Algebra
As we discussed earlier, not all polynomials have real roots, so not all matrices have real eigenvalues. If
we instead look for complex roots of polynomials, the situation is much better.
The Fundamental Theorem of Algebra. Let p( x ) be a polynomial whose coefficients are complex numbers (or
just real numbers), and let n be the degree of p( x ). If we allow our factors to involve complex numbers, then p( x )
factors completely into linear factors, p( x ) = c( x − a1 ) · · · ( x − an ) for some complex numbers c, a1 , . . . , an . In
particular, p( x ) has exactly n complex roots a1 , . . . , an (if the roots are counted with multiplicity).
Example 7. The polynomial x2 + 1 can be factored as ( x − i )( x + i ). That is, it has two roots, i and −i. v
Example 8. The polynomial x4 − 7x2 + 4x + 20 factors as ( x + 2)2 [ x − (2 + i )][ x − (2 − i )], so its complex
roots are −2 with multiplicity 2, 2 + i with multiplicity 1, and 2 − i with multiplicity 1.
v
This means that every square matrix has complex eigenvalues, a fact we will be exploring more!
Practice Problems
1. Let z = 12 + 12 i. Write z in polar coordinates. Draw z, z2 , z3 , . . . , z8 in the complex plane. Write z5 in
Cartesian coordinates.
2. If z = reiθ is a nonzero complex number, write
3.
1
z
in polar coordinates.
(a) Use Euler’s formula to express e2it in terms of cos(2t) and sin(2t).
(b) Use Euler’s formula to express e−2it in terms of cos(−2t) and sin(−2t).
(c) Which of the following statements are true? (There are 2.)
A. cos(−2t) = cos(2t)
C. sin(−2t) = sin(2t)
B. cos(−2t) = − cos(2t)
D. sin(−2t) = − sin(2t).
(d) Use your answers to (b) and (c) to express e−2it in terms of cos(2t) and sin(2t).
5
Julia Sets (Optional but Super Cool!)
We’ve talked about discrete dynamical systems ~x (t + 1) = A~x (t). If T is the linear transformation T (~x ) =
A~x and ~x0 is a vector representing the starting situation, we know:
• the situation at time 1 is ~x1 = T (~x0 ),
• the situation at time 2 is ~x2 = T (~x1 ),
• and so on.
We might try doing the same thing with a different type of transformation; it turns out that, if we make T
a quadratic function, we get very interesting objects called Julia sets. You won’t need to know about Julia
sets for 21b, but they are pretty amazing things.
Describing a Julia set is pretty simple. We start by picking a complex number c, like c = −0.8 − 0.15i
(each choice of c gives a different Julia set). Then, we define a function f (z) = z2 + c. If z0 is any complex
number, we define:
z1 = f ( z0 )
z2 = f ( z1 )
z3 = f ( z2 )
..
.
This is just a list of complex numbers z0 , z1 , z2 , . . .; we call this list the orbit of z0 . In general, such orbits
may be really wacky; rather than trying to understand them very deeply, we just ask a simple question:
do the zn stay close to the origin? There are two possibilities:
1. Every zn satisfies |zn | < 2. That is, all elements of the orbit stay within 2 units of the origin. (We say
the orbit “does not escape.”)
2. Some zn satisfies |zn | ≥ 2. (We say the orbit “escapes.”)
Now, we are ready to define the Julia set (for c) — it is simply the set of all complex numbers z0 such
that the orbit of z0 does not escape. Although this definition is relatively straightforward, Julia sets are
extremely complicated objects. For example, here is the Julia set for c = −0.8 − 0.15i; as you can see, it is
not simple at all!
6
Julia sets have lots of interesting properties. One of the most striking is that tiny pieces of a Julia set look
identical to the entire Julia set. For instance, here is a teeny piece of the previous image, magnified about
a million times:
7