1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Prove open set in C[0,1] function space

  1. Mar 20, 2010 #1
    1. The problem statement, all variables and given/known data

    Let [tex]X = C[0,1][/tex] under the metric [tex]d_{\infty}[/tex]. Let
    [tex]
    \begin{align*}
    Y = \{ f \in C[0,1] : f(0) \ne 0 \}
    \end{align*}
    [/tex]

    Prove that [tex]Y[/tex] is open in [tex](C[0,1], d_{\infty})[/tex].

    2. Relevant equations


    The formulae for [tex]d_{\infty}[/tex] is
    [tex]
    \begin{align*}
    d_{\infty}(f,g) = \max_{0 \leq t \leq 1} |f(t) - g(t)|
    \end{align*}
    [/tex]

    3. The attempt at a solution

    For any [tex]f \in Y[/tex], which means [tex]f \in C[0,1] \wedge f(0) \ne 0[/tex], if
    [tex]f[/tex] is an interior point of [tex]Y[/tex], then [tex]Y[/tex] is open in [tex](C[0,1],
    d_{\infty})[/tex]. [tex]f[/tex] is an interior point if there is an [tex]\varepsilon
    > 0[/tex] such that the neighborhood [tex]O_{\varepsilon}(f) \subseteq Y[/tex], meaning all [tex]g \in C[0,1][/tex] satisfying [tex]\displaystyle d_{\infty}(f,g)
    = \max_{0 \leq t \leq 1} f(t) - g(t)| < \varepsilon[/tex] must
    belong to [tex]Y[/tex], which says [tex]g(0) \ne 0[/tex]. Suppose to the contrary there
    exists a [tex]g \in C[0,1][/tex] such that [tex]\displaystyle d_{\infty}(f,g) =
    \max_{0 \leq t \leq 1} |f(t) - g(t)| < \varepsilon[/tex] and [tex]g(0) =
    0[/tex]. Then [tex]|f(0) - g(0)| = |f(0)|
    > 0[/tex] since [tex]f(0) \ne 0[/tex] and [tex]\displaystyle d_{\infty}(f,g) = \max_{0
    \leq t \leq 1} f(t) - g(t)| \geq |f(0)|[/tex]. For [tex]\varepsilon
    \leq |f(0)|[/tex] this results in a contradiction with the assumption
    that [tex]d_{\infty}(f,g) < \varepsilon[/tex]. What about [tex]\varepsilon > |f(0)|[/tex]? Is this on the right track at all?
     
  2. jcsd
  3. Mar 20, 2010 #2

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Think about it like this: picking a function g(x) close to f(x) is like wiggling each individual value of f(x) a little bit (with some continuity constraints). It doesn't really matter how you wiggle any point except for at 0 (because that's the only place Y is defined). How can you change f(x) at 0 to make it leave Y? By making g(0)=0 of course. So to prevent that, what restriction should you put on your ability to wiggle f(x) at 0?
     
  4. Mar 20, 2010 #3
    Ok, it's not entirely wrong, but it's messy:

    This is not true: there are many sets with interior points that are not open sets, which means that all its points are interior. It's not clear if you're trying to say that you want to prove that all points are interior, or if you' are assuming that the set is open (you want to prove this).

    After this, your argument needs a little cleaning, but it's basically correct.
     
  5. Mar 20, 2010 #4
    Thank you to both of you. But I still don't know how to finish the proof.

    If the argument is correct. How can I show a contradiction for the case [tex]\varepsilon > |f(0)|[/tex] ?
     
  6. Mar 20, 2010 #5

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You can't. Your value for epsilon is too large. Think about my suggestion some more:

    If you change the value of f(0) by f(0), you get g(0)=0 which doesn't lie in Y. So what should your restriction be on how much f(0) can change by?
     
  7. Mar 20, 2010 #6
    The restriction should be that [tex]f(0)[/tex] cannot be wiggled as much as
    [tex]|f(0)|[/tex]. But this restriction is what the original set builder for [tex]Y[/tex] specified. How does this directly prove that every [tex]g[/tex] inside some [tex]\varepsilon > 0[/tex] neighborhood of [tex]y[/tex] is inside [tex]Y[/tex]? I must be missing some piece of the logic.
     
  8. Mar 20, 2010 #7

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    If f(0) can't be wiggled more than |f(0)|, then wouldn't it make sense to require that all of f(x) can't be wiggled by more than |f(0)|? Then what value of epsilon would that correspond to?
     
  9. Mar 21, 2010 #8
    Aghh, so [tex]\varepsilon[/tex] has to be less than [tex]|f(0)|[/tex] and I don't need to show a contradiction for the case of [tex]\varepsilon > |f(0)|[/tex]. This is the missing logic in my solution. Thank you so much for your patience and time.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Prove open set in C[0,1] function space
  1. Prove a set is open. (Replies: 8)

Loading...