Quaternion

In mathematics, the quaternions are a amount arrangement that extends the circuitous numbers. They were aboriginal declared by Irish mathematician Sir William Rowan Hamilton in 184312 and activated to mechanics in three-dimensional space. A affection of quaternions is that the artefact of two quaternions is noncommutative. Hamilton authentic a quaternion as the caliber of two directed curve in a three-dimensional space3 or analogously as the caliber of two vectors.4 Quaternions can aswell be represented as the sum of a scalar and a vector.

Quaternions acquisition uses in both abstract and activated mathematics, in accurate for calculations involving three-dimensional rotations such as in three-dimensional computer cartoon and computer vision. They can be acclimated alongside added methods, such as Euler angles and circling matrices, or as an another to them depending on the application.

In avant-garde algebraic language, quaternions anatomy a four-dimensional akin normed assay algebra over the absolute numbers, and appropriately aswell anatomy a domain. In fact, the quaternions were the aboriginal noncommutative assay algebra to be discovered.5 The algebra of quaternions is generally denoted by H (for Hamilton), or in blackboard adventurous by (Unicode U+210D, ℍ). It can aswell be accustomed by the Clifford algebra classifications Cℓ0,2(R) ≅ Cℓ03,0(R). The algebra H holds a appropriate abode in assay since, according to the Frobenius theorem, it is one of alone two finite-dimensional assay rings absolute the absolute numbers as a able subring, the added getting the circuitous numbers.

The assemblage quaternions can accordingly be anticipation of as a best of a accumulation anatomy on the 3-sphere that gives the accumulation Spin(3), which is isomorphic to SU(2) and aswell to the accepted awning of SO(3).

History

Quaternion algebra was alien by Irish mathematician Sir William Rowan Hamilton in 1843.6 Important precursors to this plan included Euler's four-square character (1748) and Olinde Rodrigues' parameterization of accepted rotations by four ambit (1840), but neither of these writers advised the four-parameter rotations as an algebra.78 Carl Friedrich Gauss had aswell apparent quaternions in 1819, but this plan was not appear until 1900.9

Hamilton knew that the circuitous numbers could be interpreted as credibility in a plane, and he was searching for a way to do the aforementioned for credibility in three-dimensional space. Credibility in amplitude can be represented by their coordinates, which are triples of numbers, and for abounding years Hamilton had accepted how to add and decrease triples of numbers. However, Hamilton had been ashore on the botheration of multiplication and assay for a connected time. He could not amount out how to account the caliber of the coordinates of two credibility in space.

The abundant advance in quaternions assuredly came on Monday 16 October 1843 in Dublin, if Hamilton was on his way to the Royal Irish Academy area he was traveling to administer at a board meeting. While walking alternating the towpath of the Royal Canal with his wife, the concepts abaft quaternions were demography appearance in his mind. If the acknowledgment dawned on him, Hamilton could not abide the appetite to carve the blueprint for the quaternions

into the rock of Brougham Arch as he paused on it.

On the afterward day, Hamilton wrote a letter to his acquaintance and adolescent mathematician, John T. Graves, anecdotic the alternation of anticipation that led to his discovery. This letter was afterwards appear in the London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science, vol. xxv (1844), pp 489–95. On the letter, Hamilton states,

And actuality there dawned on me the angle that we accept to admit, in some sense, a fourth ambit of amplitude for the purpose of artful with triples ... An electric ambit seemed to close, and a atom flashed forth.

Hamilton alleged a quadruple with these rules of multiplication a quaternion, and he adherent a lot of of the butt of his activity to belief and teaching them. He founded a academy of "quaternionists", and he approved to popularize quaternions in several books. The endure and longest of his books, Elements of Quaternions, was 800 pages connected and was appear anon afterwards his death.

After Hamilton's death, his apprentice Peter Tait connected announcement quaternions. At this time, quaternions were a binding assay affair in Dublin. Topics in physics and geometry that would now be declared application vectors, such as kinematics in amplitude and Maxwell's equations, were declared absolutely in agreement of quaternions. There was even a able assay association, the Quaternion Society, adherent to the abstraction of quaternions and added hypercomplex amount systems.

From the mid-1880s, quaternions began to be displaced by agent analysis, which had been developed by Josiah Willard Gibbs, Oliver Heaviside, and Hermann von Helmholtz. Agent assay declared the aforementioned phenomena as quaternions, so it adopted some account and analogue abundantly from the abstract of quaternions. However, agent assay was conceptually simpler and notationally cleaner, and eventually quaternions were relegated to a accessory role in mathematics and physics. A side-effect of this alteration is that Hamilton's plan is difficult to appreciate for abounding avant-garde readers. Hamilton's aboriginal definitions are alien and his autograph appearance was prolix and opaque.

However, quaternions accept had a awakening back the backward 20th Century, primarily due to their account in anecdotic spatial rotations. The representations of rotations by quaternions are added bunched and quicker to compute than the representations by matrices. In addition, clashing Euler angles they are not affected to gimbal lock. For this reason, quaternions are acclimated in computer graphics,10 computer vision, robotics, ascendancy theory, arresting processing, attitude control, physics, bioinformatics, atomic dynamics, computer simulations, and alternate mechanics. For example, it is accepted for the attitude-control systems of aircraft to be allowable in agreement of quaternions. Quaternions accept accustomed addition addition from amount approach because of their relationships with the boxlike forms.

Since 1989, the Department of Mathematics of the National University of Ireland, Maynooth has organized a pilgrimage, area scientists (including the physicists Murray Gell-Mann in 2002, Steven Weinberg in 2005, and the mathematician Andrew Wiles in 2003) yield a airing from Dunsink Observatory to the Royal Canal arch area no trace of Hamilton's abstraction remains.

Definition

As a set, the quaternions H are according to R4, a four-dimensional agent amplitude over the absolute numbers. H has three operations: addition, scalar multiplication, and quaternion multiplication. The sum of two elements of H is authentic to be their sum as elements of R4. Similarly the artefact of an aspect of H by a absolute amount is authentic to be the aforementioned as the artefact in R4. To ascertain the artefact of two elements in H requires a best of base for R4. The elements of this base are commonly denoted as 1, i, j, and k. Every aspect of H can be abnormally accounting as a beeline aggregate of these base elements, that is, as a1 + bi + cj + dk, area a, b, c, and d are absolute numbers. The base aspect 1 will be the character aspect of H, acceptation that multiplication by 1 does nothing, and for this reason, elements of H are usually accounting a + bi + cj + dk, suppressing the base aspect 1. Accustomed this basis, akin quaternion multiplication is authentic by aboriginal defining the articles of base elements and again defining all added articles application the distributive law.

editMultiplication of base elements

The equations

where i, j, and k are base elements of H, actuate all the accessible articles of i, j, and k. For example, since

right-multiplying both abandon by k gives

All the added accessible articles can be bent by agnate methods, consistent in

which can be bidding as a table whose rows represent the larboard agency of the artefact and whose columns represent the appropriate factor, as apparent at the top of this article.

editHamilton product

For two elements a1 + b1i + c1j + d1k and a2 + b2i + c2j + d2k, their Hamilton artefact (a1 + b1i + c1j + d1k)(a2 + b2i + c2j + d2k) is bent by the articles of the base elements and the distributive law. The distributive law makes it accessible to aggrandize the artefact so that it is a sum of articles of base elements. This gives the afterward expression:

Now the base elements can be assorted application the rules accustomed aloft to get:6

editOrdered account form

Using the base 1, i, j, k of H makes it accessible to address H as a set of quadruples:

Then the base elements are:

and the formulas for accession and multiplication are:

and

editScalar and agent parts

A amount of the anatomy a + 0i + 0j + 0k, area a is a absolute number, is alleged real, and a amount of the anatomy 0 + bi + cj + dk, area b, c, and d are absolute numbers, and at atomic one of b, c or d is nonzero, is alleged authentic imaginary. If a + bi + cj + dk is any quaternion, again a is alleged its scalar allotment and bi + cj + dk is alleged its agent part. The scalar allotment of a quaternion is consistently real, and the agent allotment is consistently authentic imaginary. Even admitting every quaternion is a agent in a four-dimensional agent space, it is accepted to ascertain a agent to beggarly a authentic abstract quaternion. With this convention, a agent is the aforementioned as an aspect of the agent amplitude R3.

Hamilton alleged authentic abstract quaternions appropriate quaternions1112 and absolute numbers (considered as quaternions with aught agent part) scalar quaternions.

If a quaternion is disconnected up into a scalar allotment and a agent part, i.e.

then the formulas for accession and multiplication are:

and

where "·" is the dot artefact and "×" is the cantankerous product.

editRemarks

editNoncommutativity of multiplication

Unlike multiplication of absolute or circuitous numbers, multiplication of quaternions is not commutative: For example, , while . The noncommutativity of multiplication has some abrupt consequences, a allotment of them that polynomial equations over the quaternions can accept added audible solutions than the amount of the polynomial. The blueprint , for instance, has always abounding quaternion solutions with , so that these solutions lie on the two-dimensional apparent of a apple centered on aught in the three-dimensional subspace of quaternions with aught absolute part. This apple intersects the circuitous even at two credibility i and −i.

The actuality that quaternion multiplication is not capricious makes the quaternions an often-cited archetype of a carefully skew field.

editHistorical appulse on physics

P.R. Girard’s article The quaternion accumulation and avant-garde physics13 discusses some roles of quaternions in physics. It "shows how assorted concrete covariance groups: SO(3), the Lorentz group, the accepted relativity group, the Clifford algebra SU(2), and the conformal accumulation can be readily accompanying to the quaternion group" in avant-garde algebra. Girard began by discussing accumulation representations and by apery some amplitude groups of crystallography. He proceeded to kinematics of adamant physique motion. Next he acclimated circuitous quaternions (biquaternions) to represent the Lorentz accumulation of appropriate relativity, including the Thomas precession. He cited 5 authors, alpha with Ludwik Silberstein who use a abeyant action of one quaternion capricious to accurate Maxwell's equations in a individual cogwheel equation. Concerning accepted relativity, he bidding the Runge–Lenz vector. He mentioned the Clifford biquaternions (split-biquaternions) as an instance of Clifford algebra. Finally, invoking the alternate of a biquaternion, Girard declared conformal maps on spacetime. A allotment of the fifty references, Girard included Alexander Macfarlane and his Bulletin of the Quaternion Society. In 1999 he showed how Einstein's equations of accepted relativity could be formulated aural a Clifford algebra that is anon affiliated to quaternions.14

A added claimed appearance of quaternions was accounting by Joachim Lambek in 1995. He wrote in his article If Hamilton had prevailed: quaternions in physics: "My own absorption as a alum apprentice was aloft by the alarming book by Silberstein". He assured by advertence "I durably accept that quaternions can accumulation a adjustment for authentic mathematicians who ambition to accustom themselves with assertive aspects of abstract physics."15

In 2007, Alexander P. Yefremov and co-workers showed that quaternion amplitude geometry is carefully affiliated to the Yang–Mills acreage and acicular out access to the Duffin–Kemmer–Petiau blueprint and the Klein–Gordon equation.16

editSums of four squares

Main article: Lagrange's four-square theorem

Quaternions are aswell acclimated in one of the proofs of Lagrange's four-square assumption in amount theory, which states that every nonnegative accumulation is the sum of four accumulation squares. As able-bodied as getting an affected assumption in its own right, Lagrange's four aboveboard assumption has advantageous applications in areas of mathematics alfresco amount theory, such as combinatorial architecture theory. The quaternion-based affidavit uses Hurwitz quaternions, a subring of the ring of all quaternions for which there is an analog of the Euclidean algorithm.

Conjugation, the norm, and reciprocal

Conjugation of quaternions is akin to alliance of circuitous numbers and to barter (also accepted as reversal) of elements of Clifford algebras. To ascertain it, let q = a +bi +cj + dk be a quaternion. The conjugate of q is the quaternion a − bi − cj − dk. It is denoted by q*, ,6 qt, or . Alliance is an involution, acceptation that it is its own inverse, so conjugating an aspect alert allotment the aboriginal element. The conjugate of a artefact of two quaternions is the artefact of the conjugates in the about-face order. That is, if p and q are quaternions, again (pq)* = q*p*, not p*q*.

Unlike the bearings in the circuitous plane, the alliance of a quaternion can be bidding absolutely with multiplication and addition:

Conjugation can be acclimated to abstract the scalar and agent locations of a quaternion. The scalar allotment of p is (p + p*)/2, and the agent allotment of p is (p − p*)/2.

The aboveboard basis of the artefact of a quaternion with its conjugate is alleged its barometer and is denoted ||q||. (Hamilton alleged this abundance the tensor of q, but this conflicts with avant-garde usage. See tensor.) It has the formula

This is consistently a non-negative complete number, and it is the aforementioned as the Euclidean barometer on H advised as the agent amplitude R4. Multiplying a quaternion by a complete amount scales its barometer by the complete amount of the number. That is, if α is real, then

This is a appropriate case of the actuality that the barometer is multiplicative, acceptation that

for any two quaternions p and q. Multiplicativity is a aftereffect of the blueprint for the conjugate of a product. Alternatively multiplicativity follows anon from the agnate acreage of determinants of aboveboard matrices and the formula

where i denotes the accepted abstract unit.

This barometer makes it accessible to ascertain the ambit d(p, q) amid p and q as the barometer of their difference:

This makes H into a metric space. Addition and multiplication are connected in the metric topology.

A assemblage quaternion is a quaternion of barometer one. Dividing a non-zero quaternion q by its barometer produces a assemblage quaternion Uq alleged the versor of q:

Every quaternion has a arctic atomization q = ||q|| Uq.

Using alliance and the barometer makes it accessible to ascertain the alternate of a quaternion. The artefact of a quaternion with its alternate should according 1, and the considerations aloft betoken that the artefact of and (in either order) is 1. So the alternate of q is authentic to be

This makes it accessible to bisect two quaternions p and q in two altered ways. That is, their caliber can be either p q −1 or q −1 p. The characters is cryptic because it does not specify whether q divides on the larboard or the right.

Algebraic properties

The set H of all quaternions is a agent amplitude over the absolute numbers with ambit 4. (In comparison, the absolute numbers accept ambit 1, the circuitous numbers accept ambit 2, and the octonions accept ambit 8.) The quaternions accept a multiplication that is akin and that distributes over agent addition, but which is not commutative. Therefore the quaternions H are a non-commutative akin algebra over the absolute numbers. Even admitting H contains copies of the circuitous numbers, it is not an akin algebra over the circuitous numbers.

Because it is accessible to bisect quaternions, they anatomy a analysis algebra. This is a anatomy agnate to a acreage except for the commutativity of multiplication. Finite-dimensional akin analysis algebras over the absolute numbers are actual rare. The Frobenius assumption states that there are absolutely three: R, C, and H. The barometer makes the quaternions into a normed algebra, and normed analysis algebras over the reals are aswell actual rare: Hurwitz's assumption says that there are alone four: R, C, H, and O (the octonions). The quaternions are aswell an archetype of a agreement algebra and of a unital Banach algebra.

Because the artefact of any two base vectors is additional or bare addition base vector, the set {±1, ±i, ±j, ±k} forms a accumulation beneath multiplication. This accumulation is alleged the quaternion accumulation and is denoted Q8.17 The absolute accumulation ring of Q8 is a ring RQ8 which is aswell an eight-dimensional agent amplitude over R. It has one base agent for anniversary aspect of Q8. The quaternions are the caliber ring of RQ8 by the ideal generated by the elements 1 + (−1), i + (−i), j + (−j), and k + (−k). Here the aboriginal appellation in anniversary of the differences is one of the base elements 1, i, j, and k, and the additional appellation is one of base elements −1, −i, −j, and −k, not the accretion inverses of 1, i, j, and k.

Quaternions and the geometry of R3

Because the agent allotment of a quaternion is a agent in R3, the geometry of R3 is reflected in the algebraic anatomy of the quaternions. Many operations on vectors can be authentic in agreement of quaternions, and this makes it accessible to administer quaternion techniques wherever spatial vectors arise. For instance, this is accurate in electrodynamics and 3D computer graphics.

For the butt of this section, i, j, and k will denote both imaginary18 base vectors of H and a base for R3. Notice that replacing i by −i, j by −j, and k by −k sends a agent to its accretion inverse, so the accretion changed of a agent is the aforementioned as its conjugate as a quaternion. For this reason, alliance is sometimes alleged the spatial inverse.

Choose two abstruse quaternions p = b1i + c1j + d1k and q = b2i + c2j + d2k. Their dot artefact is

This is according to the scalar locations of p*q, qp*, pq*, and q*p. (Note that the agent locations of these four articles are different.) It aswell has the formulas

The cantankerous artefact of p and q about to the acclimatization bent by the ordered base i, j, and k is

(Recall that the acclimatization is all-important to actuate the sign.) This is according to the agent allotment of the artefact pq (as quaternions), as able-bodied as the agent allotment of −q*p*. It aswell has the formula

In general, let p and q be quaternions (possibly non-imaginary), and write

where ps and qs are the scalar locations of p and q and and are the agent locations of p and q. Then we accept the formula

This shows that the noncommutativity of quaternion multiplication comes from the multiplication of authentic abstruse quaternions. It aswell shows that two quaternions drive if and alone if their agent locations are collinear.

For added accession on clay three-dimensional vectors application quaternions, see quaternions and spatial rotation.

editMatrix representations

Just as circuitous numbers can be represented as matrices, so can quaternions. There are at atomic two means of apery quaternions as matrices in such a way that quaternion accession and multiplication accord to cast accession and cast multiplication. One is to use 2×2 circuitous matrices, and the added is to use 4×4 absolute matrices. In anniversary case, the representation accustomed is one of a ancestors of linearly accompanying representations. In the analogue of abstruse algebra, these are injective homomorphisms from H to the cast rings M2(C) and M4(R), respectively.

Using 2×2 circuitous matrices, the quaternion a + bi + cj + dk can be represented as

This representation has the afterward properties:

Complex numbers (c = d = 0) accord to askew matrices.

The barometer of a quaternion (the aboveboard basis of a artefact with its conjugate, as with circuitous numbers) is the aboveboard basis of the account of the agnate matrix.19

The conjugate of a quaternion corresponds to the conjugate alter of the matrix.

Restricted to assemblage quaternions, this representation provides an isomorphism amid S3 and SU(2). The closing accumulation is important for anecdotic circuit in breakthrough mechanics; see Pauli matrices.

Using 4×4 absolute matrices, that aforementioned quaternion can be accounting as

In this representation, the conjugate of a quaternion corresponds to the alter of the matrix. The fourth ability of the barometer of a quaternion is the account of the agnate matrix. Circuitous numbers are block askew matrices with two 2×2 blocks.

Quaternions as pairs of complex numbers

Quaternions can be represented as pairs of circuitous numbers. From this perspective, quaternions are the aftereffect of applying the Cayley–Dickson architecture to the circuitous numbers. This is a generalization of the architecture of the circuitous numbers as pairs of absolute numbers.

Let C2 be a two-dimensional agent amplitude over the circuitous numbers. Choose a base consisting of two elements 1 and j. A agent in C2 can be accounting in agreement of the base elements 1 and j as

If we ascertain j2 = −1 and ij = −ji, again we can accumulate two vectors application the distributive law. Writing k in abode of the artefact ij leads to the aforementioned rules for multiplication as the accepted quaternions. Therefore the aloft agent of circuitous numbers corresponds to the quaternion a + bi + cj + dk. If we address the elements of C2 as ordered pairs and quaternions as quadruples, again the accord is