5
$\begingroup$

enter image description here

No, it is not complete metric space: by Stone-Weierstrass thm we know that $|x|$ can be uniformly approximated by sequence of polynomials which are clearly $\mathcal{C}^1[0,1]$, but $|x|$ is not $\mathcal{C}^1$. Is my argument correct?

  • 2
    As Pete points out in his answer the *idea* can be made into an argument (although I myself wouldn't apply Stone-Weierstrass, that's quite an overkill for this question). However, you should pick another function, e.g. $x \mapsto |x-1/2|$ (which you *can* approximate uniformly by *explicit polynomials* -- how?) Note that the function $|x| = x$ on $[0,1]$ *is* $C^1$.2012-07-22
  • 1
    Note that, uniform convergence preserves continuity, but it does not preserve differentiability.2012-07-22
  • 0
    so my argument is incorrect in $[0,1]$ :( but I dont know how to prove the result Mr. Pete has written in his answer2012-07-22
  • 0
    @Patience: Switching from $|x|$ to (say) $|x-\frac{1}{2}|$ seems like a very minor adjustment. Is there something else in my answer that you don't understand?2012-07-22
  • 0
    how to show $C[0,1]$ is dense in $C^1[0,1]$?2012-07-22
  • 0
    @Patience: Rather $C^1[0,1]$ is dense in $C[0,1]$. As you say, by Weierstrass Approximation, the subspace $\mathcal{P}[0,1]$ of $C[0,1]$ is dense. Since $\mathcal{P}[0,1] \subset C^1[0,1] \subset C[0,1]$, also $C^1[0,1]$ is dense.2012-07-22
  • 0
    ohh thank you for the help2012-07-22

1 Answers 1

3

[Added: By $C[0,1]$ I mean the set of continuous functions $f: [0,1] \rightarrow \mathbb{R}$ endowed with the metric $d(f,g) = \max_{x \in [0,1]} |f(x)-g(x)|$. This is a complete metric space by the Cauchy Criterion for Uniform Convergence.]

Yes. To recap it: you have a complete metric space, $\mathcal{C}[0,1]$, and a subspace, $\mathcal{C}^1[0,1]$, which is not closed (rather, it is proper and dense). Therefore $\mathcal{C}^1[0,1]$ cannot be complete.

Added: As t.b. points out, the absolute value function is $C^1$ on the interval $[0,1]$, so you should pick something else (e.g. what t.b. says). I also agree that Weierstrass Approximation is much more than you need here. For instance, in Example 7 of these notes I show -- in an intentionally clunky, hands-on fashion -- that the absolute value function is a uniform limit of $C^1$-functions on $[-1,1]$.