I know imaginary numbers solve $x^2 +1=0$, but what is the motivation for quaternions?
$\begingroup$
$\endgroup$
6
asked Aug 28, 2014 at 7:56
-
24$\begingroup$ Computer graphics. Hamilton was a visionary. $\endgroup$– user117644Aug 28, 2014 at 8:11
-
10$\begingroup$ Frankly, after the complexes, the idea that solving equations is the primary motivation for number systems breaks down. You can be forgiven for thinking that since apparently that seems to be the primary motivation given in schools... $\endgroup$– rschwiebAug 28, 2014 at 10:13
-
9$\begingroup$ He wanted something that his students couldn't search on Wikipedia for their homework assignment. $\endgroup$– Asaf Karagila ♦Aug 28, 2014 at 10:20
-
1$\begingroup$ From the horse's mouth: maths.tcd.ie/pub/HistMath/People/Hamilton/Letters/… and maths.tcd.ie/pub/HistMath/People/Hamilton/QLetter/QLetter.pdf $\endgroup$– user64687Aug 28, 2014 at 13:12
-
3$\begingroup$ @Asal: When the donkey claims something came from the horse's mouth, I'm not sure if that's a good thing. :-) $\endgroup$– Asaf Karagila ♦Aug 28, 2014 at 17:55
|
Show 1 more comment
6 Answers
$\begingroup$
$\endgroup$
7
Hamilton (and Graves) wanted to generalize $\mathbb C$ - if viewed as $\mathbb R^2$ with a multiplication that turns it into a field with a multiplicative absolute value. They were looking for something similar in $\mathbb{R}^n$ for $n>2$. It turns out that Hamilton spent 13 years in vain with $n=3$ although it was essentially known since Diophantus that what he was looking for was impossible. He finally figured out that he could succeed for $n=4$ if he gave up commutativity.
(This is a short summary of chapter 20 of Stillwell's wonderful "Mathematics and Its History".)
-
3$\begingroup$ Just for information, if memory serves me correctly the last line (which is pretty illegible here) reads "...and carved it on a stone of this bridge". $\endgroup$– user64687Aug 28, 2014 at 13:07
-
2
-
8$\begingroup$ @metacompactness: "Multiplicative absolute value" above means that you want multiplication to be defined such that $|\mathbf x_1|\cdot|\mathbf x_2|=|\mathbf x_1{\color{red}\cdot}\mathbf x_2|$ holds for all $\mathbf x_i \in \mathbb{R}^3$ no matter how $\color{red}\cdot$ is defined. So, if $(a_1,a_2,a_3){\color{red}\cdot}(b_1,b_2,b_3)$ where defined to be $(C_1,C_2,C_3)$ with the $C_i$ being arbitrary terms depending on the $a_i$ and $b_i$, then by squaring $(a_1^2+a_2^2+a_3^2)(b_1^2+b_2^2+b_3^2)=C_1^2+C_2^2+C_3^2$, but e.g. $15=(1^2+1^2+1^2)\cdot(0^2+1^2+2^2)$ is not the sum of three squares. $\endgroup$ Aug 28, 2014 at 14:05
-
6$\begingroup$ @Frunobulax does that argument really work? If the $C_i$ are truly arbitrary functions of the $a_i$ and $b_i$, then they don't necessarily have to be integers. $\endgroup$ Aug 28, 2014 at 20:31
-
1$\begingroup$ @metacompactness: Suppose each number was expressed as $a_0+a_1i+a_2j$. Then letting $ij=a_0+a_1i+a_2j$ and multiplying on both sides by $i$ using field axioms shows that $j$ is a complex number. So unless we drop some of the field axioms we cannot get anything beyond complex numbers. $\endgroup$– user10575Aug 29, 2014 at 9:33
$\begingroup$
$\endgroup$
4
With the complex numbers in hand, it's natural to wonder what other systems of numbers containing the real numbers one might have. Before constructing the quaternions, Hamilton tried in vain to construct a $3$-dimensional system; it turns out that this is impossible, and you can see a reproduction of Hamilton's own proof in this recent question: Why should I consider the components $j^2$ and $k^2$ to be $=-1$ in the search for quaternions?
In fact, if you require that your "number system" be a division algebra (over the real numbers), it turns out that there are just four such systems: the real numbers, the complex numbers, the quaternions, and the octonions, so each of these is quite special. John Baez' paper "The Octonions" is a superb starting place for exploring this circle of ideas.
(NB there are plenty of interesting "number systems containing the real numbers", i.e., finite-dimensional algebras over $\mathbb{R}$; in other words, division algebras are not the only interesting thing we can ask for.)
answered Aug 28, 2014 at 8:16
-
5$\begingroup$ +1 Just feel like remarking that insisting on having a division algebra is not a problem at all, if you don't insist that it contains the reals. For example over rationals there are infinitely many non-isomorphic non-commutative division algebras of dimensions 4,9,16,25,... (any square will do) with center $\Bbb{Q}$. The problems begin when you combine the requirements of division algebra and contains $\Bbb{R}$. $\endgroup$ Aug 28, 2014 at 12:50
-
$\begingroup$ @JyrkiLahtonen Hmm that's interesting: can you point me toward consructions of these finite dimensional division algebras over $\Bbb Q$? With all the finite field extensions of $\Bbb Q$ available, I guess I never sat down to think about the division ring extensions :) $\endgroup$– rschwiebAug 28, 2014 at 12:57
-
2$\begingroup$ @rscwieb: Class field theory includes results (Grunwald-Wang and Albert-Brauer-Hasse-Noether) telling that the division algebras over a number field are all cyclic division algebras. The structure of cyclic algebras as well as the condition for them to be division algebras together with examples are outlined in Matt Emerton's answer and an answer by yours truly. I picked up this bit of theory from N.Jacobson's Basic Algebra II, chapter 8. $\endgroup$ Aug 28, 2014 at 13:05
-
2$\begingroup$ I'll point out that you can instead weaken the requirement of having a division algebra over the reals by asking for a composition algebra. Here we allow zero divisors in our rings, and we still require a quadratic form that respects multiplication, but we don't ask for it to be positive. What's interesting is that this weakening only allows for three more algebras over $\mathbb{R}$, namely, the split complex numbers, the split quaternions, and the split octonions, the lattermost of which has attracted a good deal of attention in the field of geometric structures in the last few years. $\endgroup$ Aug 28, 2014 at 13:12
$\begingroup$
$\endgroup$
$\qquad\qquad\qquad\qquad\qquad$ What is the motivation for quaternions?
Hamilton knew that the complex numbers could be interpreted as points in a plane, and he was looking for a way to do the same for points in three-dimensional space. However, $[$he$]$ had been stuck on the problem of multiplication and division for a long time. He could not figure out how to calculate the quotient of the coordinates of two points in space.
$\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad$ — Quaternions: History
$\quad$ In $1843$, Hamilton knew that the complex numbers could be viewed as points in a plane and that they could be added and multiplied together using certain geometric operations. $~$ Hamilton sought to find a way to do the same for points in space. But $[$he$]$ had been stuck on defining the appropriate multiplication. According to a letter Hamilton wrote later to his son Archibald:
$\quad$ Every morning in the early part of October $1843$, on my coming down to breakfast, your brother William Edward and yourself used to ask me: "Well, Papa, can you multiply triples?" Whereto I was always obliged to reply, with a sad shake of the head, "No, I can only add and subtract them."
$\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\quad$ — History of Quaternions: Hamilton's Discovery
$\begingroup$
$\endgroup$
Two important applications come to mind:
- They model rotations of the sphere, much like the complex numbers model rotations of the circle.
You can get the four squares theorem, that every integer $n$ can be represented as $n=a^2+b^2+c^2+d^2$ for some integers $a,b,c,d \geq 0$, using unique factorization-like properties of the quaternions. This has to do with thinking of the norm of a quaternion $N(a+bi+cj+dk):= (a+bi+cj+dk)(a-bi-cj-dk) = a^2+b^2+c^2+d^2$.
Similarly, you can prove that in any commutative ring $R$, if $a$ and $b$ are each the sum of four squares, then $ab$ is the sum of four squares, using an algebraic identity that actually doesn't involve the quaternions, but is completely absurd to discover except by proving that for quaternions $N(\alpha\beta) = N(\alpha)N(\beta)$.
In short, they have both important geometric and algebraic properties, particularly at the intersection.
$\begingroup$
$\endgroup$
A modern motivation is to model 3D orientation and rotation in computer graphics. If you use the simple model of Euler angles, you may run into a problem: gimbal lock. Quaternions (and rotation matrices) avoid this.
answered Aug 29, 2014 at 9:05
$\begingroup$
$\endgroup$
4
Complex numbers do indeed enable us to solve certain previously unsolvable condition equations; but that is not the motivation for them. It is unfortunately common to confuse application with motivation.
Complex numbers extends the idea of quantity as algebraically-expressed-location to two dimensions after "negation" introduces it in one dimension.
The obvious next extension is to three dimensions; but alas, the same neat properties from one and two dimensions don't hold in three dimensions, as related by others above. That doesn't mean three dimensions is uninteresting; but just that this notational device for representation is less interesting.
-
1$\begingroup$ Do you mean the historical motivation? I would consider applications to be very motivating. $\endgroup$ Aug 29, 2014 at 9:17
-
3$\begingroup$ Historically, complex numbers were discovered/invented in order to solve cubic equations. $\endgroup$– M.MAug 29, 2014 at 11:46
-
$\begingroup$ One, application is frequently motivation. Two, I don't understand the rest of this answer. What's quantity as algebraically-expressed-location to two dimensions after "negation"? $\endgroup$– djechlinOct 13, 2015 at 19:17
-
$\begingroup$ @djechlin My understanding is that the construction of natural numbers does not create the real line; integers must first be constructed such that positive quantities have additive inverses. After construction of the rationals and reals, the real number line contains positive quantities and negative quantities in a single dimension. The imaginary axis orthogonal to the real line adds a second dimension; both dimensions establish the complex plane. $\endgroup$ Dec 31, 2018 at 15:05