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$$