Let's suppose that $(f_n)_{n}$ is a sequence of continuous functions that converges pointwise to a continuous function $f(x)$ on a closed interval $[a, b]$. Is then the convergence uniform, too?
If it is so, how do you prove it? If it isn't, could you give a counterexample, please?
My attempt
I managed to write down the hypothesis in symbolical terms, but could not go beyond that:
- continuity of the sequence ($x_0\in[a, b]$):
$\forall n, \ \forall \epsilon >0 \ \ \exists \delta>0 \ : \ |x-x_0|<\delta \Rightarrow |f_n(x)-f_n(x_0)|<\epsilon $
- continuity of the limit function ($x_0\in[a, b]$):
$\forall \epsilon >0 \ \ \exists \delta>0 \ : \ |x-x_0|<\delta \Rightarrow |f(x)-f(x_0)|<\epsilon $
- pointwise convergence:
$\forall x\in[a, b], \ \forall \epsilon >0 \ \ \exists n_\epsilon>0 \ : \ n\geq n_\epsilon \Rightarrow |f_n(x)-f(x)|<\epsilon $
The thesis should be:
$\forall \epsilon >0 \ \ \exists n_\epsilon>0 \ : \ n\geq n_\epsilon \Rightarrow |f_n(x)-f(x)|<\epsilon \ \ \forall x\in[a, b]$
Note
Please do not bring sequences such as that of $x^n (x\geq 0)$ as a counterexample, because they are not counterexamples:
$\text{for } n \rightarrow \infty , \ x^n \rightarrow f(x)= \begin{cases} 0 & \text{if } 0 \leq x<1 \cr 1 & \text{if } x=1 \end{cases}$
so there is a pointwise convergence to $f(x)$ on $[0, 1]$; but $f(x)$ - the limit function - is not continuous, then this example lacks the conditions for the theorem to be applied.
Check out $f_n(x) = nx e^{-nx}$ on $[0, 1]$.