4

I could not find a way to start with, let alone solution. Any help would be greatly appreciated.

Let $M_K$ be the set of all functions f in $C_{[a,b]}$ satisfying a Lipschitz condition i.e., $|f(t_1)-f(t_2)|\leq K|t_1-t_2|$ for all $t_1,t_2\in[a,b]$, where $K$ is a fixed positive number. Then $M=\cup_K M_K$ is not closed.

user64066
  • 2,480

2 Answers2

6

If $a = b$, then every $f\in C([a,b])$ is Lipschitz continuous (with Lipschitz constant $0$), so in that degenerate case, $M$ actually is closed (trivially). Therefore let's assume $a < b$.

$M$ is the set of functions satisfying any Lipschitz condition on $[a,b]$. In particular, $M$ contains all polynomials, since these are continuously differentiable on all of $\mathbb{R}$, and hence their derivatives are bounded on $[a,b]$.

There is a theorem by Weierstraß that every continuous function on a compact interval can be uniformly approximated by polynomials, hence $M$ is dense in $(C([a,b]),\lVert\,\cdot\,\rVert_\infty)$. Since there are continuous functions that are not Lipschitz continuous, e.g. $x\mapsto \sqrt{\lvert x-c\rvert}$ for $c\in (a,b)$, $M$ is not closed (because the only closed and dense subset is the entire space).

In fact, since $M_K$ is closed and has empty interior for every $K$, and $M = \bigcup\limits_{n=1}^\infty M_n$ is a countable union of such sets, $M$ is meagre (of the first category) in $C([a,b])$, and by Baire's theorem $C([a,b])\setminus M$ is non-meagre (of the second category) in $C([a,b])$. So topologically, the set of Lipschitz continuous functions on $[a,b]$ is a small subset of the set of all continuous functions.

Daniel Fischer
  • 206,697
  • Can you give an example of a limit point which is not in the set? – user64066 May 27 '15 at 13:38
  • Any continuous function that is not Lipschitz continuous is an example, since $M$ is dense in $C([a,b])$ (with respect to the maximum norm), and $M$ is the subspace of Lipschitz continuous functions. If $c\in (a,b)$, we can take $\sqrt{\lvert x-c\rvert}$ to have something concrete. – Daniel Fischer May 27 '15 at 13:42
0

If your functions are $C^1$ then $f' \colon \left[a,b\right] \to \mathbb R$ will be a continuous function on a closed interval, so will be bounded. If the derivative is bounded by $K$ then the function is has a Lipschitz constant of at least $K$. To show the space is not closed you have to find a sequence of functions $(f_n)_{n=1} ^\infty$ in $\bigcup_K M_K$ which is Cauchy but does not converge to something in $\bigcup_K M_K$. The easiest way to do this is for your sequence to converge to a non-Lipschitz function. Certainly if the limit has a jump discontinuity then it will not be Lipschitz. Can you find a sequence of differentiable functions which converge to a discontinuous function?

Daron
  • 10,300
  • This is about completeness. What I need is here to show the limit point of a sequence is not in the set. Taking this sequence Cauchy doesn't make sense to me. – user64066 May 27 '15 at 13:37