Relativity, complex numbers, and gyrovectors

The previous post discussed an unusual algebraic structure on the real interval (-1, 1) inspired by (and applied to) special relativity. We defined an addition operator by

How might we extend this from the interval (-1, 1) to the unit disk in the complex plane? The definition won't transfer over unmodified because it does not map the unit disk to the unit disk. For example,

which is outside the unit disk. But if we conjugate the x in the denominator then we get an operation that does map the unit disk to itself.

Since the complex conjugate of a real number is itself, this definition coincides with the original definition on the interval (-1, 1).

Complex relativistic addition as defined above has the right range, but it's an odd form of addition. It's asymmetric in x and y which rightly suggests that is not commutative. In fact, is not associative either. However, there is a way to compensate for this lack of symmetry.

Define the gyration of x and y by

Then we have replacements for commutativity

and for associativity

It's also possible to extend scalar multiplication by real numbers.

When we define vectors as complex numbers in the unit disk, define vector addition by and scalar multiplication by , we do not get a vector space, but something analogous called a gyrovector space. The axioms of a gyrovector space are similar to those of a vector space, but with gyrations sprinkled in.

In some sense gyrovector spaces are to hyperbolic geometry what vector spaces are to Euclidean geometry.

References

Michael K. Kinyon and Abraham A. Ungar. The Gyro-Structure of the Complex Unit Disk. Mathematics Magazine , Oct., 2000, Vol. 73, No. 4 (Oct., 2000), pp. 273-284

Abraham A. Ungar. The holomorphic automorphism group of the complex disk. Aequationes Mathematicae 47 (1994) pp. 240-254

The post Relativity, complex numbers, and gyrovectors first appeared on John D. Cook.