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

given two points p, q in a connected metric space and $\epsilon > 0$

I would like to show there exists pts $p=a_0,....,a_n=q$ s.t. the $d_X(a_i,a_{i-1})< \epsilon, \ \forall i\in{1,...,n}$

My idea is to say the distance function $d_X(p,x)$ is continuous and the continuous image of a connected set is connected. Then split up the range into $n$, $\epsilon$ sized intervals then take one pt from each interval and let a_i be the pre-image of that point.

I know $d_X(p,p)=0$ and $d_X(p,q) \geq 0$ so the distance must take on all the values in between.

So I think my only hangup is how to show the distance function is continuous.

share|cite|improve this question
Triangle inequality is a good way to go. – mixedmath Dec 20 '11 at 1:39
Recall how topology (and thus continuity) is defined on a metric space (with balls). To show continuity of $f : x \mapsto d_X(x,p)$, take an open set $\Omega$ in $\mathbb{R}$ and check that $f^{-1}(\Omega)$ is open by taking an arbitrary point $x$ in it and finding an open ball centered at $x$ and contained in $f^{-1}(\Omega)$. – Joel Cohen Dec 20 '11 at 1:46

An alternative approach: Let $p$ and $\varepsilon>0$ be fixed. The set of $q$ such that there exists such a finite sequence of points is open and closed, and therefore is equal to the whole space.

share|cite|improve this answer
yeah this works out quite well – user9352 Dec 20 '11 at 1:53

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.