A Gyrovector Space Approach to Hyperbolic Geometry (Synthesis Lectures on Mathematics and Statistics)
By Abraham Ungar
ABSTRACT
The mere mention of hyperbolic geometry is enough to strike fear in the heart of the undergraduate
mathematics and physics student. Some regard themselves as excluded from the profound insights of
hyperbolic geometry so that this enormous portion of human achievement is a closed door to them. The
mission of this book is to open that door by making the hyperbolic geometry of Bolyai and Lobachevsky,
as well as the special relativity theory of Einstein that it regulates, accessible to a wider audience in terms
of novel analogies that the modern and unknown share with the classical and familiar.
These novel analogies that this book captures stem fromThomas gyration, which is the mathematical
abstraction of the relativistic effect known as Thomas precession. Remarkably, the mere introduction
of Thomas gyration turns Euclidean geometry into hyperbolic geometry, and reveals mystique analogies
that the two geometries share. Accordingly, Thomas gyration gives rise to the prefix “gyro” that is
extensively used in the gyrolanguage of this book, giving rise to terms like gyrocommutative and gyroassociative
binary operations in gyrogroups, and gyrovectors in gyrovector spaces. Of particular importance
is the introduction of gyrovectors into hyperbolic geometry, where they are equivalence classes that add
according to the gyroparallelogram law in full analogy with vectors, which are equivalence classes that
add according to the parallelogram law. A gyroparallelogram, in turn, is a gyroquadrilateral the two gyrodiagonals
of which intersect at their gyromidpoints in full analogy with a parallelogram, which is a
quadrilateral the two diagonals of which intersect at their midpoints.
KEYWORDS
hyperbolic geometry, Analogies between Euclidean and hyperbolic geometry, Poincaré ball
model of hyperbolic geometry, Beltrami-Klein ball model of hyperbolic geometry, Möbius
transformations of the complex open unit disc, Möbius addition, from Möbius to gyrogroups,
gyrogroups, gyrocommutative gyrogroups, gyrovectors, gyrovector spaces, gyrotrigonometry,
Einstein relativistic velocity addition, relativistic stellar aberration, dark
matter
Contents
SYNTHESIS LECTURES ON MATHEMATICS AND STATISTICS . . . . . . . . . . . . . . . . iii
Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi
1 Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 From Möbius to Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Groupoids, Loops, Groups, and Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Möbius Gyrogroups: From the Disc To The Ball . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 First Gyrogroup Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11
1.5 The Two Basic Equations of Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6 The Basic Cancellation Laws of Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.7 Commuting Automorphisms with Gyroautomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . .20
1.8 The Gyrosemidirect Product . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.9 Basic Gyration Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.10 An Advanced Gyrogroup Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.11 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 Gyrocommutative Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.1 Gyrocommutative Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .35
2.2 Möbius Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.3 Einstein Gyrogroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.4 Gyrogroup Isomorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51
2.5 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3 Gyrovector Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.1 Definition and First Gyrovector Space Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .55
3.2 Gyrolines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .62
3.3 Gyromidpoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .69
3.4 Analogies Between Gyromidpoints and Midpoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
CONTENTS
3.5 Gyrogeodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.6 Möbius Gyrovector Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.7 Möbius Gyrolines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.8 Einstein Gyrovector Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.9 Einstein Gyrolines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.10 Einstein Gyromidpoints and Gyrotriangle Gyrocentroids . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.11 Möbius Gyrotriangle Gyromedians and Gyrocentroids . . . . . . . . . . . . . . . . . . . . . . . . . . . .88
3.12 The Gyroparallelogram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.13 Points, Vectors, and Gyrovectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.14 The Gyroparallelogram Addition Law of Gyrovectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . .97
3.15 Gyrovector Gyrotranslation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
3.16 Gyrovector Gyrotranslation Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .106
3.17 Gyrovector Gyrotranslation and the Gyroparallelogram Law . . . . . . . . . . . . . . . . . . . . . 108
3.18 The Möbius Gyrotriangle Gyroangles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .109
3.19 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
4 Gyrotrigonometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.1 The Gyroangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .111
4.2 The Gyrotriangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .116
4.3 The Gyrotriangle Addition Law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
4.4 Cogyrolines, Cogyrotriangles, and Cogyroangles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
4.5 The Law of Gyrocosines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
4.6 The SSS to AAA Conversion Law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .125
4.7 Inequalities for Gyrotriangles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .127
4.8 The AAA to SSS Conversion Law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .129
4.9 The Law of Gyrosines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
4.10 The ASA to SAS Conversion Law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .133
4.11 The Gyrotriangle Defect . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .134
4.12 The Right Gyrotriangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .136
4.13 Gyrotrigonometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .137
4.14 Gyrodistance Between a Point and a Gyroline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
4.15 The Gyrotriangle Gyroaltitude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
4.16 The Gyrotriangle Gyroarea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .148
4.17 Gyrotriangle Similarity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
4.18 The Gyroangle Bisector Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .150
4.19 The Hyperbolic Steiner – Lehmus Theorem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .151
4.20 The Urquhart theorem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .153
4.21 The Hyperbolic Urquhart theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .156
4.22 The Gyroparallelogram Gyroangles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
4.23 Relativistic Mechanical Interpretation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .163
4.24 Gyro-Analogies that May Reveal the Origin of Dark Matter . . . . . . . . . . . . . . . . . . . . . 167
4.24.1 Newtonian Systems of Particles 167
4.24.2 Einsteinian Systems of Particles 168
4.24.3 The Relativistic Invariant Mass Paradox 169
4.25 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .179
* Publisher: Morgan&Claypool Publishers
* Number Of Pages: 120
* Publication Date: 2009-03-15
* ISBN-10 / ASIN: 1598298224
* ISBN-13 / EAN: 9781598298222
http://ifile.it/wmul368/252897.rar pass:twilightzone
