[Math] the difference between Lipschitz and general uniform continuity

metric-spacesreal-analysis

Showing that Lipschitz continuity is a subset of uniform continuity isn't hard.

Let's assume that it is true that $|f(x_1) – f(x_2)| \leq K(x_1-x_2)$ given an arbitrary value $\epsilon > 0$ let's define $\delta = \epsilon / K$

Then trivially if $|x_1 – x_2| \leq \delta$:

$|f(x_1) – f(x_2)| \leq K\cdot|x_1 – x_2| \leq K\cdot\delta \leq K\cdot\epsilon/K \leq \epsilon$.

Which satisfies the uniform continuity property that for every $\epsilon$ there is a $\delta$ such that $|x_1-x_2| \leq \delta \implies |f(x_1) – f(x_2)| \leq \epsilon$

However, I am having a hard time trying to understand why not all uniformly continuous functions obey this property.

I would appreciate a general explanation with at least one example of a non Lipschitz continous function that is uniformly continuous.

Edit:

Although I admit I had not found the answer that is linked. That answer, although very good, still does not suffice. The author of the question provided multiple functions that are not Lipshitz continuous, but did not prove why they are not Lipshitz continuous (although he did prove that they are uniformly continuous).

My issue is not an absence of an example, but rather a lack of intuition to understand the difference between both.

Best Answer

Lipschitz continuous functions have "bounded derivative" (more accurately, bounded difference quotients: the slope of any line connecting two points on the graph is bounded by the Lipschitz constant). Uniformly continuous functions allow you to pick the $\delta$ in the definition of continuity independent of the $x$.

The classic example of a uniformly continuous function which is not Lipschitz is $$ f:[0;1]\rightarrow \mathbb{R}, \ f(x)=\sqrt{x}.$$ This function is uniformly continuous as every continuous function on a compact set is uniformly continuous. On the other hand its slope is not bound around the origin, so it is not Lipschitz. More rigorously, assume it was Lipschitz, then there exists $K>0$ such that for all $x\in [0;1]$ holds $$ \sqrt{x} =\vert f(x) -f(0)\vert \leq K \vert x-0\vert =K x.$$ This is equivalent to $$ \frac{1}{\sqrt{x}} \leq K$$ which is a contradiction.

In short, having steeper and steeper derivative needs not to be an issue for uniform continuity, but it kills Lipschitz continuity for sure.

Related Question