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

Prove C[0,1] is closed in B[0,1] (sup norm)

  1. Jun 30, 2011 #1
    So basically, my metric space X is the set of all bounded functions from [0,1] to the reals and the metric is defined as follows: d(f,g)=sup|f(x)-g(x)| where x belongs to [0,1].

    I want to prove that the set of all discontinuous bounded functions, D[0,1] in X is open.

    My attempt - Start with an arbitrary function h in D[0,1]. h is discontinuous.
    => There exists a point y in [0,1] and r>0 such that for all s>0
    |f(x) - f(y)| > r when |x-y|< s

    Now, Consider the open ball B(h,r/3). This is the set of all functions f such that |f-h| < r/3 in the entire interval. I want to show that all the functions in this ball are discontinuous at the point y!
  2. jcsd
  3. Jun 30, 2011 #2

    Gib Z

    User Avatar
    Homework Helper

    The easiest way here is actually to prove the statement in the title (that the set of continuous functions on [0,1] is closed). Use the fact that a set W is closed iff every convergent (wrt the relevant metric) sequence in W has limit in W.
  4. Jun 30, 2011 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    Insights Author

    Hi Oster!

    Take |x-y|<s. You know that |h(x)-h(y)|>r, and you'll need to find something for |f(x)-f(y)|

    See if you can do something with this:

  5. Jun 30, 2011 #4
    I tried micromass' method and got it! [|f(x)-f(y)|>r/3 in (y-s,y+s)]
    I'm not too comfortable with the convergence stuff. Sorry Gib Z. =(
    Thanks to both of you anyway! =D
  6. Jun 30, 2011 #5

    Gib Z

    User Avatar
    Homework Helper

    Well it can't hurt to see the other way, maybe it'll get you more used to it.

    One of the most useful characterizations of a closed set is :

    A set W is closed if and only if every convergent sequence in W has it's limit in W.

    In R^n with the usual Euclidean metric, convergence you've seen before, it's the normal idea. In a general metric space (X,d) we say a sequence [itex] f_n [/itex] converges to [itex] f[/itex] if [itex] \displaystyle\lim_{n\to\infty} d(f_n, f) = 0 [/itex].

    So in this case, we have to show that every convergent sequence of continuous functions on [0,1] has it's limit in C[0,1]. The norm we have here through is the supremum norm, so convergence in the supremum norm is just the concept of uniform convergence. It is a well known fact (and easy to prove on your own) from real analysis that if a sequence of continuous functions converges uniformly, then its limit is also a continuous function, which suffices to show C[0,1] is closed with respect to this supremum metric.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Similar Discussions: Prove C[0,1] is closed in B[0,1] (sup norm)
  1. Proving that 0! = 1 (Replies: 10)

  2. Prove 0 < 1 (Replies: 4)

  3. Proving that 1 > 0 (Replies: 28)