Multiplication is done in the same way as with the quaternions, but with the additional rule that is nilpotent of index , i.e. . It follows that the multiplicative inverses of dual-complex numbers are given by
The set forms a basis of the vector space of dual-complex numbers, where the scalars are real numbers.
The magnitude of a dual-complex number is defined to be
For applications in computer graphics, the number should be represented as the 4-tuple .
The algebra discussed in this article is sometimes called the dual complex numbers. This may be a misleading name because it suggests that the algebra should take the form of either:
- The dual numbers, but with complex number entries
- The complex numbers, but with dual number entries
An algebra meeting either description exists. And both descriptions are equivalent. (This is due to the fact that the tensor product of algebras is commutative up to isomorphism). This algebra can be denoted as using ring quotienting. The resulting algebra has a commutative product and is not discussed any further.
Representing rigid body motions
The Euclidean plane can be represented by the set .
can be made to act on by
We have the following (multiple) polar forms for :
- When , the element can be written as which denotes a rotation of angle around the point .
- When , the element can be written as which denotes a translation by vector
A principled construction of the dual-complex numbers can be found by first noticing that they're a subset of the dual-quaternions.
There are two geometric interpretations of the dual-quaternions, both of which can be used to derive the action of the dual-complex numbers on the plane:
- As a way to represent rigid body motions in 3D space. The dual-complex numbers can then be seen to represent a subset of those rigid-body motions. This requires some familiarity with the way the dual quaternions act on Euclidean space. We won't describe this approach here as it's adequately done elsewhere.
- The dual quaternions can be understood as an "infinitesimal thickening" of the quaternions. Recall that the quaternions can be used to represent 3D spatial rotations, while the dual numbers can be used to represent "infinitesimals". Combining those features together allows for rotations to be varied infinitesimally. Let denote an infinitesimal plane lying on the unit sphere, equal to . Observe that is a subset of the sphere, in spite of being flat (this is thanks to the behaviour of dual number infinitesimals).
- Observe then that as a subset of the dual quaternions, the dual complex numbers rotate the plane back onto itself. The effect this has on depends on the value of in :
- When , the axis of rotation points towards some point on , so that the points on experience a rotation around .
- When , the axis of rotation points away from the plane, with the angle of rotation being infinitesimal. In this case, the points on experience a translation.
- Eduard Study
- Dual numbers
- Dual quaternions
- Clifford algebra
- Euclidean plane isometry
- Affine transformation
- Projective plane
- Homogeneous coordinates
- Conformal geometric algebra
- Matsuda, Genki; Kaji, Shizuo; Ochiai, Hiroyuki (2014), Anjyo, Ken (ed.), "Anti-commutative Dual Complex Numbers and 2D Rigid Transformation", Mathematical Progress in Expressive Image Synthesis I: Extended and Selected Results from the Symposium MEIS2013, Mathematics for Industry, Springer Japan, pp. 131–138, arXiv:1601.01754, doi:10.1007/978-4-431-55007-5_17, ISBN 9784431550075, retrieved 2019-09-14
- Gunn C. (2011) On the Homogeneous Model of Euclidean Geometry. In: Dorst L., Lasenby J. (eds) Guide to Geometric Algebra in Practice. Springer, London
- "geometry - Using dual complex numbers for combined rotation and translation". Mathematics Stack Exchange. Retrieved 2019-05-27.
- "Lines in the Euclidean group SE(2)". What's new. 2011-03-06. Retrieved 2019-05-28.
- Study, E. (December 1891). "Von den Bewegungen und Umlegungen". Mathematische Annalen. 39 (4): 441–565. doi:10.1007/bf01199824. ISSN 0025-5831.
- Sauer, R. (1939). "Dr. Wilhelm Blaschke, Prof. a. d. Universität Hamburg, Ebene Kinematik, eine Vorlesung (Hamburger Math. Einzelschriften, 25. Heft, 1938). 56 S. m. 19 Abb. Leipzig-Berlin 1938, Verlag B. G. Teubner. Preis br. 4 M.". ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik. 19 (2): 127. Bibcode:1939ZaMM...19R.127S. doi:10.1002/zamm.19390190222. ISSN 0044-2267.