View source for Gromov hyperbolic space

<!--
g1102402.png
$#A+1 = 66 n = 0
$#C+1 = 66 : ~/encyclopedia/old_files/data/G110/G.1100240 Gromov hyperbolic space,
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

''hyperbolic space in the sense of Gromov''

This notion provides a uniform  "global"  approach to such objects as the hyperbolic plane, simply-connected Riemannian manifolds with pinched negative sectional curvature,  $  { \mathop{\rm CAT} } ( - 1 ) $-
spaces, and metric trees. Various  "hyperbolic properties"  introduced earlier (mostly in the context of group theory) [[#References|[a1]]], [[#References|[a2]]], [[#References|[a3]]] were summed up and further developed by M. Gromov in his seminal paper [[#References|[a4]]]. More detailed expositions of (some parts of) Gromov's work can be found in [[#References|[a5]]] and [[#References|[a6]]].

If  $  ( X,d ) $
is a [[Metric space|metric space]], then the Gromov product of two points  $  x,y \in X $
with respect to a reference point  $  o \in X $
is defined as

$$ 
( x.y ) _ {o} = {
\frac{1}{2}
 } [ d ( o,x ) + d ( o,y ) - d ( x,y ) ]
$$

(when  $  X $
is a tree, this product coincides with the confluent of  $  x $
and  $  y $, 
i.e., the length of the common part of the geodesic segments  $  [ o,x ] $
and  $  [ o,y ] $). 
The space  $  X $
is called  $  \delta $-
hyperbolic (with a constant  $  \delta \geq  0 $) 
if the Gromov product satisfies the  $  \delta $-
ultrametric inequality

$$ 
( x.y ) _ {o} \geq   \min  \{ ( x.z ) _ {o} , ( y.z ) _ {o} \} - \delta
$$

for any  $  4 $
points  $  o,x,y,z \in X $. 
If  $  X $
is  $  \delta $-
hyperbolic for some  $  \delta \geq  0 $, 
it is called Gromov hyperbolic. Any metric tree is  $  0 $-
hyperbolic, and, conversely, any  $  0 $-
hyperbolic space isometrically imbeds into a tree. For Cartan–Hadamard manifolds, hyperbolicity is equivalent to the strong visibility property [[#References|[a7]]].

Often one adds to the definition of Gromov hyperbolicity the following two requirements: 1)  $  X $
is geodesic (cf. also [[Geodesic manifold|Geodesic manifold]]), i.e., any two points in  $  X $
can be joined by a path (a geodesic) whose length coincides with the distance between these points; and 2)  $  X $
is proper, i.e., all metric balls in  $  X $
are compact. Then hyperbolicity is equivalent to the following thin triangles condition: there exists a constant  $  \delta  ^  \prime  $
such that for any geodesic triangle in  $  X $
one can choose a point on each of the sides of the triangle in such a way that the pairwise distances between these  $  3 $
points are all not greater than  $  \delta  ^  \prime  $.

Yet another definition of hyperbolicity can be given in terms of exponential divergence of geodesic rays in  $  X $, 
cf. [[#References|[a8]]].

A sequence  $  ( x _ {n} ) $
in  $  X $
is called convergent if  $  ( x _ {n} .x _ {m} ) \rightarrow \infty $. 
The hyperbolic boundary  $  \partial  X $
of a hyperbolic space  $  X $
is defined as the set of equivalence classes of convergent sequences with respect to the equivalence relation  $  ( x _ {n} ) \sim ( y _ {n} ) \iff ( x _ {n} .y _ {m} ) \rightarrow \infty $. 
Any geodesic ray in  $  X $
is convergent, and, conversely, for any class  $  \gamma \in \partial  X $
and any point  $  x $
there exists a geodesic ray (not necessarily unique!) joining  $  x $
and  $  \gamma $, 
i.e., starting from  $  x $
and belonging to the class  $  \gamma $. 
Equivalently,  $  \partial  X $
can be defined as the set of asymptotic classes of geodesic rays, with two rays being asymptotic if they are within bounded distance from each other.

The hyperbolic boundary is the boundary of the hyperbolic compactification of  $  X $. 
For trees the hyperbolic compactification coincides with the end compactification, and for hyperbolic Cartan–Hadamard manifolds with the visibility compactification. The Gromov product naturally extends to  $  \partial  X $, 
and  $  e ^ {- \epsilon ( \gamma _ {1} . \gamma _ {2} ) } $, 
for sufficiently small  $  \epsilon > 0 $, 
is uniformly equivalent to a [[Metric|metric]] on  $  \partial  X $.

Hyperbolicity of a metric space  $  X $
is determined by its  "global"  structure only. If  $  ( X,d ) $
and  $  ( X  ^  \prime  ,d  ^  \prime  ) $
are two metric spaces such that there exist mappings  $  f : X \rightarrow {X  ^  \prime  } $
and  $  {f  ^  \prime  } : {X  ^  \prime  } \rightarrow X $
and a constant  $  C > 0 $
with the property that  $  d  ^  \prime  ( f ( x ) ,f ( y ) ) \leq  C d ( x,y ) + C $
and  $  d ( f  ^  \prime  ( f ( x ) ) ,x ) \leq  C $
for all  $  x,y \in X $, 
and  $  d ( f  ^  \prime  ( x  ^  \prime  ) ,f  ^  \prime  ( y  ^  \prime  ) ) \leq  C d  ^  \prime  ( x  ^  \prime  ,y  ^  \prime  ) + C $
and  $  d  ^  \prime  ( f ( f  ^  \prime  ( x  ^  \prime  ) ) ,x  ^  \prime  ) \leq  C $
for all  $  x  ^  \prime  ,y  ^  \prime  \in X  ^  \prime  $(
such metric spaces are called roughly isometric), then  $  X $
and  $  X  ^  \prime  $
are hyperbolic simultaneously, and the hyperbolic boundaries  $  \partial  X $
and  $  \partial  X  ^  \prime  $
are homeomorphic.

Isometries of hyperbolic spaces can be classified into elliptic, parabolic and hyperbolic ones in the same way as isometries of the usual hyperbolic plane. An important class of hyperbolic spaces is provided by finitely generated groups whose Cayley graphs are Gromov hyperbolic spaces (such groups are called word hyperbolic).

See also [[Hyperbolic group|Hyperbolic group]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Rips,   "Subgroups of small cancellation groups"  ''Bull. London Math. Soc.'' , '''14'''  (1982)  pp. 45–47</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Gromov,   "Infinite groups as geometric objects" , ''Proc. Int. Congress Math. Warszawa, 1983'' , '''1'''  (1984)  pp. 385–391</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. Cannon,   "The combinatorial structure of cocompact discrete hyperbolic groups"  ''Geom. Dedicata'' , '''16'''  (1984)  pp. 123–148</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  M. Gromov,   "Hyperbolic groups"  S.M. Gersten (ed.) , ''Essays in Group Theory'' , ''MSRI Publ.'' , '''8''' , Springer  (1987)  pp. 75–263</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  "Sur les groupes hyperboliques d'après Mikhael Gromov"  E. Ghys (ed.)  P. de la Harpe (ed.) , ''Progress in Maths.'' , '''83''' , Birkhäuser  (1990)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  M. Coornaert,   T. Delzant,   A. Papadopoulos,   "Géométrie et théorie des groupes" , ''Lecture Notes in Mathematics'' , '''1441''' , Springer  (1990)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  V.A. Kaimanovich,   "Ergodicity of harmonic invariant measures for the geodesic flow on hyperbolic spaces"  ''J. Reine Angew. Math.'' , '''455'''  (1994)  pp. 57–103</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Cannon,   "The theory of negatively curved spaces and groups"  T. Bedford (ed.)  M. Keane (ed.)  C. Ser. (ed.) , ''Ergodic Theory, Symbolic Dynamics and Hyperbolic Spaces'' , Oxford Univ. Press  (1991)  pp. 315–369</TD></TR></table>