The Hyperbolic Derivative in the Poincaré Ball Model of Hyperbolic Geometry

Abstract

The generic Möbius transformation of the complex open unit disc induces a binary operation in the disc, called the Möbius addition. Following its introduction, the extension of the Möbius addition to the ball of any real inner product space and the scalar multiplication that it admits are presented, as well as the resulting geodesics of the Poincaré ball model of hyperbolic geometry. The Möbius gyrovector spaces that emerge provide the setting for the Poincaré ball model of hyperbolic geometry in the same way that vector spaces provide the setting for Euclidean geometry. Our summary of the presentation of the Möbius ball gyrovector spaces sets the stage for the goal of this article, which is the introduction of the hyperbolic derivative. Subsequently, the hyperbolic derivative and its application to geodesics uncover novel analogies that hyperbolic geometry shares with Euclidean geometry.