Hybrid number
A hybrid number is a generalization of complex numbers , split-complex numbers (or "hyperbolic number") and dual numbers . Hybrid numbers form a noncommutative ring. Complex, hyperbolic and dual numbers are well known two-dimensional number systems. It is well known that, the set of complex numbers, hyperbolic numbers and dual numbers are
respectively. The algebra of hybrid numbers is a noncommutative algebra which unifies all three number systems calls them hybrid numbers.[1], [2], [3].
A hybrid number
is a number created with any combination of the complex, hyperbolic and dual numbers satisfying the relation
Because these numbers are a composition of dual, complex and hyperbolic numbers, Ozdemir calls them hybrid numbers [1]. A commutative two-dimensional unital algebra generated by a 2 by 2 matrix is isomorphic to either complex, dual or hyperbolic numbers [4]. Due to the set of hybrid numbers is a two-dimensional commutative algebra spanned by 1 and , it is isomorphic to one of the complex, dual or hyperbolic numbers.
Planar rotations with complex, hyperbolic, and dual numbers
Especially in the last century, a lot of researchers deal with the geometric and physical applications of these numbers. Just as the geometry of the Euclidean plane can be described with complex numbers, the geometry of the Minkowski plane and Galilean plane can be described with hyperbolic numbers. The group of Euclidean rotations SO(2) is isomorphic to the group U(1) of unit complex numbers. The geometrical meaning of multiplying by means a rotation of the plane. [5], [6].
The group of Lorentzian rotations is isomorphic to the group of unit spacelike hyperbolic numbers. This rotation can be viewed as hyperbolic rotation. Thus, multiplying by means a map of hyperbolic numbers into itself which preserves the Lorentzian metric. [7], [8],
[9], [10]
The Galilean rotations can be interpreted with dual numbers. The concept of a rotation in the dual number plane is equivalent to a vertical shear mapping since
. The Euler formula for dual numbers is . Multiplying by is a
map of dual numbers into itself which preserves the Galilean metric. This rotation can be named as parabolic rotation [11], [12][13][14], [15], [16], [17], [18].
File:Planar rotations.tif
In abstract algebra, the complex, the hyperbolic and the dual numbers can be described as the quotient of the polynomial ring by the ideal generated by the polynomials , and respectively. That is,
Matrix represantations of the units , , are
respectively.
Comparing complex, hyperbolic and dual numbers
Properties | Complex numbers | Hyperbolic numbers | Dual numbers |
---|---|---|---|
Algebraic structure | Field | Commutative ring | Commutative ring |
Property | |||
Conjugate | |||
Norm | |||
Geometry | Euclidean geometry | Lorentzian geometry | Galilean geometry |
Circle | |||
Rotation type | Elliptic rotation | Hyperbolic rotation | Parabolic rotation |
Euler's Formula | |||
Argument |
Definition
The set of hybrid numbers , defined as
For the hybrid number , the number is called the scalar part and is denoted by ; is called the vector part and is denoted by [1]
The conjugate of a hybrid number , denoted by , is defined as as in quaternions. Multiplication operation in the hybrid numbers is associative and not commutative.
Γ | ||||
---|---|---|---|---|
Character and type of a hybrid number
Let be a hybrid number. The real number
is called the characteristic number of $\mathbf{Z.}</math> We say that a hybrid number;
These are called ""'the characters of the hybrid numbers"'".
Let be a hybrid number. The real number
is called the type number of We say that a hybrid number;
These are called the \textbf{types of the hybrid numbers}. The vector is called hybridian vector of
Norms of hybrid numbers
Let be a hybrid number. The real number
is called the norm of Besides, the real number
will be called the norm of the hybrid vector of . This norm definition is a generalized norm definition that overlaps with the definitions of norms in complex, hyperbolic and dual numbers.
- If is a complex number , then
- If is a hyperbolic number , then
- If is a dual number , then .
Inverse of a hybrid number
Using the hybridian product of hybrid numbers, one can show that the equality holds So, timelike hybrid numbers form a group according to the multiplication operation. The inverse of a hybrid number is defined as
Accordingly, lightlike hybrid numbers have no inverse.
Argument of a hybrid number
Let be a hybrid number. The argument of is defined as follows with respect to its type.
Polar form of a hybrid number
Let be a hybrid number, and
i. If is elliptic, then such that
ii. If a lightlike hyperbolic, then such that
iii. If is spacelike or timelike hyperbolic, then, such that where and
for
iv. If is a parabolic hybrid number, then where .
De Moivre's formulas for hybrid numbers
De Moivre's formula for hybrid numbers as follows..[1]. Let be a spacelike or timelike hybrid number. If and
i. If is elliptic, then
ii. If is hyperbolic, then
iii. If is parabolic, then
If is a lightlike hybrid number, then where and
Roots of a hybrid number
Let be a hybrid number and The hybrid numbers satisfying the equation can be found as follows [1], [3]
i. If is an elliptic hybrid number, then the roots of are in the form
for
ii. If is a spacelike or timelike hyperbolic hybrid number, then the roots of are in the form
where ;
iii. If , is a parabolic hybrid number, the only root is
where
If is a lightlike hybrid number, then
for where and
The matrix representation of hybrid numbers
Just as complex numbers and quaternions can be represented as matrices, so can hybrid numbers. There are at least two ways of representing hybrid numbers as real matrices in such a way that hybrid addition and multiplication correspond to matrix addition and matrix multiplication. The hybrid number ring is isomorphic to matrix rings . So, each hybrid number can be represented by a 2 by 2 real matrix. Thus, it can be done operations and calculations in the hybrid numbers using the corresponding matrices.[1][3][2] The map is a ring isomorphism where
for . Also, the real matrix
corresponds to the hybrid number
According to this ring isomorphism, matrix represantations of the units 1, , , are as follows :
Let be a 2 by 2 real matrix corresponding to the hybrid number then there are the following equalities.
- is discriminant of the characteristic polynomial of
- exists if and only if .
Timelike elliptic | |||
Timelike parabolic | Lightlike parabolic | ||
Timelike hyperbolic | Lightlike hyperbolic | Spacelike hyperbolic |
The logarithm of a hybrid number
Logarithm function for elliptic and hyperbolic hybrid numbers can be defined as
And, the logarithm of parabolic hybrid numbers is not defined. The identity which is well known for the real numbers, is not correct for the hybrid numbers, since
Euler's formulas for the hybrid numbers
Using the serial expansions of exponential, hyperbolic and trigonometric functions, we can express the Euler formulas of unit hybrid numbers as follows.
Type of hybrid number | Euler formula |
---|---|
is timelike hyperbolic | |
is spacelike hyperbolic | |
is parabolic | , |
See also
- Associative algebra
- Complex number
- Biquaternion
- Clifford algebra
- Complex number
- Conversion between quaternions and Euler angles
- Division algebra
- Dual number
- Dual quaternion
- Euler angles
- Exterior algebra
- Geometric algebra
- Hyperbolic quaternion
- Hypercomplex number
- Octonion
- Pauli matrices
- Quaternion
- Quaternion variable
- Quaternionic matrix
- Quaternions and spatial rotation
- Rotations in 4-dimensional Euclidean space
- Split-quaternion
References
- β 1.0 1.1 1.2 1.3 1.4 1.5 Ozdemir, M. (2018). "Introduction to Hybrid Numbers". Applied Clifford Algebras 28:11, 2018.. doi:10.1007/s00006-018-0833-3.
- β 2.0 2.1 G. Dattoli, S. Licciardi, R. M. Pidatella, E. Sabia, Hybrid Complex Numbers: The Matrix Version, Adv. in Applied Clifford Algebras, 28:58, (2018)
- β 3.0 3.1 3.2 Γzdemir M., Finding n-th Roots of a 2Γ2 Real Matrix Using De Moivre's Formula, Adv. in Applied Clifford Algebras, 29:2, (2019)
- β Lavrentiev M.A., Shabat B.V., Problems of hydrodynamics and their mathematical models. Moscow, Nauka, 416 p., (Russian) (1973).
- β Yaglom I.M., Complex Numbers in Geometry, Academic Press, (1968).
- β Yaglom I.M., A simple non-Euclidean geometry and its physical basis. Heidelberg Science Library. Springer-Verlag, New York, (1979).
- β Catoni F., Cannata R., Catoni V., Zampetti P., Two-dimensional Hypercomplex number and related trigonometries, Advances in Applied Clifford Algebras, Vol.14, Issue 1, 47β68, (2004).
- β Catoni F., Boccaletti D.,Cannata R., Catoni V., Nichelatti E., and Zampetti P., The Mathematics of Minkowski Space-Time: With an Introduction to Commutative Hypercomplex Numbers, BirkhΓ€user, Basel, (2008).
- β Catoni F., Cannata R., Catoni V., Zampetti P.: Hyperbolic trigonometry in two-dimensional space-time geometry. Nuovo Cimento B, 118(5), 475 (2003).
- β Rooney J., On the three types of complex number and planar transformations, Environment and Planning B, Volume 5, pages 89β99, (1978).
- β Kisil Vladimir V., Induced Representations and Hypercomplex Numbers, Advances in Applied Clifford Algebras, Vol.23, Issue 2, pp 417β440, (2013)
- β Kisil Vladimir V., Erlangen program at large-2: Inventing a wheel. The parabolic one. Trans. Inst. Math. of the NAS of Ukraine, pages 89β98, (2010).
- β Kisil Vladimir V., Erlangen program at large-1: Geometry of invariants. SIGMA, Symmetry Integrability Geom. Methods Appl. 6 (076):45, (2010).
- β Rooney J., Generalised Complex Numbers in Mechanics, Advances on Theory and Practice of Robots and Manipulators, 55β62, (2014).
- β Harkin A. A., Harkin J. B., Geometry of Generalized Complex Numbers, Mathematics Magazine 77(2):118β29 (2004)
- β Fischer I., Dual-Number Methods in Kinematics, Statics and Dynamics. CRC Press, (1999).
- β Borota N. A., Flores E., and Osler T.J., Spacetime numbers the easy way, Mathematics and Computer Education 34: 159β168 (2000).
- β Veldkamp G.R., On the use of dual numbers, vectors and matrices in instantaneous, spatial kinematics, Mechanism and Machine Theory, Volume 11, Issue 2, pages 141β156, (1976)