Is point to set distance continuous? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T06:21:01Z http://mathoverflow.net/feeds/question/74012 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74012/is-point-to-set-distance-continuous Is point to set distance continuous? Maj 2011-08-29T23:24:03Z 2011-08-30T00:43:42Z <p>Assume $\mathbf{d}:\mathbb{R}^n\times\mathbb{R}^n\rightarrow\mathbb{R}_0^+$ is a metric such that the function $\psi(x)=\mathbf{d}(x,y)$ for any $y\in\mathbb{R}^n$ is continuous in the Euclidean metric. Moreover, assume that $\mathcal{A}\subseteq\mathbb{R}^n$ is a closed set. My question: is $\phi(x)=\mathbf{d}(x,\mathcal{A})$ a continuous function in Euclidean metric? Note that $\mathbf{d}(x,\mathcal{A})$ is point to set distance. </p> http://mathoverflow.net/questions/74012/is-point-to-set-distance-continuous/74022#74022 Answer by Phil Isett for Is point to set distance continuous? Phil Isett 2011-08-30T00:43:42Z 2011-08-30T00:43:42Z <p>Yes, it is.</p> <p>Being an infimum of a family of continuous functions, it's clear that the closed upper contour sets ${ x : \phi(x) \geq t }$ are closed. (This means the function $\phi$ is upper-semicontinuous. I always have to think of the characteristic function of a closed interval $[0,1]$ which is "above" the lowersemicontinuous characteristic function of $(0,1)$, to keep my head straight about which one's which.) </p> <p>To see that the closed, lower contour sets ${ x : \phi(x) \leq t }$ are closed, you can consider a convergent sequence $x_n \to x$ (convergent with respect to the Euclidean metric) with $\phi(x_n) \leq t$. Associated to this sequence, there are also points $y_n \in A$ which are a distance $d(x, y_n) \leq t + \delta$ of $x_n$. For $n$ large enough, $d(x, x_n) \leq \delta$ (because $\phi$ is continuous with respect to the Euclidean metric). Which means that $d(x, y_n) \leq t + 2 \delta$. Thus $d(x, A) \leq t + 2 \delta$ for all $\delta > 0$.</p>