Thanks for the reply. I hope you can clarify a couple of points in your answer, however. When you say "We have a continuous function f(x)=d(x,F)," am I correct in saying that you mean d(x,F) = inf{d(x,f): f lying in F}?
Also, what do you mean by ]-1/n,1/n[ ? Is it something like an open...