One-Sided Derivative of Distance to a Compact Set

Logan S. Fox, Peter Oberly, J. J. P. Veerman

We give a complete and self-contained proof of a folklore theorem which says that in an Alexandrov space the distance between a point $\gamma (t)$ on a geodesic $\gamma$ and a compact set $K$…