On the Way to the Quaternions: Real and Complex Numbers
Posted on Thu 22 February 2018 in Thesis
In the introductory post to this series of posts explaining my thesis, we first heard about "quaternion-Kähler manifolds," a type of geometric object with special curvature properties. These special geometric properties are related to the algebraic properties of the quaternions, a 4-dimensional number system that generalizes the somewhat more familiar real and complex number systems. In this post, we'll lay the groundwork for defining the quaternions by discussing some properties of the real and complex numbers. A good understanding of these two number systems, and especially of the complex numbers, will be necessary to understand the more complicated quaternions.
The Real Numbers
The real number system, often denote in mathematics by the symbol \(\mathbb{R}\), is the number system associated to the concept of the "number line" that is often taught in schools. That is, if one considers a straight, infinitely long line, then every point on that line can be associated to a number. We can choose a center point for the line, which we associate to the number 0, and then could repeatedly move to the right by a fixed distance to mark the points associated to 1, 2, 3, etc., and similarly to the left for the points -1, -2, -3, etc. All other points on this line also represent numbers - the point exactly halfway between -1 and -2 is the point -3/2, while the number \(\pi = 3.14159\ldots\) is associated to a point that's a little to the right of 3, and so on. All real numbers can be written as decimals (although those decimals might repeat infinitely, as in \(1/3 = 0.3333333\ldots\), or might even go one forever without any discernible pattern, as in \(\pi\)), and using these decimal expressions we have methods for adding, subtracting, multiplying and dividing real numbers.
The real number line
Although the idea of the real number line is fairly intuitive, the formal mathematical definition of the real numbers is rather complicated, and a great deal of mathematical energy was expended to define and understand the real numbers. This technical work is in one sense extremely important to my own thesis work, in that it is the foundation for all of calculus and therefore for all of my work. On the other hand, Newton and Leibniz invented calculus without a mathematically rigorous definition of the real number system, and if they didn't need all of the gory technical details, then we won't spend too much time worrying about them either.
With that said, we will say a few important facts about the real numbers. First, the real numbers are a field, the mathematical word for set equipped with operations that behave like addition, subtraction, multiplication, and division. The abstract definition of a field was essentially made to generalize the structure of the real numbers. The real number field has two extra properties, though, that make it special.
First, it is ordered, that is, for any two numbers \(x, y\) we can always say that either \(x \leq y\) or \(y \leq x\) (or both if we actually have \(x = y\)) and that this order satisfies some extra properties to make it consistent with the addition and multiplication operations. (One of these is that if \(x \geq 0\) and \(y \geq 0\), then we also have that the product \(xy \geq 0\).) Not every field is ordered. For example, since the complex numbers discussed below are two dimensional, they do not admit an order that's compatible with the field structure.
Second, the real numbers are Dedekind-complete with respect to this order. This property is also known as the "least upper bound property." It says that, given any non-empty collection of real numbers that has some upper bound (a number \(M\) such that if \(x\) is a number in the collection, \(x \leq M\)), then that collection has a smallest upper bound. This is also not true for every field. In particular, the rational numbers do not have this property. The rational numbers are the set of numbers that can be expressed as a ratio of two integers (for example, \(2\) and \(-5/4\) are rational, while \(\pi\) is not). The rational numbers are also a field, since one can add, subtract, multiply, and divide fractions (and the result is always a fraction), and are in fact an ordered field as well. They are not, however, Dedekind-complete. To see why, consider the set of all rational numbers less than \(\sqrt{2}\). This set is bounded, and it's not hard to see that the least upper bound of this set is \(\sqrt{2}\). But \(\sqrt{2}\) is irrational, so the set of rational numbers does not have the least upper bound property since the least upper bound \(\sqrt{2}\) is not itself a rational number.
One can show with a fair amount of work that these two properties uniquely determine the real numbers, that is, there is exactly one ordered, Dedekind-complete field. Still, making a formal mathematical construction of a field that satisfies these two properties is not easy, and the interested reader can search the internet for more information on either Dedekind cuts or Cauchy sequences. For the future, we'll only need the intuitive understanding of the real numbers as the points along the number line, but it's good to point out the difficulties in defining the real number line as an example of the way that seemingly intuitive concepts can hide a great deal of mathematical complexity.
The Complex Numbers
One drawback of the real numbers is that they are not algebraically closed. This means that not every real polynomial has real roots. A real polynomial is an expression with the form
where the coefficients \(a_n, \ldots, a_0\) are real numbers and \(x\) is a variable. A root of a polynomial is a value for \(x\) that makes \(p(x) = 0\). For example, \(1\) is a root of the polynomial \(q(x) = x^2 - 1\).
But we can find polynomials with real-number coefficients that do not have any real-number roots, such as
For any real number \(x\), the square \(x^2 \geq 0\), and so \(x^2 + 1 > 0\) and there can be no real roots.
It's somewhat inconvenient to have equations involving only real numbers that are still impossible to solve. To fix this problem, we can define a new number \(i\), called the imaginary unit, to be a number such that \(i^2 = -1\) so that \(i\) is a root of \(p(x)\) above. This leads to the definition of the complex numbers. A complex number \(z\) consists of a pair of real numbers \(a, b\), which we call the real and imaginary parts, respectively, and we write \(z = a + bi\). The set of all complex numbers is denoted by \(\mathbb{C}\). Note that we can consider the real numbers \(\mathbb{R}\) as a subset of the complex numbers: if \(a\) is a real number, we can consider it as the complex number \(a + 0 i\), that is, a complex number with no imaginary part. This is a two dimensional number system, since a number in \(\mathbb{C}\) actually consists of a pair of real numbers.
The choice of the word "imaginary" to describe these numbers is unfortunate, since it implies that these numbers aren't actually numbers and are just strange mathematical objects someone dreamed up. (This terminology was coined by René Descartes, of "I think therefore I am" fame, in order to denigrate the complex numbers in exactly this way.) And some would say this criticism makes sense. After all, these numbers are defined so that the equation \(X^2 + 1 = 0\) can have a solution, and some might say that this equation obviously has no solutions and it's silly to ask for one.
Such objections are based on opinion, though, which doesn't really count for much in formal mathematics. Worse, the same kind of argument could be used to ignore any number of mathematical topics. Consider negative numbers: they were introduced to be able to solve equations like, say, \(X + 5 = 2\). But this equation is ridiculous and obviously shouldn't have a solution - after all, if you started with \(X\) apples and someone gave you five apples, how could you end with only 2?
Arguments about whether or not certain numbers are "real" in a philosophical sense can get surprisingly heated. Consider for example the irrational numbers, that is, real numbers that are not rational numbers. Actually, if you happen to follow a Pythagorean philosophy, it's probably safer not to. The Pythagorean theorem is named after Pythagoras, an ancient Greek philosopher who also lead something like a cult that was based around mathematical principles. His and his followers' theology was heavily influenced by music and harmony, where many important concepts like scales and consonance are related to having only whole-number ratios of numbers. They were so invested in the divine order of rational numbers that it's sometimes said that they denied the existence of irrational numbers, going so far as to murder one of their own members for proving that \(\sqrt{2}\) is irrational. (The story of the murder probably isn't actually true, partly because there is some disagreement about exactly which irrational number was the cause for the murder. The story linked above says it's the golden ratio, but the version with \(\sqrt{2}\) is also common.) Somewhat ironically, the Pythagoreans would have thought about \(\sqrt{2}\) because, if a perfect square has a side length of 1, then the length of the diagonal will be \(\sqrt{2}\), a fact that one can prove using the Pythagorean theorem.
Thus if you think it makes sense to talk about negative numbers, or irrational numbers, then you should think it makes perfectly good sense to talk about imaginary numbers and complex numbers as well. If nothing else, we'll see in a later post that complex numbers can and do have a real physical significance, even if it's less obvious than applications of other number systems.
Operations with Complex Numbers
With any concerns about the ontological status of the complex numbers brushed aside, we can now define operations with complex numbers. We will define addition, subtraction, multiplication, and division rules for complex numbers so that \(\mathbb{C}\) is also a field. Addition and subtraction are defined in a fairly straightforward way, essentially by considering \(i\) as a variable and combining like terms. That is, if \(z = a + bi\) and \(w = c + di\) are complex numbers, then
We just add (or subtract) the real parts and the imaginary parts separately. Multiplication is defined by again treating \(i\) as a variable, but also making the simplification that \(i^2 = -1\) wherever possible. Therefore we have
We'll generally drop the multiplication sign, and denote multiplication just by juxtaposition, i.e., \(zw\) means the same as \(z \times w\).
To define division of complex numbers, we can consider one extra operation on complex numbers, called complex conjugation. Given a complex number \(z = a + bi\), then its complex conjugate, denoted by \(\overline{z}\), is the complex number \(\overline{z} = a - bi\), that is, we switch the sign on the imaginary part of \(z\). Complex conjugation is special because the product of a complex number and its complex conjugate is always a real number:
The number \(\sqrt{z \overline{z}} = \sqrt{a^2 + b^2}\) is also called the norm or modulus of \(z\), and will be discussed more in a later post.
Once we have defined complex conjugation, we can write the rule for division of complex numbers. It's actually easier to define a different operation, called the inverse of a complex number. Given a nonzero complex number \(z\), we will define the inverse to be the complex number denoted by \(z^{-1}\) with the property that \(zz^{-1} = 1\). (Zero has no inverse, since \(0\) times any complex number can never be 1. This is ok because division by 0 is not defined anyway). Defining an inverse is the same as defining division, since division is just the operation that undoes multiplication. That is, if we have the product \(wz\) and want to undo the multiplication by \(z\), one way to do so would be to "divide by \(z\)" to be left with just \(w\). Since we could also take \((wz)z^{-1} = w (z z^{-1}) = w (1) = w\), we define "division by \(z\)" to be the same as "multiplication by the inverse \(z^{-1}\)".
So what is the inverse? Using the conjugation operator, we can define
To check that this is correct, observe that
So we have that the complex numbers are a field, but what are they good for? Returning to the motivation for the construction of the complex numbers in the previous section, one can show that the complex numbers are algebraically closed. That is, any (nonconstant) polynomial with complex coefficients will always have a complex root. Since real numbers are themselves a subset of the complex numbers, this means that any polynomial equation with real coefficients can always be solved using complex numbers. The fact that the complex numbers are algebraically closed is known as the "Fundamental Theorem of Algebra."
This leads to one of the main situations in which a non-mathematician might have encountered complex numbers in school. Many people learn the quadratic formula, which, given a quadratic equation of the form
says that the solutions of this equation are given by the pair of values
The first time one encounters this formula, they learn that the number \(b^2 - 4ac\) is called the discriminant, and that the quadratic equation has no solution if this value is negative, since one cannot take the square root of a negative number.
Of course, one can't take the square root of a negative number and obtain a real number, but we've seen that the complex numbers are specifically constructed so that we can take square roots of negative numbers. The imaginary unit \(i\) is after all defined to be \(\sqrt{-1}\). By expanding our number system and considering complex numbers, we can therefore see from this formula that all quadratic equations can be solved - we just have to use complex numbers for the solution in the case that the discriminant is negative. The Fundamental Theorem of Algebra, moreover, says that roots can be found for any polynomial, if one allows for complex number solutions.
Next Time - The Quaternions
With this understanding of the real and complex number system, we're ready to actually define the quaternions in the next post. We'll see that they are a four-dimensional extension of the complex numbers that has many of the same properties of the complex numbers, but with a few major differences as well.