[Math] Differentiation operator is closed

functional-analysisgeneral-topologyoperator-theory

Got stuck in this problem:

Let us denote by $X$ the linear space $C^1([0,1])$ equipped with the norm of $C^0([0,1])$ and consider the following statement:

"The differentiation operator $L:X \rightarrow C^0([0,1]): u \mapsto u'$ is linear and closed. By the Closed Graph Theorem, the operator is then continuous"

Show that the conclusion is wrong and find the mistake in the argument

To show that the conclusion is wrong it should be enough to show that the operator is not bounded (as it is obviously linear and, as it is linear, it is continuous iff it is bounded), which is not hard.

So I believe the mistake is that $L$ is not closed, but how can I prove it? I was trying to find an example of a closed set in $X$ whose image is not closed but I'm not sure whether this is a good approach…

Best Answer

$L$ is closed; that is, $L$ has closed graph: If $u_n$ converges uniformly to $u$ and $Lu_n=u_n'$ converges uniformly to $f$, it follows that $Lu=u'=f$. See this, for example.

The mistake in the argument is that you can't appeal to the Closed Graph Theorem, as the (needed) hypotheses that the domain space be complete is not satisfied by your $X$. (For instance, there is a sequence of polynomials converging uniformly to the function $x\mapsto |x-1/2|$ on $[0,1]$ by the Weierstrass Approximation Theorem.)