7
$\begingroup$

This question deals with a special case of this question, which has not yet been satisfactorily solved. If you have any ideas about that general case, feel free to answer there and I'll be happy to close/delete this question.

Let $(X,d)$ be a metric space such that every open set is the disjoint union of open balls. Also assume that $(X,d)$ is a length space, i.e. for all $x,y\in X$ and $L>d(x,y)$ there exists a weakly contracting curve $\gamma\colon [0,L]\to X$ from $x$ to $y$ (that is, we have $\gamma(0)=x$, $\gamma(L)=y$ and $d(\gamma(t_1),\gamma(t_2))\le |t_1-t_2|$ for $t_1,t_2\in[0,L]$).

Conjecture: $(X,d)$ is homeomorphic to a connected subspace of $S^1$ (that is, one of $\{0\}$, $(0,1)$, $[0,1)$, $[0,1]$, $S^1$.

Note that the more general question was about connected spaces and that length spaces are connected. I have a strong feeling that the case of length spaces is a lot simpler.

1 Answers 1

2

Here are my thoughts so far: In what follows, curves $\gamma$ are always weak contractions. Lemma 0 and 1 are general remarks about length spaces.

Lemma 0. If $\gamma\colon[0,L]\to X$ is a weak contraction with $x=\gamma(0)\ne \gamma(L)=y$, then we may assume wlog. that $\gamma$ is injective.

Proof: Let $S$ be the set of all finite unions of intervals of the form $$ A=\bigcup_{k=1}^n[a_k,b_k]$$ with $a_1=0$, $b_n=L$, $a_k

Lemma 1. Every open ball is (path-)connected.

Proof: Indeed, If $y\in B_r(x)$, then there is a curve $\gamma$ from $x$ to $y$ that stays within $B_r(x)$, e.g. we can take $L=\frac{r+d(x,y)}2$.$_\square$

Lemma 2. If $\gamma$ is a curve from $x$ to $y\ne x$ with $L

Proof: Let $$\tag1 U=\bigcup_{0L-\epsilon.$$ Since there is a $\tau\in[0,L]$ with $d(z,\gamma(\tau))<\epsilon$, we have $$\tag4r=d(\xi,x)<\tau+\epsilon$$ and $$\tag5r=d(\xi,y)<(L-\tau)+\epsilon,$$ hence $r<\frac L2+\epsilon$. Also, $$\tag6r=d(\xi,z)<\epsilon+|\tau-t_0|.$$ If $t_0\le \tau$, this implies $r<\epsilon+\tau-t_0$ and together with (5) and (3) $$ (L-t_0)+2\epsilon>2r>L-\epsilon.$$ If on the other hand $t_0>\tau$, then (6), (4) and (3) impliy $$ t_0+2\epsilon>2r>L-\epsilon.$$ In both cases we obtain a contradiciton to $t_0\in(3\epsilon,L-3\epsilon)$. Therefore, $U'$ is not connected.

Now for a point $\eta\in U'$, the following cases are possible:

  • $\eta\in B_\epsilon(z)$. Then also $\eta\in B_\epsilon(z')$ for some $z'=\gamma(t')$ with $t'\approx t_0$. Therefore there is a path within $U'$ from $\eta$ to $\gamma(t')$ and from there along $\gamma$ to either $x$ or $y$.

  • $\eta\notin B_\epsilon(z)$. Then of course $\eta\in B_{\min\{\epsilon,t',L-t'\}}(\gamma(t'))$ for some $t'\ne t_0$ and again $\eta$ is path-connected within $U'$ to $x$ or $y$.

We conclude that $U'$ has exactly two connected components, one containing $x$ and one containing $y$.

Let $\delta =\min\{\epsilon,t_0-3\epsilon,L-3\epsilon-t_0\}>0$. Assume that $B_\delta(z)$ contains a point $\eta$ that is not in the image of $\gamma$. For $t_1$ sufficiently close to $t_0$ (and with $t_0

Lemma 3. If $x\ne y$ then there is a curve $\gamma\colon[0,L]$ from $x$ to $y$ such that $\gamma|_{(0,L)}$ is a homeomorphism with an open subset of $X$.

Proof: Using lemma 2 with $\epsilon<\frac16d(x,y)$ we find a point $z=\gamma(\frac L2)$ that has a neighbourhod looking like an interval. Any (injective) curve from $z$ to $x$ taking the "wrong" direction has a length of at least $\frac L2+\epsilon$, hence this does not happen for all sufficiently short curves from $z$ to $x$. We conclude that a sequence of curves from $z$ to $x$ where $L\to d(z,x)$ converges pointwise to a curve $[0,d(z,x)]\to X$ such that the restriction to $[0,d(z,x))$ is a homeomorphism. If we do the same with $y$ instead of $x$ and combine the results, the claim of the lemma follows.$_\square$