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 . Thenand consequentlyBecause 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
There are currently no matching articles.