Complex number/Citable Version

From Citizendium
< Complex number
Revision as of 13:06, 26 April 2007 by imported>Aleksander Stos (→‎Geometric interpretation: +image; remarks welcome)
Jump to navigation Jump to search

The complex numbers are numbers of the form , obtained by adjoining the imaginary unit to the real numbers (here and are reals).[1] The number can be thought of as a solution of the equation . In other words, its basic property is . Of course, since the square of any real number is nonnegative, cannot be a real number. A priori, it is not even clear whether such an object exists and that it can be called a number, i.e. whether we can associate with it some natural operations as addition or multiplication. Assuming, for a moment, that the answer is "yes", we may rewrite the first sentence above in symbols as

Historical example

The need for complex numbers may have appeared for the first time during the sixteenth century, when Italian mathematicians like Scipione del Ferro, Niccolò Fontana Tartaglia, Gerolamo Cardano and Rafael Bombelli tried to solve cubic equations. Even for equations with three real solutions, the method they used sometimes required calculations with numbers whose squares are negative. Here is such an example (with modern notation). Let us consider the equation

Cardano's method for solving it suggests looking for a solution by writing it as a sum , where another condition on and is to be decided later. Recording this in the equation, we have, once the left member is expanded,

which can be written as

Now we choose the second condition on and , namely , or . This implies that and are numbers which sum and product are given by

Now, it is a well-known fact that if a second degree polynomial has two roots, their sum is and their product is [2]Hence we may find some values for and by solving the quadratic equation

Its discriminant is , which is negative, so that the quadratic equation has no real solution: the usual formulae giving the solutions require taking the square root of the discriminant, which is undefined here.

Well, let us be bold and write . Here, the symbol denotes an hypothetical number whose square would be [3][4] At this stage, such a number has no meaning (squares of real numbers are always nonnegative), but we use it in a purely formal way. Using this symbol, we can write the "solutions" to the quadratic equation as

and

It remains to find cube roots of these "numbers". A straightforward calculation shows that and do the job. For instance, remembering the rule , we have

But now, going back to the original cubic equation, we get the real solution ! One can verify it is indeed a solution, as (and once this solution is found, it is easy to find the two other solutions, which are also real).

The fact that the formal calculations managed to give a real solution suggests that the "number" may have some sense. But to really give it a legitimate status, one has to construct a new set of numbers, containing the real numbers, but also other numbers whose squares may be negative real numbers. This will be the set of complex numbers. A rigorous construction of this set was given much later by Carl Friedrich Gauss in 1831.

Formal definition

Complex numbers were defined by Hamilton as ordered pairs of real numbers[5], i.e.

To call them 'numbers' we need to introduce some operations on such pairs. So we define

  • addition (a, b) + (c, d) = (a + c, b + d)
  • multiplication (a, b)(c, d) = (ac - bd, bc + ad)

While this definition can look arbitrary and artificial at the first sight, it turns out to be very natural one. In particular, the basic properties of the usual operations are preserved and we can employ many formulas from the elementary algebra we are accustomed to. More specifically, the sum (or the product) of two numbers does not depend on the order of terms;[6] the sum (product) of three or more elements does not depend on order of operations ('we can suppress the parentheses');[7] the product of a complex number with a sum of two other numbers expands in the usual way.[8] In mathematical language this means that with addition and multiplication defined this way, satisfies the axioms for a field, and is called the field of complex numbers.

Now we are ready to understand the 'real' meaning of and its usage in the above historical example. Observe that the pairs of type (a,0) are identical[9] to the set of reals, so we write (a, 0)=a. Observe also that by definition (0,1)(0,1) = (-1,0)=-1. It follows that , the hypothetical number whose square root gives -1, is well defined as (0,1). It is so characteristic that we usually denote it by i and call it the imaginary unit. Now, the historical example computation is fully justified: since the basic operations on complex numbers behave like the usual addition and multiplication, we can find the roots of a second degree polynomial with the well-known formulas.

Beyond the notation

Next step is to observe that any complex number (a,b) can be expressed as a+bi and, conversely, any sum of this type represents a complex number. The notation using the imaginary unit i is called the algebraic form or rectangular form or yet Cartesian form of a complex number. It is both traditional and commonly used to perform computations. The importance of such formally trivial rewriting is difficult to overestimate and we discuss it in more detail.

There is a well established tradition in mathematics of adopting notation that is suggestive, even if it is, in some ways, unnatural or awkward. For example, if complex numbers are ordered pairs of real numbers, why not represent them simply as pairs, i.e., use rather than ? There are several ways of answering this question. One is that our notation tends to guide our thinking, and writing emphasizes the idea that the real number x is a complex number, whereas writing for the same number suggests that, as a complex number, x is something fundamentally different (perhaps it is). A second, and rather different, reason for using the notation is that it suggests a parallel with another part of mathematics. In elementary number theory, we learn to perform arithmetic modulo a number base. For example, we may write

to indicate that when we add 4 and 5 and then divide the result by 7, the remainder is 2. We can do something similar with polynomials in a single variable x. We know that , but , so when we divide by , the remainder is . And by the same token,

so, when we add or multiply complex numbers, we are just doing modular arithmetic![10] Of course, there are also times when we wish to focus on the geometric or analytic aspects of complex numbers rather than the algebraic ones, but there is a tendency to want to retain the same notation where possible, and there is no question but that mathematical notation also tends to be dictated by tradition and historical accident.

Another reason, this time of practical nature, is elaborated in the next section.

Working with complex numbers

It is not very compelling to compute using the ordered pair definition, especially when it concerns the product of two complex numbers. It turns out that the imaginary unit comes in handy with its property . Algebraic operations become as natural as for the reals.

Basic operations

Addition is straightforward, More notably, we can rewrite multiplication using to obtain results in the form :

To handle division, we simply note that , so

from which it follows that

If is a complex number, we call the real part of and write . Similarly, is called the imaginary part of and we write . If the imaginary part of a complex number is , the number is said to be real. As mentioned earlier, we write instead of and thus we identify with a subset of .

Going a bit further, we can introduce the important operation of complex conjugation. Given an arbitrary complex number , we define its complex conjugate to be . Using the identity we derive the important formula

and we define the modulus of a complex number z to be

Note that the modulus of a complex number is always a nonnegative real number. The modulus (also called absolute value) satisfies three important properties that are completely analogous to the properties of the absolute value of real numbers

  • and if and only if

The last inequality is known as the triangle inequality.

The complex exponential

Recall that in real analysis, the ordinary exponential function may be defined as

The same series may be used to define the complex exponential function

(where, of course, convergence is defined in terms of the complex modulus, instead of the real absolute value).

Notation: The expressions and mean the same thing, and may be used interchangeably.

The complex exponential has the same multiplicative property that holds for real numbers,namely

The complex exponential function has the important property that

as may be seen immediately by substituting and comparing terms with the usual power series expansions of and .

The familiar trigonometric identity

immediately implies the important formula

, for any

Of course, there is no reason to assume this identity. We only need note that , so

Geometric interpretation

Graphical representation of a complex number

Since a complex number corresponds (essentially by definition) to an ordered pair of real numbers , it can be interpreted as a point in the plane (i.e. . When complex numbers are represented as points in the plane, the resulting diagrams are known as Argand diagrams, after Robert Argand. The geometric representation of complex numbers turns out to be very useful, both as an aid to understanding the properties of complex numbers and as a tool in applying complex numbers to geometrical and physical problems.

There are no real surprises when we look at addition and subtraction in isolation: addition of complex numbers is not essentially different from addition of vectors in . Similarly, if is real, multiplication by is just scalar multiplication. In we have


and

To put it succintly, is a 2-dimensional real vector space with respect to the usual operations of addition of complex numbers and multiplication by a real number. There doesn't seem to be much more to say. But there is more to say, and that is that the multiplication of complex numbers has geometric significance. This is most easily seen if we take advantage of the complex exponential, and write complex numbers in polar form

Here, r is simply the modulus or vector length. The number is just the angle formed with the x-axis, and is called the argument. Now, when complex numbers are written in polar form, multiplication is very interesting

In other words, multiplication by a complex number z has the effect of effect of simultaneously scaling by the numbers' modulus and rotating by its argument. This is really astounding. Translation corresponds to complex addition, scaling to multiplication by a real number, and rotation to multiplication by a complex number of unit modulus. The one type of coordinate transformation that is missing from this list is reflection. On the other hand, there is an arithmetic operation we have not considered, and that is division. Recall that

In other words, up to a scaling factor, division by z is just complex conjugation. Returning to the representation of complex numbers in rectangular form, we note that complex conjugation is just th transformation (or map) or, in vector notation, . This is nothing other than reflection in the x-axis, and any other reflection may be obtained by combining that transformation with rotations and translations.

Historically, this observation was very important and led to the search for higher dimensional algebras that could "arithmetize" Euclidean geometry. It turns out that there are such generalizations in dimensions 4 and 8, known as the quaternions and octonions (also known as Cayley numbers). At that point, the process stops, but the ideas developed in this process have played an important role in the development of modern differential geometry and mathematical physics).

Algebraic closure

An important property of is that it is algebraically closed. This means that any non-constant polynomial with complex coefficients has a root in . This result is known as the fundamental theorem of algebra. There are many proofs of this theorem. Many of the simplest depend crucially on complex analysis. But it is by no means necessary to rely on complex analysis here. We offer two separate proofs, one that relies on complex analysis and one that does not. As an aside, it is interesting to note that avoiding the methods of one branch of mathematics (complex analysis), requires the use of more advanced methods from another branch of mathematics (in this case, field theory).

Using Complex Analysis

A startlingly simple proof is based on Liouville's theorem: If is a polynomial function of a complex variable then both and will be holomorphic in any domain where . But, by the triangle inequality, we know that outside a neighborhood of the origin , so if there is no such that , we know that is a bounded entire (i.e., holomorphic in all of ) function. By Liouville's theorem, it must be constant, so must also be constant.

Using Algebra (and a bit of Real Analysis)

There are also proofs that do not depend on complex analysis, but they require more algebraic or topological machinery.

Formal argument

The starting point here is that is a real closed field (i.e., an ordered field containing positive square roots and in which odd degree polynomials always do posess a root). The starting point is to note that is the splitting field of , so if we can show that has no finite extensions, then we are done. Suppose is a finite normal extension with Galois group G. A Sylow 2-subgroup H must correspond to an intermediate field L, such that L is an extension of of odd degree, but we know no such extensions exist. This contradiction establishes the theorem.

Intuition

We need to show that any polynomial has a root in . If the degree of is odd, we can appeal to the intermediate value theorem, because as approaches and , must become large and positive at one limit and large and negative at the other. So, what is needed is a method of reducing the case of arbitrary , to this case. (Well, not quite, because in general, the roots of will lie in , not ). It turns out that if we write where is odd (i.e., if we factor into its even and odd pieces) we can dispense with the odd piece as above, and then rely on a purely algebraic argument based on Galois theory (after its discoverer Évariste Galois) to handle the even part.

Complex numbers in physics

Complex numbers appear everywhere in mathematical physics, but one area where the role of complex numbers is especially difficult to ignore is in quantum mechanics. There are a number of ways of formulating the basic laws of quantum mechanics, but here we consider just one: the Schrödinger equation, discovered by Erwin Schrödinger in 1926. In rectangular coordinates, it may be written

,

where

is known as the Laplacian operator and is the potential function. (As a practical example, the potential function might represent the attractive force per unit mass between the nucleus of a hydrogen atom and an electron). Now, there is some subtlety in the interpretation of because a system can be affected by observation, and the functions we "see" must be eigenstates of the operator defined by the Schrödinger equation, but when we do measure, say, the position of a particle, the probability of finding it in a small region R is just

.

Further reading

  • Ahlfors, Lars V. (1979). Complex Analysis, 3rd edition. McGraw-Hill, Inc.. ISBN 0-07-000657-1. 
  • Apostol, Tom M. (1974). Mathematical Analysis, 2nd edition. Addison-Wesley. ISBN 0-201-00-288-4. 
  • Conway, John H.; Derek A. Smith (2003). On Quaternions and Octonions: Their Geometry, Arithmetic and Symmetry. A K Peters, Ltd.. ISBN 1-56881-134-9. 
  • Jacobson, Nathan (1974). Basic Algebra I. W.H. Freeman and Company. ISBN 0-7167-0453-6. 
  • Williams, Floyd (2003). Topics in Quantum Mechanics. Birkhäuser. ISBN 0-8176-4311-7. 

Notes and references

  1. This article follows the usual convention in mathematics and physics of using as the imaginary unit. Complex numbers are frequently used in electrical engineering, but in that discipline it is usual to use instead, reserving for electrical current. This usage is found in some programming languages too, notably Python.
  2. To verify this, one just has to write and for the roots, to expand and to identify the coefficients.
  3. Please note that this notation is purely formal and usual properties of the arithmetic (real) square root do not apply. Consider e.g. the following computation
    and the contradiction follows. The point is that the second equality can not be applied. The meaning of the symbol can be understood and the admissible operations can be specified by giving a precise definition in terms of more elementary mathematical objects (see the formal description).
  4. Observe also that the symbol (or ) with is sometimes used to denote the set of complex roots of a, i.e. the set of the solutions of the equation ( respectively). The set contains 2 (n, respectively) "equally important" elements and there is no canonical way to distinguish a "representative". Consequently, no computations are performed using this symbol.
  5. Hamilton's definition is in common use nowadays. From another and perhaps more abstract point of view, complex numbers are defined in terms of polynomials, as the quotient Cf. also the section "Working with complex numbers" where an example of a quotient of polynomials is discussed.
  6. that is, the addition (multiplication) is commutative
  7. This is called associativity
  8. In other words, multiplication is distributive over addition
  9. i.e. isomorphic, which basically means that the mapping preserves the addition and multiplication.
  10. This example gives also a hint why the complex numbers are sometimes defined in terms of polynomials, as