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?

  • 0
    What is $g$? It appears in the question but not in your solution...2012-03-07
  • 0
    In your computation if seems that $F(f)=f^2$ but at the beginning it's written $F(f)=f+g$.2012-03-07
  • 0
    My apologies, I've fixed that (the $f+g$ was from the previous question in the book).2012-03-07
  • 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
    Why can we assume that $\delta \le 1$?2012-03-07
  • 0
    If $\delta$ work$, $\min(\delta,1)$ will work too.2012-03-07