1
$\begingroup$

What would be a counterexample that one could use to disprove the statement that $\pi: C^1[a,b] \rightarrow C[a,b]$ given by $\pi(f) = f'$ is continuous? The metric is the usual sup norm one.

2 Answers 2

2

HINT: Consider the functions $f_n(x)=\frac1n\sin nx$ for $n\in\Bbb Z^+$ on the interval $[0,1]$. They converge in the sup norm to a very nice function $f$; what is that function? Does the sequence $\langle f_n'(x):n\in\Bbb Z^+\rangle$ converge to $f\,'$?

1

Hint:

Take a look at the sequence $f_n=\sin(nt)$.

  1. The sequence $\{f_n:n\in\mathbb{N}\}$ is bounded in $(C^1([a,b]),\Vert\cdot\Vert_\infty)$,

  2. The sequence $\{\pi(f_n):n\in\mathbb{N}\}$ is not bounded in $(C([a,b]),\Vert\cdot\Vert_\infty)$.

  3. Continuous linear operators maps bounded sets to bounded ones.

  • 0
    @BrianM.Scott: This is helpful; $I$ tried to construct a proof but was hindered by precisely this kind of behavior. Thanks.2012-09-19