Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(A,d)$ be a metric space with $B\subseteq A$. If $B$ is compact, then it is bounded and closed. If $y\in A$ then there exists $x\in B$ so that $\inf\{d(y,z) : z\in B\} = d(y,x)$. It is reasonable to me but I don't know how to prove it. I would be very pleased if you give me a hint. Thanks.

share|cite|improve this question
This is a particular case of this:… – 1015 Feb 9 '13 at 14:22
Try to find a sequence $x_n$ so that $x_n\in B$ and $d(x_{n+1},y) < d(x_n,y)$ and then use some nice properties of $B$. – Louis Feb 9 '13 at 14:23

Because of the definition of $\inf$, we have a sequence $z_n\in B$ such that $d(y,z_n)\to d(y,B)$. Since $B$ is compact, $z_n$ has a convergent subsequence within $B$..

share|cite|improve this answer
+1 for this concise argument. – 1015 Feb 9 '13 at 14:48

The basic fact is that the metric $d$, as a function from $X \times X$ to $\mathbb{R}$, is a continuous function, e.g. see here. It follows from this that for fixed $y$, the function $d_y$ that sends $x \in B$ to $d(y,x)$ is also continuous (as a 2-fold restriction of $d$). As such $d_y$ assumes a minimum on $B$, as all continuous real-valued functions on $B$ do.

share|cite|improve this answer
+1 for this too. – 1015 Feb 9 '13 at 15:00

Let $D$ be a real number. If $d(x,y)>D$ for all $x\in B$, then the open sets $U_n=\{x\colon d(x,y)>D+\frac1n\}$ cover $B$. As $B$ is compact, there is a finite subcover and as the $U_n$ are linearly ordered, there is in fact a single $U_n$ with $B\subseteq U_n$. But then $d(x,y)>D+\frac1n$ for all $x\in B$ and hence $D<\inf\{d(x,y)\colon x\in B\}$. Thus if $D\ge \inf\{d(x,y)\colon x\in B\}$, then there exists $x\in B$ with $d(x,y)\le D$. Especially, there exists $x\in B$ with $d(x,y)=\inf\{d(x,y)\colon x\in B\}$.

share|cite|improve this answer
+1 for this nice and unusual (to me, at least) approach. – 1015 Feb 9 '13 at 14:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.