Abstract
We consider smooth binary operations invariant with respect to unitary transformations that generalize the operations of the Beltrami–Klein and Beltrami–Poincare ball models of hyperbolic geometry, known as Einstein addition and Möbius addition. It is shown that all such operations may be recovered from associated metric tensors that have a canonical form. Necessary and sufficient conditions for canonical metric tensors to generate binary operations are found. A definition of algebraic isomorphism of binary operations is given. Necessary and sufficient conditions for binary operations to be isomorphic are provided. It is proved that every algebraic automorphism gives rise to isomorphism of corresponding gyrogroups. Necessary and sufficient conditions in terms of metric tensors for binary operations to be isomorphic to Euclidean addition are given. The problem of binary operations to be isomorphic to Einstein addition is also solved in terms of necessary and sufficient conditions. We also obtain necessary and sufficient conditions for binary operations having the same function-parameter in the canonical representation of metric tensors to be isomorphic.
Highlights
It turned out that both Einstein addition and Möbius addition may be recovered from corresponding metric tensors using standard operations of differential geometry: logarithmic mapping, parallel transport, and geodesics [37]
Find necessary and sufficient conditions for binary operations to be isomorphic to Einstein addition
According to Theorem 8, a binary operation generated by the canonical metric tensor (8) with the functions m0, m1 is isomorphic to Euclidean addition
Summary
The theory of the binary operation of the Beltrami–Klein ball model, known as Einstein addition, and the binary operation of the Beltrami–Poincare ball model of hyperbolic geometry, known as Möbius addition has been extensively developed for the last twenty years [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36]. We adressed the following problems in this paper Is it true that for every binary operation invariant with respect to unitary transformations the metric tensor has a canonical form (8) parametrized by a pair of functions (m0 , m1 )?. We say that the pair of functions (m0 , m1 ) parametrizes G
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have