Let be the midpoint of a geodesic . Since is a convex subset of a geodesic metric space, . In the geodesic triangle with vertices , the point lies within of or . By symmetry suppose and . Put . Then
and consequently
Because is a closest point of to and , . Combining the inequalities gives . This is the coarse uniqueness of a closest point in a hyperbolic metric space.

Articles by others on the same topic (0)

There are currently no matching articles.