# When does a pair of homotopic Lipschitz functions fail to admit a Lipschitz homotopy?

Let $(M,d)$ and $(N,\rho)$ be metric spaces. A function $f: M \to N$ is Lipschitz if there exists some constant $\kappa \geq 0$ so that $\rho(f(x),f(y))$ is smaller than $\kappa d(x,y)$ for all points $x,y \in M$.

If $f$ and $g$ are two Lipschitz maps from $M$ to $N$, a Lipschitz homotopy between them is a Lipschitz map $H: M \times [0,1] \to N$ for which $H(x,0) = f(x)$ and $H(x,1) = g(x)$ for each $x \in M$. Here we assume that the metric $\Delta$ on $M \times [0,1]$ is given by

$$\Delta\left((x,t),(y,s)\right) = \max\left\{d(x,y),|s-t|\right\}.$$

Here's the question which has been driving me nuts:

Is there an example of metric spaces $M, N$ and Lipschitz functions $f,g:M \to N$ which are homotopic, but not Lipschitz-homotopic?

If there is any justice in the world, the answer is an easy "yes". And in this case, I ask

Does the answer continue to be "yes" if $M$ and $N$ are assumed compact?

-
My answer below shows the weak spot of the question. Let's ask now about homotopies such that only $H_t: M\rightarrow N$ maps are assumed to be Lipschitz while $H$ does not have to. Alexandre Eremenko's example will still work (but will be harder to prove). What about the case of $M=N=I$ ? – Włodzimierz Holsztyński Jun 30 '13 at 20:49
If $I$ is the unit interval, then of course $tf(x)+(1-t)g(x)$ will be a Lipschitz homotopy. – Alexandre Eremenko Jul 1 '13 at 6:48
@ Alexandre Eremenko, I meant a custom made metric which still induces Euclidean topology. Then in general your homotopy will not be Lipschitz even in my weaker sense. – Włodzimierz Holsztyński Jul 1 '13 at 9:31

There is no "justice" in the world of arbitrary metric spaces:-) Let your first space $M$ be the ordinary circle with its ordinary metric, and the second space $N$ be homeomorphic to a cylinder with two border circles. Let the metric be usual on the border circles, but very rough (bumpy) on the middle part of the cylinder. You can certainly make it so rough that intermediate curves between the border circles will simply have infinite length... And of course you can make this example compact.

-
Thanks, Alexandre! This is a nice and simple example that I wish I'd thought of. – Vidit Nanda Jun 30 '13 at 16:12
Alexandre, do you mean an $S^1$ of infinite length? – Fernando Muro Jun 30 '13 at 16:47
@FernandoMuro Something like a Koch snowflake. – Baby Dragon Jul 1 '13 at 4:47
Thanks! It's hard for me to imagine that cylinder. – Fernando Muro Jul 1 '13 at 6:56
Hard to imagine a non-rectifiable curve? Look at the pictures of Koch's snowflakes or Julia sets of $z^2+c$ for small $c$ on the Internet. – Alexandre Eremenko Jul 1 '13 at 7:37

## Two examples

(I am not able to select one of them over the other one, sorry):

EXAMPLE 1   Let   $M=N=[-1;1]$   have the same metric, which induces the ordinary topology in   $[-1;1]$,   and such that the length of   $[-1;1]$   is infinite. Let   $f$   be the identity map, and let   $g:=-f$.

EXAMPLE 2   The same, except that   $M:={1}$,   $f(1):=1$,   $g(1):=-1$.

In both cases the image of the length $1$ interval   $\{1\}\times[0;1]$   is   $N$   which has infinite length. This shows that there is no Lipschitz homotopy under the given circumstances.

## A distance function in   $\mathbb R$

Every non-degenerated interval in   $\mathbb R$   has infinite length with respect to the distance   $d:\mathbb R^2\rightarrow\mathbb R$   given by:

$$\forall_{x\ y\in\mathbb R}\quad d(x\ y)\ :=\ \sqrt{|x-y|}$$

Distance   $d$   induces the Euclidean topology in   $\mathbb R$. This distance is of course invariant with respect to all translations (in this sense it is   $\mathbb R$-invariant;   and never mind my harmless typo   $\mathbb Z$   in a comment below); its isometry group is simply the same as the group of Euclidean isometries.

-
How does $N$ have infinite length? – Vidit Nanda Jun 30 '13 at 21:16
Also, in Example 1, the homotopy $H(x,t)=(2t−1)x$ for $t \in [0,1]$ and $x \in [−1,1]$ appears to have Lipschitz constant $\leq 5$. When estimating $|H(x,t) - H(y,s)|$, we end up with needing an estimate for $\alpha = 2|tx - st|$ which can be easily obtained by adding and subtracting $ty$ from this expression, so $\alpha \leq 2t|x-y| + 2|y||s-t|$. Now note that $|t| < 1 > |y|$. – Vidit Nanda Jun 30 '13 at 21:39
@Vidit, if you believe that any compact parametrized path/curve can have an infinite length, then you must believe that it is possible also for the interval. And if you could disprove my Example 1 (I doubt it :-) then you must have even an easier time disproving Example 2--does, please, concentrate on Example 2 first of all. – Włodzimierz Holsztyński Jul 1 '13 at 0:08
@Vidit, if you still want me to exhibit an explicit metrics in the interval which forces infinite length I'll do it. (Somehow you have accepted a similar thing in the first answer, by Alexandre). – Włodzimierz Holsztyński Jul 1 '13 at 0:12
I might have misunderstood your construction, so let me explain my point of confusion. You would like, in both your examples, for us to assume the existence of a metric on $[-1,1]$ which induces the ordinary topology but results in infinite length. Since the ordinary topology makes $[-1,1]$ compact but infinite length does not, I am not sure what this metric might be. Could you explain? – Vidit Nanda Jul 1 '13 at 1:19

There are many situations where you can get Lipshitz homotopies, at least with restrictions on the topology of the spaces in question. See the paper "Quantitative algebraic topology and Lipschitz homotopy" by Ferry and Weinberger, available here.

They discuss a number of results and conjectures. One relevant one is the following, which is Theorem 1 in their paper. In it, simplicial complexes are given the path metric obtained by giving each simplex the standard Euclidean metric:

Theorem : Let $Y$ be a finite simplicial complex with finite homotopy groups in dimensions less than or equal to $d$. Then there exists $C(d)$ so that for all simplicial complexes $X$ of dimension less than or equal to $d$, if $f,g : X \rightarrow Y$ are homotopic $L$-Lipschitz maps with $L \geq 1$, then there is a $C(d)L$-Lipschitz homotopy $F$ from $f$ to $g$.

Conversely, if a Lipschitz homotopy always exists, then the homotopy groups of $Y$ are finite in dimensions less than or equal to $d$.

-
Thanks and +1, Andy. This paper by Ferry and Weinberger looks great. – Vidit Nanda Jul 1 '13 at 15:01