Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|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
add comment

1 Answer

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|improve this answer
    
yeah this works out quite well –  user9352 Dec 20 '11 at 1:53
add comment

Your Answer

 
discard

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.