Skip to main content
MathOverflow

Return to Question

Please don't vandalize your posts - restored to original version
Source Link
edit approved Oct 26, 2016 at 12:52
Glorfindel
edit approved Oct 26, 2016 at 12:52
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

.............................................................................................. Let $f\colon[0,1]\to \mathbb{R^2}$ be continuous such that $f(0)=f(1)$.

If want to find a 1-Lipschitz function $g : [0,a]\to f([0,1])$ such that $g(0)=g(a)$ and $g$ is surjective ($a>0$).

I had the following idea using the total variation of $f$: Denote $V_T(f) = \sup \left\lbrace\sum_{i=1}^n \lVert f(x_i) - f(x_{i-1})\rVert_2 \ \biggm| \ n\in\mathbb{N}, \ 0=x_0<x_1<\dots<x_n=1\right\rbrace$. Suppose morevover that $V_T(f)<+\infty$.

Define $g:[0,V_T(f)]\to f([0,1])$ such that $g(x) = f\left(\frac{x}{V_T(f)}\right)$.

Then $g(0)=g(V_T(f))$ and $g$ is surjective. But I cannot prove that $\Vert g(x_1)-g(x_2)\Vert_2\leq |x_1-x_2|$. Maybe it is not true, in that case is there another definition of $g$ that would be suitable?

.....................................................................................................

Let $f\colon[0,1]\to \mathbb{R^2}$ be continuous such that $f(0)=f(1)$.

If want to find a 1-Lipschitz function $g : [0,a]\to f([0,1])$ such that $g(0)=g(a)$ and $g$ is surjective ($a>0$).

I had the following idea using the total variation of $f$: Denote $V_T(f) = \sup \left\lbrace\sum_{i=1}^n \lVert f(x_i) - f(x_{i-1})\rVert_2 \ \biggm| \ n\in\mathbb{N}, \ 0=x_0<x_1<\dots<x_n=1\right\rbrace$. Suppose morevover that $V_T(f)<+\infty$.

Define $g:[0,V_T(f)]\to f([0,1])$ such that $g(x) = f\left(\frac{x}{V_T(f)}\right)$.

Then $g(0)=g(V_T(f))$ and $g$ is surjective. But I cannot prove that $\Vert g(x_1)-g(x_2)\Vert_2\leq |x_1-x_2|$. Maybe it is not true, in that case is there another definition of $g$ that would be suitable?

deleted 640 characters in body
Source Link
maths
maths
  • 21
  • 5

Let $f\colon[0,1]\to \mathbb{R^2}$ be continuous such that $f(0)=f(1)$.

If want to find a 1-Lipschitz function $g : [0,a]\to f([0,1])$ such that $g(0)=g(a)$ and $g$ is surjective ($a>0$).

I had the following idea using the total variation of $f$: Denote $V_T(f) = \sup \left\lbrace\sum_{i=1}^n \lVert f(x_i) - f(x_{i-1})\rVert_2 \ \biggm| \ n\in\mathbb{N}, \ 0=x_0<x_1<\dots<x_n=1\right\rbrace$. Suppose morevover that $V_T(f)<+\infty$.

Define $g:[0,V_T(f)]\to f([0,1])$ such that $g(x) = f\left(\frac{x}{V_T(f)}\right)$.

Then $g(0)=g(V_T(f))$ and $g$ is surjective. But I cannot prove that $\Vert g(x_1)-g(x_2)\Vert_2\leq |x_1-x_2|$. Maybe it is not true, in that case is there another definition of $g$ that would be suitable?..............................................................................................

Let $f\colon[0,1]\to \mathbb{R^2}$ be continuous such that $f(0)=f(1)$.

If want to find a 1-Lipschitz function $g : [0,a]\to f([0,1])$ such that $g(0)=g(a)$ and $g$ is surjective ($a>0$).

I had the following idea using the total variation of $f$: Denote $V_T(f) = \sup \left\lbrace\sum_{i=1}^n \lVert f(x_i) - f(x_{i-1})\rVert_2 \ \biggm| \ n\in\mathbb{N}, \ 0=x_0<x_1<\dots<x_n=1\right\rbrace$. Suppose morevover that $V_T(f)<+\infty$.

Define $g:[0,V_T(f)]\to f([0,1])$ such that $g(x) = f\left(\frac{x}{V_T(f)}\right)$.

Then $g(0)=g(V_T(f))$ and $g$ is surjective. But I cannot prove that $\Vert g(x_1)-g(x_2)\Vert_2\leq |x_1-x_2|$. Maybe it is not true, in that case is there another definition of $g$ that would be suitable?

.....................................................................................................

Source Link
maths
maths
  • 21
  • 5

From bounded variation to 1-Lipschitz function

Let $f\colon[0,1]\to \mathbb{R^2}$ be continuous such that $f(0)=f(1)$.

If want to find a 1-Lipschitz function $g : [0,a]\to f([0,1])$ such that $g(0)=g(a)$ and $g$ is surjective ($a>0$).

I had the following idea using the total variation of $f$: Denote $V_T(f) = \sup \left\lbrace\sum_{i=1}^n \lVert f(x_i) - f(x_{i-1})\rVert_2 \ \biggm| \ n\in\mathbb{N}, \ 0=x_0<x_1<\dots<x_n=1\right\rbrace$. Suppose morevover that $V_T(f)<+\infty$.

Define $g:[0,V_T(f)]\to f([0,1])$ such that $g(x) = f\left(\frac{x}{V_T(f)}\right)$.

Then $g(0)=g(V_T(f))$ and $g$ is surjective. But I cannot prove that $\Vert g(x_1)-g(x_2)\Vert_2\leq |x_1-x_2|$. Maybe it is not true, in that case is there another definition of $g$ that would be suitable?