CHAPTER 8 The Complex Numbers
CHAPTER 8 The Complex Numbers
Now each of the resulting equivalence classes contains but a single element.
Hence, we shall denote a class (a,b) rather than as [a,b] and so, hereafter, denote
ℝxℝ by ℂ
8.1 ADDITION AND MULTIPLICATION ON ℂ
Addition and Multiplication on ℂ
Addition and Multiplication on ℂ are defined repectively by
(ⅈ) (a,b) + (c,d) = (a + c, b + d)
(ⅈ ⅈ) (a,b) . (c,d) = (ac – bd, ad + bc) ℂ
For all (a,b), (c,d) ϵ ℂ.
The calculations necessary to show that these operations obey A ₁ -A ₄, M ₁ - M ₄,
D₁ - D₂ of chapter 7, when restated in terms of ℂ, are routine and will be left to the
reader. It is easy to verify that (0,0) is the identify element for addition and (1,0) is
the identify element for multiplication; also, that the additive inverse of (a,b) is -
(a,b) = (-a,-b) and the multiplicative inverse of (a,b) ≠ (0,0) is (a,b) ⁻¹ =(a/a² = b²,-
b/a² + b²). Hence, the set of complex numbers have the properties A ₅-A ₆ and M ₅-M ₆
of Chapter 7, restated in terms of ℂ.
We shall show in the next section that ℝ ⸦ ℂ, and one might expect then that ℂ
has all of the basic properties of ℝ. But this is false since it is not possible to
extend (redefine) the order relation “<’’ of ℝ to include all elements of ℂ
8.2 PROPERTIES OF COMPLEX NUMBERS
The real numbers are a proper subset of the complex numbers ℂ . For, if in ( ⅈ) and ( ⅈⅈ) we take b = d = 0,
we see that the first components combine exactly as do the real numbers a and c. Thus the mapping a←→
(a,0) is an isomorphism of ℝ onto a certain subset {(a,b):a ϵ ℝ ,b = 0} of ℂ .
Definition 8.1: The elements (a,b) ϵ ℂ in which b ≠ 0, are called imaginary numbers and those imaginary
numbers (a,b) in which a = 0 are called pure imaginary numbers.
Definition 8.2: For each complex numbers z= (a,b), we define the complex number ͞͞z = ͞͞͞͞͞͞͞͞͞(͞͞a͞ ,͞b) =(a,-b) to be
the conjugate of z.
Clearly, every real number is its own conjugate while the conjugate of each pure imaginary is its
negative.
there follow easily
Theorem I. The sum (product) of any complex number and its conjugate is a real number.
Theorem II. The squar of every pure imaginary number is a negative real number.
See also Problem 8.2.
The special role of the complex number (1,0) suggests an investigation of another, (0,1). We find
8.5 ROOTS
The equation zⁿ = p(cos Ø + ⅈ sin Ø)
where n is a positive integer and A is any complex number, will now be shown to have
exactly n roots. If z = r(cos θ + ⅈ sin θ) is one of these, we have by Theorem V,
rⁿ(cos nθ + ⅈ sin nθ) = p(cos Ø + ⅈ sin Ø)
Then rⁿ = p and nθ = Ø + 2kπ(k, an integer)
So that r = p ⅟n and θ = Ø/n + 2kπ/n
The number of distinct roots are the number of non-cotermal angles of the set {Ø/n +
2kπ/n}. For any positive integer k = nq + m, 0 ͟< m < n, it is clear that Ø/n + 2kπ/n and Ø/n +
2mπ/n are coterminal. Thus, there are exactly n distinct roots, given by