1
$\begingroup$

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.

  • 0
    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)$.2011-12-20

1 Answers 1

1

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.

  • 0
    yeah this works out quite well2011-12-20