Split-quaternion

Split-quaternion
Coquaternion multiplication
× 1 i j k
1 1 i j k
i i −1 k j
j j k +1 i
k k j i +1

In abstract algebra, the split-quaternions or coquaternions are elements of a 4-dimensional associative algebra introduced by James Cockle in 1849 under the latter name. Like the quaternions introduced by Hamilton in 1843, they form a four dimensional real vector space equipped with a multiplicative operation. Unlike the quaternion algebra, the split-quaternions contain zero divisors, nilpotent elements, and nontrivial idempotents. As a mathematical structure, they form an algebra over the real numbers, which is isomorphic to the algebra of 2 × 2 real matrices. The coquaternions came to be called split-quaternions due to the division into positive and negative terms in the modulus function. For other names for split-quaternions see the Synonyms section below.

The set {1,i,j,k} forms a basis. The products of these elements are

i j = k = -j i, \quad j k = -i = -k j, \quad k i = j = -i k,
i^2 = -1, \quad j^2 = +1, \quad k^2 = +1,

and hence ijk = 1. It follows from the defining relations that the set {1,i,j,k, − 1, − i, − j, − k} is a group under coquaternion multiplication; it is isomorphic to the dihedral group of a square.

A coquaternion

q~= w + x i + y j + z k

has a conjugate

q^* ~= w - x i - y j - z k

and multiplicative modulus

qq^* ~= w^2 + x^2 - y^2 - z^2.

This quadratic form is split into positive and negative parts, in contrast to the positive definite form on the algebra of quaternions.

When the modulus is non-zero, then q has a multiplicative inverse, namely q*/qq*.

U = \{q : qq^* \ne 0 \}

is the set of units. The set P of all coquaternions forms a ring (P, +, •) with group of units (U, •). The coquaternions with modulus qq* = 1 form a non-compact topological group SU(1,1), shown below to be isomorphic to SL(2,R).

The split-quaternion basis can be identified as the basis elements of either the Clifford algebra C1,1(R), with {1, e1=i, e2=j, e1e2=k}; or the algebra C2,0(R), with {1, e1=j, e2=k, e1e2=i}.

Historically coquaternions preceded Cayley's matrix algebra; coquaternions (along with quaternions and tessarines) evoked the broader linear algebra.

Contents

Matrix representations

Let

q = w + x i + y j + z k, ~ ~ u = w + x i, ~ ~ v = y + z i

where u and v are ordinary complex numbers. Then the complex matrix

\begin{pmatrix}u & v \\ v^* & u^* \end{pmatrix},

with u^* = w - x i\ ,\ v^* = y - z i (complex conjugates of u and v), represents q in the ring of matrices in the sense that multiplication of split-quaternions behaves the same way as the matrix multiplication. For example, the determinant of this matrix is

u u^* - v v^* = q q^*. \!

The appearance of the minus sign, where there is a plus in H, distinguishes coquaternions from quaternions. The use of the split-quaternions of modulus one (q q* = 1) for hyperbolic motions of the Poincaré disk model of hyperbolic geometry is one of the great utilities of the algebra.

Besides the complex matrix representation, another linear representation associates coquaternions with 2 × 2 real matrices. This isomorphism can be made explicit as follows: Note first the product

\begin{pmatrix} 0 & 1 \\ 1 & 0\end{pmatrix}\begin{pmatrix} 1 & 0 \\ 0 & -1\end{pmatrix} = \begin{pmatrix} 0 & -1 \\ 1 & 0\end{pmatrix}

and that the square of each factor on the left is the identity matrix, while the square of the right hand side is the negative of the identity matrix. Furthermore, note that these three matrices, together with the identity matrix, form a basis for M(2,R). One can make the matrix product above correspond to j k = −i in the coquaternion ring. Then for an arbitrary matrix there is the bijection

\begin{pmatrix} a & c \\ b & d\end{pmatrix} \leftrightarrow q = [(a+d) + (c-b)i + (b+c)j + (a-d)k]/2,

which is in fact a ring isomorphism. Furthermore, computing squares of components and gathering terms shows that q q^* = ad - bc \! , which is the determinant of the matrix. Consequently there is a group isomorphism between the unit quasi-sphere of coquaternions and SL2(R) = {g ∈ M(2,R) : det g = 1 }, and hence also with SU(1,1): the latter can be seen in the complex representation above.

For instance, see Karzel and Kist (1985) for the hyperbolic motion group representation with 2 × 2 real matrices.

Profile

The coquaternions may be given polar decomposition by delineation of subalgebras: Let

r(θ) = j cos θ + k sin θ (here θ is as fundamental as azimuth)
p(a, r) = i sinh a + r cosh a
v(a, r) = i cosh a + r sinh a

These are the equilateral-hyperboloidal coordinates described by Alexander Macfarlane.

Next, form three foundational sets in the vector-subspace of the ring:

E = { rP: r = r(θ), 0 ≤ θ < 2 π}
J = {p(a, r) ∈ P: aR, rE} catenoid
I = {v(a, r) ∈ P: aR, rE} hyperboloid of two sheets.

Now it is easy to verify that

{qP: q2 = + 1} = J ∪ {1, -1}

and that

{qP: q2 = −1} = I.

These set equalities mean that when pJ then the plane

{x + yp: x, yR} = Dp

is a subring of P that is isomorphic to the plane of split-complex numbers just as when v is in I then

{x + yv: x, yR} = Cv

is a planar subring of P that is isomorphic to the ordinary complex plane C.

Note that for every rE, (r + i)2 = 0 = (ri)2 so that r + i and ri are nilpotents. The plane N = {x + y(r + i): x, yR} is a subring of P that is isomorphic to the dual numbers. Since every coquaternion must lie in a Dp, a Cv, or an N plane, these planes profile P. For example, the unit quasi-sphere

SU(1, 1) = {qP: qq* = 1}

consists of the "unit circles" in the constituent planes of P: In Dp it is a unit hyperbola, in N the "unit circle" is a pair of parallel lines, while in Cv it is indeed a circle (though it appears elliptical due to v-stretching).These ellipse/circles found in each Cv are like the illusion of the Rubin vase which "presents the viewer with a mental choice of two interpretations, each of which is valid".

Pan-orthogonality

When coquaternion q = w + xi + yj + zk, then the scalar part of q is w.
Definition: For non-zero coquaternions q and t we write q ⊥ t when the scalar part of the product q(t * ) is zero.

  • For every vI, if q, tCv, then qt means the rays from 0 to q and t are perpendicular.
  • For every pJ, if q, tDp, then qt means these two points are hyperbolic-orthogonal.
  • For every rE and every aR, p = p(a, r) and v = v(a, r) satisfy pv.
  • If u is a unit in the coquaternion ring, then qt implies qutu.
Proof: (qu)(tu) * = (uu * )q(t * ) follows from (tu) * = u * t * , which can be established using the anticommutativity property of vector cross products.

Counter-sphere geometry

Take m = x + yi + zr where r~= j \cos \theta + k \sin \theta. Fix theta (θ) and suppose

mm * = − 1 = x2 + y2z2.

Since points on the counter-sphere must line on a counter-circle in some plane DpP, m can be written, for some pJ

m~= p \exp{(bp)} = \sinh b + p \cosh b = \sinh b + i \sinh a~\cosh b + r \cosh a~\cosh b.

Let φ be the angle between the hyperbolas from r to p and m. This angle can be viewed, in the plane tangent to the counter-sphere at r, by projection:

\tan \phi = \frac{x}{y} = \frac{\sinh b}{\sinh a ~\cosh b} = \frac{\tanh b}{\sinh a}.

As b gets large, tanh b nears one. Then tan φ = 1/sinh a . This appearance of the angle of parallelism in a meridian θ inclines one to expect to see the counter- sphere unfold as the manifold S1 × H2 where H2 is the hyperbolic plane .

Application to kinematics

By using the foundations given above, one can show that the mapping

q \mapsto u^{-1}q u

is an ordinary or hyperbolic rotation according as

u = e^{av} ,\quad v \in I \quad \text{or}\quad u = e^{ap} ,\quad p \in J .

These mappings are projectivities in the inversive ring geometry of coquaternions. The collection of these mappings bears some relation to the Lorentz group since it is also composed of ordinary and hyperbolic rotations. Among the peculiarities of this approach to relativistic kinematic is the anisotropic profile, say as compared to hyperbolic quaternions.

Reluctance to use coquaternions for kinematic models may stem from the (2, 2) signature when spacetime is presumed to have signature (1, 3) or (3, 1). Nevertheless, a transparently relativistic kinematics appears when a point of the counter-sphere is used to represent an inertial frame of reference. Indeed, if tt * = − 1, then there is a p = i sinh(a) + r cosh(a) ∈ J such that tDp, and an bR such that t = p exp(bp). Then if u = exp(bp), v = i cosh(a) + r sinh(a), and s = ir, the set {t, u, v, s} is a pan-orthogonal basis stemming from t, and the orthogonalities persist through applications of the ordinary or hyperbolic rotations.

Historical notes

The coquaternions were initially introduced (under that name) in 1849 by James Cockle in the London–Edinburgh–Dublin Philosophical Magazine (Cockle 1849). The introductory papers by Cockle were recalled in the 1904 Bibliography of the Quaternion Society. Alexander Macfarlane called the structure of coquaternion vectors an exspherical system when he was speaking at the International Congress of Mathematicians in Paris in 1900.

The unit sphere was considered in 1910 by Hans Beck (Beck 1910: e.g., the dihedral group appears on page 419). The coquaternion structure has also been mentioned briefly in the Annals of Mathematics (Albert 1942, Bargmann 1947).

Synonyms

  • Para-quaternions (Ivanov and Zamkovoy 2005, Mohaupt 2006) Manifolds with para-quaternionic structures are studied in differential geometry and string theory. In the para-quaternionic literature k is replaced with −k.
  • Musean hyperbolic quaternions
  • Exspherical system (Macfarlane 1900)
  • Split-quaternions (Rosenfeld 1988)
  • Antiquaternions (Rosenfeld 1988)
  • Pseudoquaternions (Rosenfeld 1988)

See also

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Split-octonion — In mathematics, the split octonions are a nonassociative extension of the quaternions (or the split quaternions). They differ from the octonions in the signature of quadratic form: the split octonions have a split signature (4,4) whereas the… …   Wikipedia

  • Quaternion — Quaternions, in mathematics, are a non commutative extension of complex numbers. They were first described by the Irish mathematician Sir William Rowan Hamilton in 1843 and applied to mechanics in three dimensional space. They find uses in both… …   Wikipedia

  • Split-complex number — A portion of the split complex number plane showing subsets with modulus zero (red), one (blue), and minus one (green). In abstract algebra, the split complex numbers (or hyperbolic numbers) are a two dimensional commutative algebra over the real …   Wikipedia

  • Quaternion algebra — In mathematics, a quaternion algebra over a field, F , is a particular kind of central simple algebra, A , over F , namely such an algebra that has dimension 4, and therefore becomes the 2 times;2 matrix algebra over some field extension of F ,… …   Wikipedia

  • Split-biquaternion — In mathematics, a split biquaternion is a hypercomplex number of the form where w, x, y, and z are split complex numbers and i, j, and k multiply as in the quaternion group. Since each coefficient w, x, y, z spans two real dimensions, the split… …   Wikipedia

  • Hyperbolic quaternion — In mathematics, a hyperbolic quaternion is a mathematical concept first suggested by Alexander MacFarlane in 1891 in a speech to the American Association for the Advancement of Science. The idea was criticized for its failure to conform to… …   Wikipedia

  • Dual quaternion — The set of dual quaternions is an algebra that can be used to represent spatial rigid body displacements.[1] A dual quaternion is an ordered pair of quaternions  = (A, B) and therefore is constructed from eight real parameters. Because rigid… …   Wikipedia

  • Versor — In mathematics, a versor is a directed great circle arc that corresponds to a quaternion of norm one. In geometry and physics, a versor is sometimes defined as a unit vector indicating the orientation of a directed axis (such as a Cartesian axis) …   Wikipedia

  • Musean hypernumber — Musean hypernumbers are an algebraic concept envisioned by Charles A. Musès (1919–2000) to form a complete, integrated, connected, and natural number system.[1][2][3][4][5] Musès sketched certain fundamental types of hypernumbers and a …   Wikipedia

  • Quotient ring — In mathematics a quotient ring, also known as factor ring or residue class ring, is a construction in ring theory, quite similar to the factor groups of group theory and the quotient spaces of linear algebra. One starts with a ring R and a two… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”