English

Shortest paths in arbitrary plane domains

General Topology 2020-11-11 v1

Abstract

Let Ω\Omega be a connected open set in the plane and γ:[0,1]Ω\gamma: [0,1] \to \overline{\Omega} a path such that γ((0,1))Ω\gamma((0,1)) \subset \Omega. We show that the path γ\gamma can be ``pulled tight'' to a unique shortest path which is homotopic to γ\gamma, via a homotopy hh with endpoints fixed whose intermediate paths hth_t, for t[0,1)t \in [0,1), satisfy ht((0,1))Ωh_t((0,1)) \subset \Omega. We prove this result even in the case when there is no path of finite Euclidean length homotopic to γ\gamma under such a homotopy. For this purpose, we offer three other natural, equivalent notions of a ``shortest'' path. This work generalizes previous results for simply connected domains with simple closed curve boundaries.

Cite

@article{arxiv.1903.06737,
  title  = {Shortest paths in arbitrary plane domains},
  author = {L. C. Hoehn and L. G. Oversteegen and E. D. Tymchatyn},
  journal= {arXiv preprint arXiv:1903.06737},
  year   = {2020}
}
R2 v1 2026-06-23T08:09:47.865Z