Split-complex number
In algebra, a split complex number (or hyperbolic number, also perplex number, double number) is based on a hyperbolic unit j satisfying A split-complex number has two real number components x and y, and is written The conjugate of z is Since the product of a number z with its conjugate is an isotropic quadratic form.
The collection D of all split complex numbers for forms an algebra over the field of real numbers. Two split-complex numbers w and z have a product wz that satisfies This composition of N over the algebra product makes (D, +, ×, *) a composition algebra.
A similar algebra based on and component-wise operations of addition and multiplication, where xy is the quadratic form on also forms a
relates proportional quadratic forms, but the mapping is not an isometry since the multiplicative identity (1, 1) of is at a distance from 0, which is normalized in D.
Split-complex numbers have many other names; see § Synonyms below. See the article Motor variable for functions of a split-complex number.
Definition
A split-complex number is an ordered pair of real numbers, written in the form
where x and y are real numbers and the hyperbolic unit[1] j satisfies
In the field of complex numbers the imaginary unit i satisfies The change of sign distinguishes the split-complex numbers from the ordinary complex ones. The hyperbolic unit j is not a real number but an independent quantity.
The collection of all such z is called the split-complex plane. Addition and multiplication of split-complex numbers are defined by
This multiplication is
Conjugate, modulus, and bilinear form
Just as for complex numbers, one can define the notion of a split-complex conjugate. If
then the conjugate of z is defined as
The conjugate is an involution which satisfies similar properties to the complex conjugate. Namely,
The squared modulus of a split-complex number is given by the isotropic quadratic form
It has the composition algebra property:
However, this quadratic form is not
.The associated bilinear form is given by
where and Here, the real part is defined by . Another expression for the squared modulus is then
Since it is not positive-definite, this bilinear form is not an
A split-complex number is invertible if and only if its modulus is nonzero (), thus numbers of the form x ± j x have no inverse. The multiplicative inverse of an invertible element is given by
Split-complex numbers which are not invertible are called null vectors. These are all of the form (a ± j a) for some real number a.
The diagonal basis
There are two nontrivial
It is often convenient to use e and e∗ as an alternate 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
If we denote the number for real numbers a and b by (a, b), then split-complex multiplication is given by
The split-complex conjugate in the diagonal basis is given by
Isomorphism
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Commutative_diagram_split-complex_number_2.svg/200px-Commutative_diagram_split-complex_number_2.svg.png)
On the basis {e, e*} it becomes clear that the split-complex numbers are
The diagonal basis for the split-complex number plane can be invoked by using an ordered pair (x, y) for and making the mapping
Now the quadratic form is Furthermore,
so the two parametrized hyperbolas are brought into correspondence with S.
The
Though lying in the same isomorphism class in the
Geometry
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/12/Drini-conjugatehyperbolas.svg/220px-Drini-conjugatehyperbolas.svg.png)
A two-dimensional real vector space with the Minkowski inner product is called (1 + 1)-dimensional Minkowski space, often denoted Just as much of the geometry of the Euclidean plane can be described with complex numbers, the geometry of the Minkowski plane can be described with split-complex numbers.
The set of points
is a hyperbola for every nonzero a in The hyperbola consists of a right and left branch passing through (a, 0) and (−a, 0). The case a = 1 is called the unit hyperbola. The conjugate hyperbola is given by
with an upper and lower branch passing through (0, a) and (0, −a). The hyperbola and conjugate hyperbola are separated by two diagonal asymptotes which form the set of null elements:
These two lines (sometimes called the
Split-complex numbers z and w are said to be
The analogue of Euler's formula for the split-complex numbers is
This formula can be derived from a
Since λ has modulus 1, multiplying any split-complex number z by λ preserves the modulus of z and represents a hyperbolic rotation (also called a
The set of all transformations of the split-complex plane which preserve the modulus (or equivalently, the inner product) forms a
The exponential map
sending θ to rotation by exp(jθ) is a group isomorphism since the usual exponential formula applies:
If a split-complex number z does not lie on one of the diagonals, then z has a polar decomposition.
Algebraic properties
In abstract algebra terms, the split-complex numbers can be described as the quotient of the polynomial ring by the ideal generated by the polynomial
The image of x in the quotient is the "imaginary" unit j. With this description, it is clear that the split-complex numbers form a
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 algebra of split-complex numbers forms a composition algebra since
for any numbers z and w.
From the definition it is apparent that the ring of split-complex numbers is isomorphic to the group ring of the cyclic group C2 over the real numbers
Matrix representations
One can easily represent split-complex numbers by matrices. The split-complex number can be represented by the matrix
Addition and multiplication of split-complex numbers are then given by matrix addition and multiplication. The modulus of z is given by the determinant of the corresponding matrix.
In fact there are many representations of the split-complex plane in the four-dimensional
which square to the identity matrix satisfy For example, when a = 0, then (b,c) is a point on the standard hyperbola. More generally, there is a hypersurface in M(2,R) of hyperbolic units, any one of which serves in a basis to represent the split-complex numbers as a
The number can be represented by the matrix
History
The use of split-complex numbers dates back to 1848 when
Since the late twentieth century, the split-complex multiplication has commonly been seen as a
expressing products on the unit hyperbola illustrates the additivity of rapidities for collinear velocities. Simultaneity of events depends on rapidity a;
is the line of events simultaneous with the origin in the frame of reference with rapidity a.
Two events z and w are
In 1933
In 1935 J.C. Vignaux and A. Durañona y Vedia developed the split-complex geometric algebra and function theory in four articles in Contribución a las Ciencias Físicas y Matemáticas, National University of La Plata, República Argentina (in Spanish). These expository and pedagogical essays presented the subject for broad appreciation.[13]
In 1941 E.F. Allen used the split-complex geometric arithmetic to establish the nine-point hyperbola of a triangle inscribed in zz∗ = 1.[14]
In 1956 Mieczyslaw Warmus published "Calculus of Approximations" in Bulletin de l’Académie polonaise des sciences (see link in References). He developed two algebraic systems, each of which he called "approximate numbers", the second of which forms a real algebra.[15] D. H. Lehmer reviewed the article in Mathematical Reviews and observed that this second system was isomorphic to the "hyperbolic complex" numbers, the subject of this article.
In 1961 Warmus continued his exposition, referring to the components of an approximate number as midpoint and radius of the interval denoted.
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), G. Cree (1949)[16]
- bireal numbers, U. Bencivenga (1946)
- real hyperbolic numbers, N. Smith (1949)[17]
- approximate numbers, Warmus (1956), for use in interval analysis
- double numbers, I.M. Yaglom (1968), Kantor and Solodovnikov (1989), Hazewinkel (1990), Rooney (2014)
- hyperbolic numbers, W. Miller & R. Boehning (1968),[18] G. Sobczyk (1995)
- anormal-complex numbers, W. Benz (1973)
- perplex numbers, P. Fjelstad (1986) and Poodiack & LeClair (2009)
- countercomplex or hyperbolic, Carmody (1988)
- Lorentz numbers, F.R. Harvey (1990)
- semi-complex numbers, F. Antonuccio (1994)
- paracomplex numbers, Cruceanu, Fortuny & Gadea (1996)
- split-complex numbers, B. Rosenfeld (1997)[19]
- spacetime numbers, N. Borota (2000)
- Study numbers, P. Lounesto (2001)
- twocomplex numbers, S. Olariu (2002)
- split binarions, K. McCrimmon (2004)
See also
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Wikibooks-logo-en-noslogan.svg/40px-Wikibooks-logo-en-noslogan.svg.png)
References
- ISBN 978-1-84816-858-9
- ^ James Cockle (1848) On a New Imaginary in Algebra, Philosophical Magazine 33:438
- ^
Abstract Algebra/2x2 real matrices at Wikibooks
- ^ James Cockle (1849) On a New Imaginary in Algebra 34:37–47, London-Edinburgh-Dublin Philosophical Magazine (3) 33:435–9, link from Biodiversity Heritage Library.
- ^ Francesco Antonuccio (1994) Semi-complex analysis and mathematical physics
- ISBN 978-3-7643-8613-9.
- ISBN 978-3-642-17977-8.
- doi:10.1119/1.14605
- ^ Louis Kauffman (1985) "Transformations in Special Relativity", International Journal of Theoretical Physics 24:223–36.
- ^ Sobczyk, G.(1995) Hyperbolic Number Plane, also published in College Mathematics Journal 26:268–80.
- ^ Robert B. Brown (1967)On Generalized Cayley-Dickson Algebras, Pacific Journal of Mathematics 20(3):415–22, link from Project Euclid.
- ^ N.H. McCoy (1942) Review of "Quadratic forms permitting composition" by A.A. Albert, Mathematical Reviews #0006140
- ^ 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
- American Mathematical Monthly48(10): 675–681
- MR0081372
- ^ Cree, George C. (1949). The Number Theory of a System of Hyperbolic Complex Numbers (MA thesis). McGill University.
- ^ Smith, Norman E. (1949). Introduction to Hyperbolic Number Theory (MA thesis). McGill University.
- JSTOR 27957849.
- ISBN 0-7923-4390-5
Further reading
- Bencivenga, Uldrico (1946) "Sulla rappresentazione geometrica delle algebre doppie dotate di modulo", Atti della Reale Accademia delle Scienze e Belle-Lettere di Napoli, Ser (3) v.2 No7. MR0021123.
- Walter Benz (1973) Vorlesungen uber Geometrie der Algebren, Springer
- N. A. Borota, E. Flores, and T. J. Osler (2000) "Spacetime numbers the easy way", Mathematics and Computer Education 34: 159–168.
- N. A. Borota and T. J. Osler (2002) "Functions of a spacetime variable", Mathematics and Computer Education 36: 231–239.
- K. Carmody, (1988) "Circular and hyperbolic quaternions, octonions, and sedenions", Appl. Math. Comput. 28:47–72.
- K. Carmody, (1997) "Circular and hyperbolic quaternions, octonions, and sedenions – further results", Appl. Math. Comput. 84:27–48.
- William Kingdon Clifford (1882) Mathematical Works, A. W. Tucker editor, page 392, "Further Notes on Biquaternions"
- V.Cruceanu, P. Fortuny & P.M. Gadea (1996) A Survey on Paracomplex Geometry, Rocky Mountain Journal of Mathematics 26(1): 83–115, link from Project Euclid.
- De Boer, R. (1987) "An also known as list for perplex numbers", American Journal of Physics 55(4):296.
- Anthony A. Harkin & Joseph B. Harkin (2004) Geometry of Generalized Complex Numbers, Mathematics Magazine 77(2):118–29.
- 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. (1994) "Double and dual numbers", Encyclopaedia of Mathematics, Soviet/AMS/Kluwer, Dordrect.
- Kevin McCrimmon (2004) A Taste of Jordan Algebras, pp 66, 157, Universitext, Springer MR2014924
- C. Musès, "Applied hypernumbers: Computational concepts", Appl. Math. Comput. 3 (1977) 211–226.
- C. Musès, "Hypernumbers II—Further concepts and computational applications", Appl. Math. Comput. 4 (1978) 45–66.
- Olariu, Silviu (2002) Complex Numbers in N Dimensions, Chapter 1: Hyperbolic Complex Numbers in Two Dimensions, pages 1–16, North-Holland Mathematics Studies #190, ISBN 0-444-51123-7.
- Poodiack, Robert D. & Kevin J. LeClair (2009) "Fundamental theorems of algebra for the perplexes", The College Mathematics Journal 40(5):322–35.
- Isaak Yaglom (1968) Complex Numbers in Geometry, translated by E. Primrose from 1963 Russian original, Academic Press, pp. 18–20.
- J. Rooney (2014). "Generalised Complex Numbers in Mechanics". In Marco Ceccarelli and Victor A. Glazunov (ed.). Advances on Theory and Practice of Robots and Manipulators: Proceedings of Romansy 2014 XX CISM-IFToMM Symposium on Theory and Practice of Robots and Manipulators. Mechanisms and Machine Science. Vol. 22. Springer. pp. 55–62. ISBN 978-3-319-07058-2.