61
[0R8] Preso uno spazio metrico \((M,d)\), dato \(Aβ M\) non-vuoto, si definisce la funzione distanza \(d_ A:Mβ β\) come
\begin{equation} d_ A(x)=\inf _{yβ A} d(x,y)~ .\label{eq:funz_ distanza} \end{equation}
62
[0R8] Preso uno spazio metrico \((M,d)\), dato \(Aβ M\) non-vuoto, si definisce la funzione distanza \(d_ A:Mβ β\) come