PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] hyperbolic metric space (Definition)

Let $ \delta \ge 0$. A metric space $ (X,d)$ is $ \delta$ hyperbolic if, for any figure $ ABC$ in $ X$ that is a geodesic triangle with respect to $ d$ and for every $ P \in \overline{AB}$, there exists a point $ Q \in \overline{AC} \cup \overline{BC}$ such that $ d(P,Q) \le \delta$.

A hyperbolic metric space is a metric space that is $ \delta$ hyperbolic for some $ \delta \ge 0$.

Although a metric space is hyperbolic if it is $ \delta$ hyperbolic for some $ \delta \ge 0$, one usually tries to find the smallest value of $ \delta$ for which a hyperbolic metric space $ (X,d)$ is $ \delta$ hyperbolic.

A simple example of a hyperbolic metric space is the real line under the usual metric. Given any three points $ A,B,C \in \mathbb{R}$, we always have that $ \overline{AB} \subseteq \overline{AC} \cup \overline{BC}$. Thus, for any $ P \in \overline{AB}$, we can take $ Q=P$. Therefore, the real line is 0 hyperbolic. Similar reasoning can be used to show that every real tree is 0 hyperbolic.



"hyperbolic metric space" is owned by Wkbj79.
(view preamble)

View style:

Also defines:  $\delta$ hyperbolic

This object's parent.

Attachments:
hyperbolic group (Definition) by Wkbj79
Log in to rate this entry.
(view current ratings)

Cross-references: real tree, metric, line, real, point, geodesic triangle, metric space
There are 3 references to this entry.

This is version 3 of hyperbolic metric space, born on 2007-06-03, modified 2007-06-03.
Object id is 9509, canonical name is HyperbolicMetricSpace.
Accessed 1297 times total.

Classification:
AMS MSC54E35 (General topology :: Spaces with richer structures :: Metric spaces, metrizability)
 54E99 (General topology :: Spaces with richer structures :: Miscellaneous)
 20F06 (Group theory and generalizations :: Special aspects of infinite or finite groups :: Cancellation theory; application of van Kampen diagrams)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)