Let $(f_n)$ be a sequence of continuous functions such that $f_n\to f$ uniformly on $\mathbf{R}$. Show that $\lim_{n\to\infty}f_n(x_n)=f(x)$

convergence-divergenceproof-writingreal-analysissolution-verificationuniform-convergence

Let $(f_n)$ be sequence of continuous functions such that $f_n\to f$ uniformly on $\mathbf{R}$. Show that $\lim_{n\to\infty}f_n(x_n)=f(x)$ for all sequence of points $x_n \in \mathbf{R}$ such that $x_n\to x$ as $n\to\infty$ for $x\in \mathbf{R}$. I would like to know if my proof holds and have a feedback, please.

As $f_n\to f$ uniformly, we have by definition that: $\forall \epsilon>0 \ \exists N \ \forall n\ge N \ \forall x \in \mathbf{R}$: $|f_n(x)-f(x)|<\epsilon/3$. As $x_n\in\mathbf{R}$, we have as well that $|f_n(x_n)-f(x_n)|<\epsilon/3$ $\forall \epsilon>0$.

Then, $f_n$ is a continuous sequence of functions. Let $a \in \mathbf{R}$. Thus, $\forall \epsilon>0 \ \exists\delta>0 \ \forall x \in \mathbf{R}$: $|x-a|<\delta\implies |f_n(x)-f_n(a)|<\epsilon/3$.

Moreover, $x_n$ is a converging seuquence. Therefore $\forall \epsilon>0 \ \exists N' \ \forall n\ge N': |x_n-x|<\epsilon$

We have then $\forall \epsilon>0 \ \forall n\ge n_0:=\max(N,N')$:

$|f_n(x_n)-f(x)|\le|f_n(x_n)-f_n(a)|+|f_n(a)-f_n(x)|+|f_n(x)-f(x)|=\epsilon/3 + \epsilon/3 + \epsilon/3 = \epsilon$. So we showed that $\lim_{n\to\infty}f_n(x_n)=f(x)$

Best Answer

Let $\varepsilon>0$ be given. Choose $N_{1}\in\mathbb{N}$ such that $|f_{n}(y)-f(y)|<\varepsilon/2$ whenever $n\geq N_{1}$ and $y\in\mathbb{R}$. Since $f$ is continuous at $x$ (recall that uniform limit of continuous functions is also continuous), we may choose $\delta>0$ such that $|f(y)-f(x)|<\varepsilon/2$ whenever $|y-x|<\delta$. Sine $x_n\rightarrow x$, we may choose $N_{2}\in\mathbb{N}$ such that $|x_{n}-x|<\delta$ whenever $n\geq N_{2}$. Let $N=\max(N_{1},N_{2})$. Let $n\geq N$ be arbitrary. We have that \begin{eqnarray*} & & |f_{n}(x_{n})-f(x)|\\ & \leq & |f_{n}(x_{n})-f(x_{n})|+|f(x_{n})-f(x)|\\ & < & \varepsilon. \end{eqnarray*}