Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-133/2/a/solution

A subset is a quasiconvex subset with constant if every metric geodesic segment with endpoints in it lies within distance of it. Explicitly,
for every choice of the metric geodesic . The distance is computed in the ambient geodesic metric space, not in the intrinsic path metric of . One only asks the metric geodesic to stay close to , rather than requiring it to lie in ; the latter makes a convex subset of a geodesic metric space.
The usual convention takes . If the printed allowance is interpreted literally using the distance inequality, a negative cannot work for a nonempty , since the constant metric geodesic at a point of has distance zero. For the empty subset the endpoint condition is vacuous.

New to topics? Read the docs here!