$f$ is continuous, if $f_n$ continuous and $f_n\to f$ uniformly

Question

Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces. $f_n: X\to Y$ with $n\in\mathbb{N}$ and $f:X\to Y$ functions. $f_n$ is continuous for every $n$ and $f_n\stackrel{n\to\infty}{\longrightarrow} f$ uniformly.

Then $f$ is continuous.

Here is my proof:

Let $x\in X$ and $\epsilon >0$ be arbitrary.
Since $f_n\to f$ uniformly it exists $N\in\mathbb{N}$ such that $d_Y(f_N(x), f(x))<\epsilon/3$ for every $x\in X$.

As $f_N$ is continuous we have for $x_0\in X$ and $\delta > 0$, that $d_Y(f_N(x),f_N(x_0))<\epsilon/3$ if $d_X(x,x_0)<\delta$.

This gives us:

$$\begin{align}d_Y(f(x),f(x_0)&\leq d_Y(f(x), f_N(x))+d_Y(f_N(x), f(x_0))\\
&\leq d_Y(f(x), f_N(x))+d_Y(f_N(x), f_N(x_0))+d_Y(f_N(x_0), f(x_0))\\
&< \epsilon/3+\epsilon/3+\epsilon/3=\epsilon\end{align}$$

Thanks in advance for your correction.

Answer 1

The idea of this proof is entirely correct, and it's very well executed.

There is some minor and entirely inconsequential stuff, like $d_Y(f(x), f(x_0)$ missing a bracket. The biggest thing for me, however, when I read this is that it is not really clear to me where exactly $\delta$ comes from. Furthermore, you haven't really made sure that $d_Y(f_N(x_0), f(x_0))<\epsilon/3$.

So I would change it to something like this:

Let $x\in X$ and $\epsilon >0$ be arbitrary. Since $f_n\to f$ uniformly, it exists $N\in \Bbb N$ such that $d_Y(f_N(x_1),f(x_1))<\epsilon/3$ for all $x_1\in X$.

As $f_N$ is continuous, there is a $\delta>0$ such that for any $x_0$ with $d_X(x, x_0)<\delta$ we have $d_Y(f_N(x), f(x_0))<\epsilon/3$.

Then from here do as you have already done, except you have to put in at least one $<$ somewhere instead of $\leq$.