Shortest paths in arbitrary plane domains
General Topology
2020-11-11 v1
Abstract
Let be a connected open set in the plane and a path such that . We show that the path can be ``pulled tight'' to a unique shortest path which is homotopic to , via a homotopy with endpoints fixed whose intermediate paths , for , satisfy . We prove this result even in the case when there is no path of finite Euclidean length homotopic to 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}
}