Originally Posted by

**ragnar** I'm working through some suggested problems and one asks to show that if $\displaystyle f_{n} \rightarrow f$ uniformly on a compact interval $\displaystyle I$, and each $\displaystyle f_{n}$ continuous on $\displaystyle I$, then $\displaystyle \displaystyle \lim_{n \rightarrow \infty} || f_{n} - f|| = 0$, where ||...|| is the $\displaystyle L^{2}$ norm. I first want to verify that the following is sound: If $\displaystyle \displaystyle \lim_{n \rightarrow \infty} \int_{I} (f_{n} - f)^{2} = 0$ then $\displaystyle \displaystyle \lim_{n \rightarrow \infty} ||f_{n} - f|| = 0$. My main worry is moving the limit outside of the square root in this argument.

Anyway, given that this is sufficient, then we know that for sufficiently large $\displaystyle n$, for all $\displaystyle x \in I$ $\displaystyle |f_{n}(x) - f(x)| < \varepsilon$, and since $\displaystyle I$ is compact it's therefore bounded, let's say the length of the interval is bounded by $\displaystyle M$. So $\displaystyle \displaystyle \int_{I} |f_{n} - f|^{2} < M\varepsilon$. But at no point did I seem to use continuity of $\displaystyle f_{n}$...