If $(f_n)\to f$ uniformly and $f_n$ is uniformly continuous for all $n$ then $f$ is uniformly continuous

Show if is true or false: if $(f_n)$ converges uniformly to $f$, and $f_n$ is uniformly continuous for all $n$ then $f$ is uniformly continuous

I think is true. My attempt to prove it: if $(f_n)\to f$ uniformly then we can write

$$(\forall\varepsilon>0)(\exists N\in\Bbb N)(\forall x\in\mathcal D):|f_n(x)-f(x)|<\varepsilon,\quad\forall n>N\tag{1}$$

and cause all $f_n$ are uniformly continuous

$$(\forall\varepsilon>0)(\exists\delta>0)(\forall x,y\in\mathcal D):|x-y|<\delta\implies|f_n(x)-f_n(y)|<\varepsilon,\quad\forall n\in\Bbb N\tag{2}$$

and I want to prove that both conditions implies

$$(\forall\varepsilon>0)(\exists\delta>0)(\forall x,y\in\mathcal D):|x-y|<\delta\implies|f(x)-f(y)|<\varepsilon\tag{3}$$

where $\mathcal D$ is the domain of all of them (cause I have the previous knowledge that uniform convergence of continuous functions implies that the limit function is continuous).

Then from $(3)$ I can write

$$|f(x)-f(y)|=|f(x)-f_m(x)+f_m(x)-f(y)|\le |f(x)-f_m(x)|+|f_m(x)-f(y)|$$

Then I will use some $m$ that holds $(1)$ for some $\frac{\varepsilon}{3}$. And from $(2)$ I will use the $\delta$ that holds for the same $\frac{\varepsilon}{3}$. If $|f(y)-f_m(y)|<\frac{\varepsilon}{3}$ then $f(y)<f_m(y)+\frac{\varepsilon}{3}$. And then finally I can write:

$$\begin{align}|f(x)-f(y)|&\le|f(x)-f_m(x)|+|f_m(x)-f(y)|\\&<\frac{\varepsilon}{3}+|f_m(x)-f_m(y)-\frac{\varepsilon}{3}|\\&<\frac{\varepsilon}{3}+|f_m(x)-f_m(y)|+\frac{\varepsilon}{3}\\&<\frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{\varepsilon}{3}=\varepsilon\end{align}$$

then it proves that exists a $\delta$ such that $|f(x)-f(y)|<\varepsilon$ for some $\varepsilon$ in the required conditions. Now, can you check my proof, telling me if it is right or if it lacks something? Thank you in advance.


Solution 1:

Choose a $\delta$ which works in equation $(2)$ for $\epsilon_0=\frac{\epsilon}{3}>0$. Then, by $(1)$ (uniform convergence) we have an $N$ such that $|f_n(x)-f(x)|<\varepsilon$ and $|f_n(y)-f(y)|<\varepsilon$ holds $\forall m>N$. Now we apply the manipulation in clark's comment to obtain:

$|f(x)-f(y)|\leq |f(x)-f_m(x)|+|f_m(x)-f_m(y)|+|f_m(y)-f(y)|$

From here, we have

$|f(x)-f_m(x)|<\epsilon_0=\dfrac{\epsilon}{3}$ by uniform converge (at $x$)

$|f_m(x)-f_m(y)|<\epsilon_0=\dfrac{\epsilon}{3}$ by uniform continuity (of $f_m$)

$|f_m(y)-f(y)|<\epsilon_0=\dfrac{\epsilon}{3}$ by uniform converge (at $y$)

Thus we now know that

$|f(x)-f_m(x)|+|f_m(x)-f_m(y)|+|f_m(y)-f(y)|<\dfrac{\epsilon}{3}+\dfrac{\epsilon}{3}+\dfrac{\epsilon}{3}=\epsilon$

as required.

Note how carefully I selected my $\delta$, feel free to ask why I did things this way if any of what I did seems unnecessary to you.