Reach (mathematics) explained

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

reach(X):=\sup\{r\inR:\forallx\inRn\setminusXwith{\rmdist}(x,X)<rexistsauniqueclosestpointy\inXsuchthat{\rmdist}(x,y)={\rmdist}(x,X)\}.

Examples

Shapes that have reach infinity include

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

A circle of radius r has reach r.