Existence of length minimizers in homotopy classes of Lipschitz paths in ${\mathbb{H}}^1$

Daniel Perry

We show that for any purely 2-unrectifiable metric space $M$, for example the Heisenberg group ${\mathbb{H}}^1$ equipped with the Carnot-Carathéodory metric, every homotopy class $[γ…