The hyperbolic Carnot theorem in the Poincaré disc model of hyperbolic geometry.
Some gyrocommutative gyrogroups, also known as Bruck loops or K-loops, admit scalar multiplication, turning themselves into gyrovector spaces. The latter, in turn, form the setting for hyperbolic geometry just as vector spaces form the setting for Euclidean geometry. In classical mechanics the centroid of a triangle in velocity space is the velocity of the center of momentum of three massive objects with equal masses located at the triangle vertices. Employing gyrovector space techniques we find...
We show that for n ≥ 5, a length space (X; d) satisfies a rough n-point condition if and only if it is rough CAT(0). As a consequence, we show that the class of rough CAT(0) spaces is closed under reasonably general limit processes such as pointed and unpointed Gromov-Hausdorff limits and ultralimits.