Hyperbolic trigonometry in the Einstein relativistic velocity model of hyperbolic geometry
type: Item
instance of: scholarly article
title: Hyperbolic trigonometry in the Einstein relativistic velocity model of hyperbolic geometry
zbMATH Open document ID: 0965.83004
DOI: 10.1016/S0898-1221(00)00163-2
publication date: 2000-11-13T00:00:00Z
review text: This paper offers a new way of presenting and even generalizing the well-known law of adding relativistically admissible velocities \[ u\oplus v= {1\over 1+(u\cdot v)/c^2} \Biggl\{u+{1\over \gamma_u} v+{1\over c^2} {\gamma_u\over 1+ \gamma_u} (u\cdot v)u\Biggr\} \] considered as an operation in the open \(c\)-ball \(\mathbb{R}^3_c= \{v\in \mathbb{R}^3:\|v\|< c\}\). Different from other usual techniques (e.g. spinors or indefinite inner products), and aiming more profoundly than at the formula itself (as the Antippa's generalization, etc.), the author presents specific new algebraic structures, distinguished by the prefix gyro, namely gyrogroups and gyrovector spaces. The germs of the idea of gyrostructures are to be found in the \(K\)-loop theory (initiated by the same author since 1989), and in some older models of hyperbolic geometry. In particular, a starting point is the Möbius addition in the complex open unit disk \(D\), where \(\text{gyr}: D\times D\to \Aut(D,\oplus)\) takes the form \(\text{gyr}[a,b]= (1+ a\overline b)(1+\overline ab)^{-1}\). In an abstract gyrogroup \((G,\oplus)\), gyr acts like \(\text{gyr}[a, b]z= -(a\oplus b)\oplus (a\oplus (b\oplus z))\), and does ``correct'' associativity, commutativity, etc. in the sense that \[ a\oplus (b\oplus c)= (a\oplus b)\oplus \text{gyr}[a, b]c,\quad\text{etc.}. \] The example of a gyrogroup of order 16, generated by the MAGMA software package, shows how diversified the sphere of gyrogroups is. The general setting of gyrostructures allows extending the Einstein's addition law to arbitrary open \(c\)-balls \(\mathbb{V}_c\) in abstract real inner product spaces, but also developing the hyperbolic trigonometry in the corresponding gyrovector space (the sine and cosine rules, the Pythagorean relation, etc.). Sections 8-11 contain direct applications involving the relativistic acceleration, geodesics, and dual structures (which make use of the secondary operation, defined by \(a\boxplus b= a\oplus \text{gyr}[a,-b]b\…
reviewed by: Trandafir Balan
Mathematics Subject Classification ID: 83A05
Mathematics Subject Classification ID: 51P05
Mathematics Subject Classification ID: 83C10
Mathematics Subject Classification ID: 51M10
zbMATH DE Number: 1528542
zbMATH Keywords: relativistic velocity addition
zbMATH Keywords: hyperbolic trigonometry
zbMATH Keywords: gyrogroups
zbMATH Keywords: gyrovector spaces
zbMATH Keywords: MAGMA software package
author: Abraham A. Ungar
MaRDI profile type: Publication
cites work: Ideal Elements in Hilbert's Geometry
cites work: The relativistic noncommutative nonassociative group of velocities and the Thomas rotation
cites work: Abstract space–times and their Lorentz groups
cites work: Involutory decomposition of groups into twisted subgroups and subgroups
cites work: Q3997323
cites work: Gyrogroups and the decomposition of groups into twisted subgroups and subgroups.
cites work: Gyrosemidirect product structure of bounded symmetric domains
cites work: K-loops, gyrogroups and symmetric spaces
cites work: On central extensions of gyrocommutative gyrogroups
cites work: On the notion of gyrogroup
cites work: The Thomas rotation formalism underlying a nonassociative group structure for relativistic velocities
cites work: The expanding Minkowski space
cites work: Group-like structure underlying the unit ball in real inner product spaces
cites work: Weakly associative groups
cites work: Q3976023
cites work: The abstract Lorentz transformation group
cites work: The abstract complex Lorentz transformation group with real metric. I. Special relativity formalism to deal with the holomorphic automorphism group of the unit ball in any complex Hilbert space
cites work: The abstract complex Lorentz transformation group with real metric. II. The invariance group of the form ‖t‖2−∥x∥2
cites work: The holomorphic automorphism group of the complex disk
cites work: Extension of the unit disk gyrogroup into the unit ball of any real inner product space
cites work: Gyrovector spaces in the service of hyperbolic geometry
cites work: The Hyperbolic Pythagorean Theorem in the Poincare Disc Model of Hyperbolic Geometry
cites work: Möbius transformations of the ball, Ahlfors' rotation and gyrovector spaces.
cites work: Comment on ``The expanding Minkowski space'' by A. A. Ungar
cites work: Equivalence of two gyrogroup structures on unit balls
cites work: Q3256906
cites work: Q2730361
cites work: Hyperbolic Trigonometry Derived from the Poincare Model
cites work: Q4210022
cites work: Q5528388
cites work: Q5576729
cites work: Q4396175
cites work: Q3242950
published in: Computers & Mathematics with Applications
description: scientific article; zbMATH DE number 1528542