2
$\begingroup$

Given $f: Y\subset\mathbb{R}\to \mathbb{R}$ a $k$-lipschitz function, (i.e $|f(x)-f(y)|\leq k|x-y|$ for any $x,y\in Y$) I need to prove the existence of a $k$-lipschitz function $g:\mathbb{R}\to \mathbb{R}$ such that $g|_Y=f$.

My answer when $f$ is bounded is considering $$g(x)=\inf_{y\in Y}\{f(y)+k|x-y|\}.$$

Is it correct?. How do you find $g$ when $f$ is not bounded?.

  • 0
    Is there any information about what kind of subset $Y\subseteq \mathbb{R}$ is? Open, connected, etc.?2012-05-15
  • 0
    @ZevChonoles $Y\subset \mathbb{R}$ can be any subset.2012-05-15
  • 3
    Your definition of $g$ works, even if $f$ is unbounded. Notice that the sum $f(y)+k|x-y|$ is bounded from below for any fixed $x$ (use the Lipschitz property of $f$).2012-05-15
  • 0
    @LeonidKovalev I don't think so because $f(y)$ is not bounded. Can you explain why is bounded? I didn't well understood.2012-05-15
  • 0
    @LeonidKovalev My definition of $g$ does not always work because $f$ not necessarly has a lower bound.2012-05-15

1 Answers 1

2

An alternate explicit construction:

First, you can continuously extend to the closure $\bar{Y}$ using the Lipschitz condition.

Then, since $\bar{Y}$ is closed, for every $x\in \mathbb{R}\setminus \bar{Y}$ one can find $x_- = \max \bar{Y}\cap \{ y < x\}$ and $x_+ = \min \bar{Y}\cap \{y > x\}$. Then just linearly interpolate: $$ g(x) = f(x_-) + \frac{f(x_+) - f(x_-)}{x_+ - x_-} (x - x_-) $$


But let me explain Leonid Kovalev's comment. Notice that fixing some arbitrary $x' \in Y$, we have that for any $x\in\mathbb{R}$ now chosen to be fixed

$$ f(y) - f(x') + k|x-y| \geq f(y) - f(x') + k|x' - y| - k|x-x'| $$

from triangle inequality. But using the $k$ lipschitz property you have that

$$ f(y) - f(x') + k|x' - y| \geq 0 $$

so the expression

$$ f(y) - f(x') + k|x-y| \geq -k|x-x'| $$

where the right hand side is independent of $y$. Or, in other words

$$ f(y) + k|x-y| \geq f(x') - k|x-x'| $$

so the expression you want to take the infimum of (in $y\in Y$) is bounded from below by some constant, and hence the infimum exists.

  • 0
    Can be simplified: $f(y)+k|x-y|\ge f(x)$, so $f(x)$ is the lower bound for the $\inf$ in the definition of $g$.2012-05-15
  • 2
    @Leonid: $f$ is not defined at $x$ by assumption. In fact, we are trying to define an extension of $f$ *to* $x$, no?2012-05-15
  • 0
    @WillieWong Ty, both answers was very good explained!!2012-05-15
  • 1
    Of course, that was a stupid comment on my part.2012-05-15
  • 0
    @WillieWong a little detail, you must mean $x_- = \max \bar{Y}\cap \{ y \leq x\}$ indeed $x_- = \max \bar{Y}\cap \{ y < x\}$ for continuity right?2012-05-15
  • 1
    @Gaston: the two numbers are the same. As $x\in \mathbb{R}\setminus \bar{Y}$ which is open, there exists some $\epsilon$ such that $\bar{Y}\cap \{y\leq x\} = \bar{Y}\cap\{y < x\} = \bar{Y} \cap \{y \leq x - \epsilon\}$.2012-05-16
  • 0
    Ty for clarification.2012-05-16