Show that $\int_0^x f(t)dt$ is compact and injective Exercise:

Consider $T:L^2([0,1])\to L^2([0,1])$ given by $\int_0^x f(t)dt$ with $x\in[0,1]$. Show that $T$ is compact and infective.

Is my solution correct?
My solution:
By Arzéla-Ascoli it suffices to show that $T$ is closed, bounded and equicontinuous.


*

*Boundedness: $\Vert Tf \Vert\leq (\int_0^x 1 dt)^{1/2}(\int_0^x f^2(t)dt)^{1/2}\leq \Vert f\Vert_2$ so that $\Vert T\Vert\leq 1$.

*T is closed: let $(f_n,Tf_n)$ be a sequence in the Graph of T s.t. $f_n\to f$ and $Tf_n\to g$. So we have to show that $g=Tf$. Thus $\forall \varepsilon$ $\exists N$ such that $\Vert Tf_n-g\Vert_2\leq \varepsilon$ for all $n>N$.
\begin{equation}
\Vert Tf_n-g\Vert_2^2\leq=\int_0^1\left(\int_0^xf_n(t)dt-g(x)\right)^2dx=\int_0^1\left(\int_0^x\vert f_n(t)-g'(t)\vert dt\right)^2dx
\end{equation}
and so by uniqueness of the limit $g'=f$. Thus $Tf=Tg'=g$.

*Equicontinuity: Fix $\varepsilon>0$ then it exists $\delta =\varepsilon$ s.t. if  $f,g\in L^2([0,1])$ are s.t. $\Vert f-g\Vert_2\leq \delta$ then $\Vert Tf-Tg\Vert_2\leq \Vert T\Vert\Vert f-g\Vert_2\leq \varepsilon$


We see that $T$ is injective, since if $Tf(x)=0$ then it implies that $f(t)=0$ $\forall t\in [0,1]\backslash x$. But since $f$ is continuous $f(x)=0$ and thus $f\equiv 0$.
Please help me to tcheck if my solution is correct, especially, boundedness and closeness.
 A: Let's first prove that $T$ is injective. We need to show that $Tf = 0 \implies f=0$ almost surely. Note that if $\int_0^x f=0$ for all $x$, then $f$ must be almost everywhere zero (because any finite Borel measure on $[0,1]$ is determined by its values on sets of the form $[0,x)$ with $x>0$; in this case our Borel measure is $A \mapsto \int_A f$).
Secondly, let's show that $T$ is compact. This means that if $\{f_n\}$ is a sequence in $L^2$ with $\|f_n\| \leq 1$ for all $n$, then it must be true that $Tf_n$ converges along a subsequence (w.r.t. the $L^2$ norm).
So let $f_n$ be such a sequence in $L^2$. Then we note that for all $0 \leq x<y \leq 1$, Cauchy Schwarz gives $$|Tf_n(y)-Tf_n(x)| = \bigg| \int f_n \cdot 1_{[x,y]} \bigg| \leq \|f_n \cdot 1_{[x,y]} \|_1 \leq \|f_n\|_2 \cdot \|1_{[x,y]}\|_2 \leq 1 \cdot |x-y|^{1/2}$$ This proves that $\{Tf_n\}$ is equi-Hölder(1/2), and hence is equicontinuous and pointwise bounded. By the Arzela-Ascoli Theorem ,we can conclude that the $\{Tf_n\}$ converge uniformly along a subsequence $\{Tf_{n_k}\}$. Since the uniform norm dominates the $L^2$ norm on $[0,1]$, it follows that the same subsequence also converges in $L^2$. This proves that $T$ is compact.
