Alcance de Federer (Reach)

Para un subconjunto cerrado A del espacio euclidiano, la reach (alcance) es el supremo r≥0 tal que todo punto a distancia menor que r de A tiene un único punto más cercano en A; equivalentemente, el radio del mayor vecindario tubular sobre el que la proyección al punto más cercano está bien definida y es unívoca.