Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A question of the complete metric space!

  1. Oct 7, 2008 #1
    Continuously differentiable Function [tex]C^1
    {}[/tex] [tex]\left[0,1\right][/tex] is complete with respect to the metric space

    but not in the [tex]d_\infty{}[/tex]{f,g}=sup{[tex]\left|f(t)-g(t)\right|[/tex]}

    Thanks for the helps in advance.


    Last edited: Oct 7, 2008
  2. jcsd
  3. Oct 7, 2008 #2
    For the counterexample, can you come up with a sequence of differentiable functions that converges to a non-differentiable function? Hint: Choose a very simple function that's continuous, but not differentiable.
  4. Oct 7, 2008 #3
    yes, that is what I am trying to do, however, it is strange that, some theorem in the book "Analysis and Mathematical physics" says the 2nd holds in C[a,b] wrt the second distance function, I am now quite confused...

    This is an original question from the book real analysis with economic applications.
    Last edited: Oct 7, 2008
  5. Oct 7, 2008 #4
    The space of continuous functions is complete with respect to the second distance function. But what you're trying to show is that the space of continuously differentiable functions is not complete with respect to that norm. Since every continuously differentiable function is continuous, you know that the limit of any sequence of continuously differentiable functions has to be continuous. The problem is asking you to find sequence of differentiable functions whose limit (which is continuous) is not differentiable.
  6. Oct 7, 2008 #5
    OK, thanks for your answers, the 2nd one is OK now!!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook