Properties of sequences of bounded functions in $L^2$ Let $f_n: [0, 1] \to \mathbb{R}$ be a bounded sequence of functions in $L^2([0, 1])$. This means that there exists $C_0 > 0$ so that$$\|f_n\|_{L^2} \le C_0 \text{ for all }n.$$Assume that $f_n$ converges to $f$ in $L^1([0, 1])$. I have two questions.


*

*Do we have necessarily have that $f \in L^2([0, 1])$?

*Do we necessarily have that $\|f\|_{L^2} \le C_0$?

 A: A less functional-analytic argument is through Fatou's lemma (applied to $|f_n|^2$), since a subsequence converges pointwise a.e.
A: Here is a proof inspired by @Bananach's answer: (I wanted to find a proof that didn't utilise pointwise limits to show equality.)
The set $\bar{B}(0,C_0) \subset L^2[0,1]$ is weakly compact (by Banach Alaoglu),
hence there is some $\tilde{f} \in \bar{B}(0,C_0)$ such that $f_{k_k}\overset{\text{weak}}{\to} \tilde{f}$ for some subsequence.
To finish, we just need to show that $f = \tilde{f}$.
Suppose $\phi$ is bounded (that is, there is some $B$ such that $|\phi(x)| \le B$ for all $x$) and measurable, then we have (I am implicitly using
the fact that $L^2[0,1] \subset L^1[0,1]$):
$|\langle \phi , f -\tilde{f} \rangle | \le |\langle \phi , f -f_{n_k} \rangle | + |\langle \phi , \tilde{f}-f_{n_k} \rangle | \le \|\phi\|_\infty \|f -f_{n_k} \|_1 + |\langle \phi , \tilde{f}-f_{n_k} \rangle |$
and hence
$\langle \phi , f -\tilde{f} \rangle  = 0$ for all bounded measurable $\phi$.
By choosing $\phi$ to be a suitable indicator function, we see that $f(x) = \tilde{f}(x)$ ae. $x$.
A: Answer to both questions is yes. Bounded sequences in $ L^2$ have weakly converging subsequences. By uniqueness of the almost everywhere pointwise limit, these weak limits coincide with your $ f $. Furthermore, the norm of the weak limit of a subsequence is smaller than the limit inferior of the norms of the elements of the sequence.
Using a bit less abstract arguments, define a functional $\phi$ on $ L^2$ as follows. For each $ g\in C [0,1]\cap L^2[0,1] $ define $\phi(g ) $ as $\int f g $. Check that the operator norm of $\phi$, on the subspace where it ia defined equipped with the $ L^2$ norm, is smaller than $ C_0$. Therefore we may extend $\phi $ to the full space,  and conclude by observing that the $ L^2$ norm of $ f $ equals the operator norm of that extension, which is still bounded by the same constant. 
As I said, only a bit less abstract, and maybe with more details to be filled.
