Do all paths have a neighborhood about them which lift homeomorphically to a covering space?

192 Views Asked by At

Let $\widetilde{X}$ be a covering space of $X$ with projection map $p:\widetilde{X}\to X$. We know by definition that, for all $x$ in $X$, there exists a neighborhood $x\in U\subset X$ such that $p^{-1}(U)$ is a collection of disjoint open sets in $\widetilde{X}$, and further each of these open sets are mapped homeomorphically to $U$ by $p$. I would like to know if the same can be said for a path in $X$. The reason I think this could be possible is as follows: Let $f:[0,1]\to X$ be a path in $X$. Then for $0\leq t\leq 1$, $f(t)$ contains a neighborhood about it that lifts homeomorphically to $\widetilde{X}$. The path is compact, so we can cover the path with finitely many of these neighborhoods. If we then look at the inverse image of all of these neighborhoods, it seems as if we should get the desired result.

My main problem with the above reasoning is that if you take $X$ to be the circle $S^1$ with covering space $\mathbb{R}$, using this process on a loop which goes around the circle once would cause your inverse image to be all of $\mathbb{R}$, in which case we don't get a homeomorphic lift.

So I guess my main question is, to what extent can we ask for such homeomorphic lifts?