Context
I am trying to show that given a uniformly continuous function $f:\mathbb{R}\to\mathbb{R}$, if we know a specific $\epsilon,\delta>0$ such that
$$|x-y|<\delta \implies |f(x)-f(y)|<\epsilon$$
then
$$|x-y|<c\delta \implies |f(x)-f(y)|<c\epsilon$$
for any positive real number $c$.
As with most proofs of this form. I am trying to prove this by showing this assumption is true for
- Positive integers.
- Positive Rational Numbers
- Positive Real Numbers
in that order.
The problem
Assume that $f:\mathbb{R}\to \mathbb{R}$ is uniformly continuous.
It can be shown
(Scaling Up $\epsilon$ and $\delta$)
If $$|x-y|<\delta \implies |f(x)-f(y)|<\epsilon $$ $$\forall x,y\in \mathbb{R}$$ then $$|x-y|<k\delta \implies |f(x)-f(y)|<k\epsilon$$ $$\forall x,y\in \mathbb{R}$$ for any positive integer k.
I am wondering if it is possible to show that given
(Scaling Down $\epsilon$ and $\delta$)
If $$|x-y|<\delta \implies |f(x)-f(y)|<\epsilon $$ $$\forall x,y\in \mathbb{R}$$ then $$|x-y|<\frac{1}{k}\delta \implies |f(x)-f(y)|<\frac{1}{k}\epsilon$$ $$\forall x,y\in \mathbb{R}$$ for any positive integer k.
Personal Thoughts
Part of me thinks that I should be able to transform the scaling up argument into a scaling down argument. Possibly by applying a similar trick to the range. I am unsure.
Source material/ Definitions/ Etc
(Uniformly Continuous Definition) Given $\epsilon>0$ we can find $\delta>0$ such that $$|x-y|<\delta \implies |f(x)-f(y)|<\epsilon\text{ }$$ $$\forall x,y\in \mathbb{R}$$
( Scaling Up $\epsilon$ and $\delta$: Proof) Assume without loss of generality that $x<y$ and pick $x_1,...,x_{k-1}\in \mathbb{R}$ such that $$|x-x_1|,|x_1-x_2|,...,|x_{k-1}-y|<\delta$$ then $$|f(x)-f(x_1)|,...,|f(x_{k-1})-f(y)|<\epsilon$$ and thus $$|f(x)-f(y)|\leq |f(x)-f(x_1)|+...+|f(x_{k-1})-f(y)|<k\epsilon$$
Unfortunately, your statement is false. If it is true then $|x-y| \leq c \delta$ implies $|f(x)-f(y)| \leq c\epsilon$ by continuity. Now let $x,y \in \mathbb R$ be arbitrary and take $c=\frac {|x-y|} {\delta}$. We get $|f(x)-f(y)| \leq \frac {|x-y|} {\delta}\epsilon$. This proves that $f$ is a Lipschitz function on $\mathbb R$. But there are easy examples of uniformly continuous functions which are not Lipschitz.
One specific example: $f(x)=\sqrt x$ for $0\leq x \leq 1$, $0$ for $x \leq 0$ and $1$ or $x \geq 1$.