Example of a sequence of $f_n$ converging to $f$ pointwise but not uniformly and its relation with completeness

899 Views Asked by At

Consider for instance the sequence of continuous functions \begin{equation*} f_n(x)= \begin{cases} x^n,\quad x\in[0,1)\\ 1,\quad x=1 \end{cases}. \end{equation*} It converges pointwise to \begin{equation*} f_n(x)= \begin{cases} 0,\quad x\in[0,1)\\ 1,\quad x=1 \end{cases}, \end{equation*} which is not continuous. In other words, this examples shows us that pointwise convergence does not preserve continuity. On the other hand, one can prove that uniform convergence does preserve continuity.

This is why, when proving that the spaces of continuous functions $\mathcal{C}([a,b])$ with the $\mathcal{C}([a,b])$ norm are complete, we need uniform convergence. In particular, in that proof we identify the pointwise limit $f$ as the "natural candidate" and then prove that $f_n$ converges uniformly to $f$ on $[a,b]$. From this, it follows that $f\in\mathcal{C}([a,b])$ (a uniform limit of continuous functions is continuous) and that $f_n$ converges to $f$ in $\mathcal{C}([a,b])$. So in the end it's the pointwise limit $f$ (for which continuity might fail as in the example above) which happens to be continuous.

So I don't seem to understand how to put together the example above with the fact that $\mathcal{C}([a,b])$ is complete, because we have that $f_n\xrightarrow{||\cdot||_{\mathcal{C}([a,b])}} f$ which needs to be continuous but also $f_n\xrightarrow{|\cdot|} f$ with $f$ as above which is not continuous, and the limits are supposed to be the same. I wonder what my misunderstanding here is.

1

There are 1 best solutions below

2
On

One short answer is that the two spaces $(C([a,b]),\|\cdot\|_{\infty})$ and (C([a,b]), p.w. convergence)

Will have different topologies. Remember a topology on a space will dictate which sequences will converge and which will not.