Split-complex number

Geometry

A two-dimensional real vector space with the Minkowski inner product is called (1 + 1)-dimensional Minkowski space, often denoted ⁠${\displaystyle {\mathbb{R}}^{1,1}.}$⁠ Just as much of the geometry of the Euclidean plane ⁠${\displaystyle {\mathbb{R}}^2}$⁠ can be described with complex numbers, the geometry of the Minkowski plane ⁠${\displaystyle {\mathbb{R}}^{1,1}}$⁠ can be described with split-complex numbers.

The set of points

$${\displaystyle \left\{z:\Vert z{\Vert }^2=a^2\right\}}$$

is a hyperbola for every nonzero a in ⁠${\displaystyle \mathbb{R}.}$⁠ 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

$${\displaystyle \left\{z:\Vert z{\Vert }^2=-a^2\right\}}$$

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:

$${\displaystyle \left\{z:\Vert z\Vert =0\right\}.}$$

These two lines (sometimes called the null cone) are perpendicular in ⁠${\displaystyle {\mathbb{R}}^2}$⁠ and have slopes ±1.

Split-complex numbers z and w are said to be hyperbolic-orthogonal if ⟨z, w⟩ = 0. While analogous to ordinary orthogonality, particularly as it is known with ordinary complex number arithmetic, this condition is more subtle. It forms the basis for the simultaneous hyperplane concept in spacetime.

The analogue of Euler's formula for the split-complex numbers is

$${\displaystyle \exp (j\theta )=\cosh (\theta )+j\sinh (\theta ).}$$

This formula can be derived from a power series expansion using the fact that cosh has only even powers while that for 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. Numbers such as λ have been called hyperbolic versors.

Since λ has modulus 1, multiplying any split-complex number z by λ preserves the modulus of z and represents a hyperbolic rotation (also called a Lorentz boost or a squeeze mapping). 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 modulus (or equivalently, the inner product) forms a 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 reflections given by

$${\displaystyle z\mapsto \pm z}$$ and ${\displaystyle z\mapsto \pm z^{\ast }.}$

The exponential map

$${\displaystyle \exp :(\mathbb{R},+)\to {\mathrm{S}\mathrm{O}}^{+}(1,1)}$$

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

$${\displaystyle e^{j(\theta +\varphi )}=e^{j\theta }{e}^{j\varphi }.}$$

If a split-complex number z does not lie on one of the diagonals, then z has a polar decomposition.

Algebraic properties

As a quadratic algebra, the split-complex numbers can be described as the quotient of a polynomial ring ⁠${\displaystyle \mathbb{R}[x]}$⁠ by an ideal, in this case generated by the polynomial ${\displaystyle x^2-1,}$

$${\displaystyle \mathbb{R}[x]/(x^2-1).}$$

The image of x in the quotient is the hyperbolic unit j. With this description, it is clear that the split-complex numbers form a commutative algebra over the real numbers. The algebra is not a field since the null elements are not invertible. 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 algebra of split-complex numbers forms a composition algebra since

$${\displaystyle \Vert zw\Vert =\Vert z\Vert \Vert w\Vert }$$

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 ⁠${\displaystyle \mathbb{R}[C_2]}$⁠ of the cyclic group C₂ over the real numbers ⁠${\displaystyle \mathbb{R}.}$⁠

Elements of the identity component in the group of units in D have four square roots.: say ${\displaystyle p=\exp (q),q\in D.\text{then}\pm \exp (\frac{q}{2})}$ are square roots of p. Further, ${\displaystyle \pm j\exp (\frac{q}{2})}$ are also square roots of p.

The idempotents ${\displaystyle \frac{1\pm j}{2}}$ are their own square roots, and the square root of ${\displaystyle s\frac{1\pm j}{2},s>0,\text{is}\sqrt{s}\frac{1\pm j}{2}}$

Matrix representations

Using the concepts of matrices and matrix multiplication, split-complex numbers can be represented in linear algebra. The real unit 1 and hyperbolic unit j can be represented by any pair of matrices I and J satisfying I² = J² = I and IJ = JI = J with J ≠ ±I. Then a split-complex number a + bj can be represented by the matrix aI + bJ, and all of the ordinary rules of split-complex arithmetic can be derived from the rules of matrix arithmetic.

The most common choice is to represent 1 and j by the 2 × 2 identity matrix I and the matrix J,

$${\displaystyle I=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right),J=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right).}$$

Then an arbitrary split-complex number a + bj can be represented by:

$${\displaystyle aI+bJ=\left(\begin{array}{cc}a& b\\ b& a\end{array}\right).}$$

More generally, any real-valued 2 × 2 matrix with a trace of zero and a determinant of negative one squares to I, so could be chosen for J. Regardless, det(aI + bJ) = a² − b², the squared modulus of the split-complex number.

Larger matrices could also be used; for example, 1 could be represented by the 4 × 4 identity matrix and j could be represented by the γ⁰ Dirac matrix.

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. Clifford introduced the use of split-complex numbers as coefficients in a quaternion algebra now called split-biquaternions. He called its elements "motors", a term in parallel with the "rotor" action of an ordinary complex number taken from the circle group. Extending the analogy, functions of a motor variable contrast to functions of an ordinary complex variable.

Since the late twentieth century, the split-complex multiplication has commonly been seen as a Lorentz boost of a spacetime plane. In that model, the number z = x + y j represents an event in a spatio-temporal plane, where x is measured in seconds and y in light-seconds. The future corresponds to the quadrant of events {z : |y| < x}, which has the split-complex polar decomposition ${\displaystyle z=\rho e^{aj}}$. The model says that z can be reached from the origin by entering a frame of reference of rapidity a and waiting ρ seconds. The split-complex equation $${\displaystyle e^{aj}{e}^{bj}=e^{(a+b)j}}$$ expressing products on the unit hyperbola illustrates the additivity of rapidities for collinear velocities. Simultaneity of events depends on rapidity a; $${\displaystyle \{z=\sigma j{e}^{aj}:\sigma \in \mathbb{R}\}}$$ is the line of events simultaneous with the origin in the frame of reference with rapidity a.

Two events z and w are hyperbolic-orthogonal when ⁠${\displaystyle z^{\ast }w+z{w}^{\ast }=0}$⁠. Canonical events exp(aj) and j exp(aj) are hyperbolic orthogonal and lie on the axes of a frame of reference in which the events simultaneous with the origin are proportional to j exp(aj).

In 1933 Max Zorn was using the split-octonions and noted the composition algebra property. He realized that the Cayley–Dickson construction, used to generate division algebras, could be modified (with a factor gamma, γ) to construct other composition algebras including the split-octonions. His innovation was perpetuated by Adrian Albert, Richard D. Schafer, and others. The gamma factor, with R as base field, builds split-complex numbers as a composition algebra. Reviewing Albert for Mathematical Reviews, N. H. McCoy wrote that there was an "introduction of some new algebras of order 2^e over F generalizing Cayley–Dickson algebras". Taking F = R and e = 1 corresponds to the algebra of this article.

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.

In 1941 E.F. Allen used the split-complex geometric arithmetic to establish the nine-point hyperbola of a triangle inscribed in zz^∗ = 1.

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. 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)
• bireal numbers, U. Bencivenga (1946)
• real hyperbolic numbers, N. Smith (1949)
• 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), 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)
• spacetime numbers, N. Borota (2000)
• Study numbers, P. Lounesto (2001)
• twocomplex numbers, S. Olariu (2002)
• split binarions, K. McCrimmon (2004)