Dictionary of Meaning

<<Back
Please select a letter:
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0-9

Split-complex number

*** Shopping-Tip: Split-complex number
In mathematics, the '''split-complex numbers''' are an extension of the real numbers defined analogously to the complex numbers. The main geometric difference between the two is that whereas multiplication of complex numbers respects the standard (square) Euclidean norm (''x''² + ''y''²) on '''R'''², multiplication of split-complex numbers respects the (square) Minkowski norm (''x''² − ''y''²). Algebraically, the split-complex numbers are less interesting than the complex numbers due to the fact that the split-complex numbers have nilpotents and therefore do not form a field (mathematics) field (let alone an algebraically closed field). Split-complex numbers have many other names; see the #Synonyms synonyms section below. The name ''split'' comes from the fact that metric signature signatures of the form (''p'',''p'') are called ''split signatures''. In other words, the split-complex numbers are similar to complex numbers but in the split signature (1,1).

Definition
A split-complex number is one of the form :''z'' = ''x'' + ''j y'' where ''x'' and ''y'' are real numbers and the quantity ''j'' satisfies :''j''² = +1. Choosing ''j''² = −1 results in the complex numbers. It is this sign change which distinguishes the split-complex numbers from the complex ones. The quantity ''j'' here is not a real number but an independent quantity; that is, it is not equal to ±1. The collection of all such ''z'' is called the ''split-complex plane''. Addition and multiplication of split-complex numbers are defined by :(''x'' + ''j y'') + (''u'' + ''j v'') = (''x'' + ''u'') + ''j''(''y'' + ''v'') :(''x'' + ''j y'')(''u'' + ''j v'') = (''xu'' + ''yv'') + ''j''(''xv'' + ''yu''). This multiplication is commutative, associative and distributive distributes over addition.

Conjugate, norm, and inner product
Just as for complex numbers, one can define the notion of a ''split-complex conjugate''. If :''z'' = ''x'' + ''j y'' the conjugate of ''z'' is defined as :''z''* = ''x'' − ''j y''. The conjugate satisfies similar properties to usual complex conjugate. Namely, :(''z'' + ''w'')* = ''z''* + ''w''* :(''zw'')* = ''z''*''w''* :(''z''*)* = ''z''. These three properties imply that the split-complex conjugate is an automorphism of order (group theory) order 2. The ''square norm'' (or quadratic form) of a split-complex number ''z'' = ''x'' + ''j y'' is given by :

\lVert z \rVert = z z^* = z^* z = x^2 - y^2.

This norm is not positive-definite but rather has metric signature signature (1,1). An important property of this norm is that it is preserved by split-complex multiplication: :

\lVert z w \rVert = \lVert z \rVert \lVert w \rVert.

The associated (1,1) inner product is given by :<''z'', ''w''> = Re(''zw''*) = Re(''z''*''w'') = ''xu'' − ''yv'' where ''z'' = ''x'' + ''j y'' and ''w'' = ''u'' + ''j v''. Another property of this is that :

\lVert z \rVert = \langle z, z \rangle.

Split-complex numbers ''z'' and ''w'' are said to be (hyperbolic-orthogonal hyperbolically) orthogonal if <''z'', ''w''> = 0. A split-complex number is invertible if and only if its norm is nonzero (

\lVert z \rVert \ne 0

). The inverse of such an element is given by :

z^{-1} = z^* / \lVert z \rVert.

Split-complex numbers which are not invertible are called ''null elements''. These are all of the form (''a'' ± ''j a'') for some real number ''a''.

The diagonal basis
There are two nontrivial idempotents given by ''e'' = (1 − ''j'')/2 and ''e''* = (1 + ''j'')/2. Recall that idempotent means that ''ee'' = ''e'' and ''e''*''e''* = ''e''*. Both of these elements are null: :

\lVert e \rVert = \lVert e^* \rVert = e^* e = 0.

It is often convenient to use ''e'' and ''e''* as an alternate basis (linear algebra) basis for the split-complex plane. This basis is called the ''diagonal basis'' or ''null basis''. The split-complex number ''z'' can be written in the null basis as :''z'' = ''x'' + ''j y'' = (''x'' − ''y'')''e'' + (''x'' + ''y'')''e''*. If we denote the number ''z'' = ''ae'' + ''be''* for real numbers ''a'' and ''b'' by (''a'',''b''), then split-complex multiplication is given by :(''a''₁,''b''₁)(''a''₂,''b''₂) = (''a''₁''a''₂, ''b''₁''b''₂). In this basis, it becomes clear that the split-complex numbers are isomorphic to the direct sum '''R'''⊕'''R''' with addition and multiplication defined pairwise. The split-complex conjugate in the diagonal basis is given by :(''a'',''b'')* = (''b'',''a'') and the norm by :

\lVert (a,b) \rVert = ab.

Geometry
A two-dimensional real vector space with the Minkowski inner product is called 1+1 dimensional Minkowski space, often denoted '''R'''^1,1. Just as much of the geometry of the Euclidean plane '''R'''² can be described with complex numbers, the geometry of the Minkowski plane '''R'''^1,1 can be described with split-complex numbers. The set of points :

\{ z : \lVert z \rVert = a^2 \}

is a hyperbola for every nonzero ''a'' in '''R'''. The hyperbola consists of a right and left branch passing through ''a'' and −''a''. The case ''a'' = 1 is called the ''unit hyperbola''. The conjugate hyperbola is given by :

\{ z : \lVert z \rVert = -a^2 \}

with a upper and lower branch passing through ''ja'' and −''ja''. The hyperbola and conjugate hyperbola are separated by two diagonal asymptotes with form the set of null elements: :

\{ z : \lVert z \rVert = 0 \}.

These two lines (sometimes called the ''null cone'') are perpendicular and have slopes ±1. The analogue of Euler's formula for the split-complex numbers is :

\exp(j\theta) = \cosh(\theta) + j\sinh(\theta).\,

This can be derived from a power series expansion using the fact that hyperbolic cosine cosh has only even powers while that for hyperbolic sine sinh has odd powers. For all real values of the hyperbolic angle θ the split-complex number λ = exp(''j''θ) has norm 1 and lies on the right branch of the unit hyperbola. Since λ has norm 1, multiplying any split-complex number ''z'' by λ preserves the norm of ''z'' and represents a ''hyperbolic rotation'' (also called a ''Lorentz boost''). Multiplying by λ preserves the geometric structure, taking hyperbolas to themselves and the null cone to itself. The set of all transformations of the split-complex plane which preserve the norm (or equivalently, the inner product) forms a group (mathematics) group called the generalized orthogonal group O(1,1). This group consists of the hyperbolic rotations — which form a subgroup denoted SO⁺(1,1) — combined with four discrete Reflection (mathematics) reflections given by :

z\mapsto\pm z

and

z\mapsto\pm z^{*}.

The exponential map :

\exp\colon\mathbb R \to \mathrm{SO}^{+}(1,1)

sending θ to rotation by exp(''j''θ) is a group isomorphism since the usual exponential formula applies: :

e^{j(\theta+\phi)} = e^{j\theta}e^{j\phi}.\,

Algebraic properties
In abstract algebra terms, the split-complex numbers can be described as the quotient ring quotient of the polynomial ring '''R'''[''x''] by the ideal generated by the polynomial ''x''² − 1, :'''R'''[''x'']/(''x''² − 1). The image of ''x'' in the quotient is imaginary unit ''j''. With this description, it is clear that the split-complex numbers form a commutative ring with characteristic 0. Moreover if we define scalar multiplication in the obvious manner, the split-complex numbers actually form a commutative and associative algebra over the reals of dimension two. The algebra is ''not'' a division algebra or field (mathematics) field since the null elements are not invertible. If fact, all of the nonzero null elements are zero divisors. Since addition and multiplication are continuous operations with respect to the usual topology of the plane, the split-complex numbers form a topological ring. The split-complex numbers do not form a normed algebra in the usual sense of the word since the "norm" is not positive-definite. However, if one extends the definition to include norms of general signature, they do form such an algebra. This follows from the fact that :

\lVert zw \rVert = \lVert z \rVert \lVert w \rVert.

For an exposition of normed algebras in general signature, see the reference by Harvey. The split-complex numbers are a special case of a Clifford algebra. Namely, they form a Clifford algebra over a one-dimensional vector space with a ''positive-definite'' quadratic form. Contrast this with the complex numbers which form a Clifford algebra over a one-dimensional vector space with a ''negative-definite'' quadratic form. (NB: some authors switch the signs in the definition of a Clifford algebra which will interchange the meaning of positive-definite and negative-definite).

Matrix representations
One can easily represent split-complex numbers by matrix (mathematics) matrices. The split-complex number :''z'' = ''x'' + ''j y'' can be represented by the matrix :

z \mapsto \begin{bmatrix}x & y \\ y & x\end{bmatrix}.

Addition and multiplication of split-complex numbers are then given by matrix addition and multiplication. The norm of ''z'' is given by the determinant of the corresponding matrix. Split-complex conjugation corresponds to multiplying on both sides by the matrix :

C = \begin{bmatrix}1 & 0 \\ 0 & -1\end{bmatrix}.

A hyperbolic rotation by exp(''j''θ) corresponds to multiplication by the matrix :

\begin{bmatrix}\cosh\theta & \sinh\theta \\ \sinh\theta & \cosh\theta\end{bmatrix}.

Working in the diagonal basis leads to a diagonal matrix representation :

z \mapsto \begin{bmatrix}x - y & 0 \\ 0 & x + y\end{bmatrix}.

Hyperbolic rotations in this basis correspond to multiplication by :

\begin{bmatrix}e^{-\theta} & 0 \\ 0 & e^{\theta}\end{bmatrix}

which shows that they are squeeze mappings.

History
The use of split-complex numbers dates back to 1848 when James Cockle revealed his Tessarines. William Kingdon Clifford used split-complex numbers to represent sums of spins in 1882. Clifford called the elements "motors". In the twentieth-century the split-complex numbers became a common platform to describe the Lorentz Boosts of special relativity, in a spacetime plane because a velocity change between frames of reference is nicely expressed by a ''hyperbolic rotation''. In 1935 J.C. Vignaux and A. DuraÃ±ona y Vedia developed the split-complex geometric algebra and function theory in four articles in ''Contribucion a las Ciencias Fisicas y Matematicas'', Universidad Nacional de La Plata, Republica Argentina (in Spanish).See the article on functions of a motor variable for details.

Synonyms
Different authors have used a great variety of names for the split-complex numbers. Some of these include: * (''real'') ''tessarines'', James Cockle (1848) * (''algebraic'') ''motors'', W.K. Clifford (1882) * ''hyperbolic complex numbers'', J.C. Vignaux (1935) and G. Sobczyk (1995) * ''double numbers'', I.M. Yaglom (1965) and Hazewinkle (1990) * ''abnormal-complex numbers'', W. Benz (1973) * ''perplex numbers'', P. Fjelstad (1986) * ''Lorentz numbers'', F.R. Harvey (1990) * ''dual numbers'', J. Hucks (1993) * ''split-complex numbers'', B. Rosenfeld (1997) Split-complex numbers and their higher-dimensional relatives (split-quaternions and split-octonions) are collectively referred to as Musean numbers, after Charles MusÃ¨s.

See also
*Minkowski space *Lorentz group *Clifford algebra *coquaternion

References and external links
* Benz, W. (1973)''Vorlesungen uber Geometrie der Algebren'', Springer * Cockle, James (1848) "A New Imaginary in Algebra", ''London-Edinburgh-Dublin Philosophical Magazine'' (3) '''33''':345-9. * Clifford, W.K.,''Mathematical Works'' (1882) edited by A.W.Tucker,pp.392,"Further Notes on Biquaternions" * Fjelstadt, P. (1986)"Extending Special Relativity with Perplex Numbers", ''American Journal of Physics'' '''54''':416. * F. Reese Harvey. ''Spinors and calibrations.'' Academic Press, San Diego. 1990. ISBN 0-12-329650-1. Contains a description of normed algebras in indefinite signature, including the Lorentz numbers. * Hazewinkle, M. (1990) editor ''Encyclopaedia of Mathematics'' Soviet/AMS/Kluyer, Dordrect. * Hucks, J. (1993) "Hyperbolic Complex Structures in Physics", ''Journal of Mathematical Physics'' '''34''':5986. * Literature review: [http://ca.geocities.com/cocklebio/motorplaneD The Motor Plane D] * Rosenfeld, B. (1997) ''Geometry of Lie Groups'' Kluwer Academic Pub. * Sobczyk, G.(1995) [http://mailweb.pue.udlap.mx/~sobczyk/HYP2.PDF Hyperbolic Number Plane (PDF)] * Vignaux, J.(1935) "Sobre el numero complejo hiperbolico y su relacion con la geometria de Borel", ''Contribucion al Estudio de las Ciencias Fisicas y Matematicas'', Universidad Nacional de la Plata, Republica Argentina. Category:Abstract algebra fr:Nombre complexe fendu ru:Ð”Ð²Ð¾Ð¹Ð½Ñ‹Ðµ Ñ‡Ð¸Ñ?Ð»Ð°

*** Shopping-Tip: Split-complex number