3
$\begingroup$

Consider the normed space $(C([0,1]),||\cdot||_{\infty})$. Define $F:C([0,1])\to C([0,1])$ by

$F(f)=f^2$

Show that $F$ is continuous with respect to $||\cdot||_{\infty}$.

I've attempted to show this like so:

Let $f_{0}\in C([0,1])$. We want to show that $F$ is continuous at $F_{0}$.
Let $\epsilon>0$. Choose $\delta= ?$

Then for $f\in C$ such that $||f-f_{0}||_{\infty}<\delta$, we have: $||F(f)-F(f_{0})||_{\infty}\le ||f^2-f_{0}^2||_{\infty}\le ||(f-f_{0})(f+f_{0})||_{\infty}$

I seem to have hit a dead end, and don't even know if the last part is useful. Any tips?

  • 1
    Thanks for the fix. Your attempt is moving in the right direction: the key now is to make sure that $||f+f_0||_\infty$ doesn't get too big. Try comparing with the proof that the function $s:\mathbf{R}\to\mathbf{R}$ with $s(x)=x^2$ is continuous.2012-03-07

1 Answers 1

2

We have if $\lVert f-f_0\rVert\leq \delta$ that $\lVert f+f_0\rVert\leq \lVert f-f_0\rVert +2\lVert f_0\rVert\leq \delta+2\lVert f_0\rVert$ and we can assume for example that $\delta\leq 1$, so if $\lVert f-f_0\rVert\leq \delta$ we have $\lVert F(f_0)-F(f)\rVert\leq (1+2\lVert f_0\rVert)\lVert f-f_0\rVert\leq (1+2\lVert f_0\rVert)\delta,$ so we can choose $\delta:=\frac 1{1+2\lVert f_0\rVert}\varepsilon$.

  • 0
    If $\delta$ work$, $\min(\delta,1)$ will work too.2012-03-07