Reach (mathematics)

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Reach" mathematics – news · newspapers · books · scholar · JSTOR (December 2009)

Let X be a subset of Rⁿ. Then the reach of X is defined as

${\displaystyle {\text{reach}}(X):=\sup\{r\in \mathbb {R} :\forall x\in \mathbb {R} ^{n}\setminus X{\text{ with }}{\rm {dist}}(x,X)<r{\text{ exists a unique closest point }}y\in X{\text{ such that }}{\rm {dist}}(x,y)={\rm {dist}}(x,X)\}.}$

Shapes that have reach infinity include

• a single point,
• a straight line,
• a full square, and
• any convex set.

The graph of ƒ(x) = |x| has reach zero.

A circle of radius r has reach r.

• Federer, Herbert (1969), Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, vol. 153, New York: Springer-Verlag New York Inc., pp. xiv+676, ISBN 978-3-540-60656-7, MR 0257325, Zbl 0176.00801