Closest point on a geodesic line in a hyperbolic metric space

ID: closest-point-on-a-geodesic-line-in-a-hyperbolic-metric-space

If is an isometrically embedded geodesic line, then every has a closest point on . The function is continuous and tends to infinity with . Any two minimizing parameters differ by at most , and therefore by at most , in a -hyperbolic metric space.

New to topics? Read the docs here!