1. Limited time only! Sign up for a free 30min personal 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 continuous function = 0

  1. May 24, 2009 #1
    1. The problem statement, all variables and given/known data

    A subset of [tex] A \subseteq R [/tex] of real numbers is called dense if [tex] \forall \delta > 0 , \forall x \in R , \exists a \in A: |x-a| < \delta [/tex] .

    Suppose [tex]A \subseteq R [/tex] is dense. Prove that if g is a continuous function with g(x) = 0 for all [tex] x \in A [/tex], then g = 0


    2. Relevant equations



    3. The attempt at a solution

    From the continuity of g, we know that [tex] \forall \epsilon > 0, \exists \delta > 0 : |g(x) - g(x_0)| < \epsilon [/tex] whenever [tex]0 < |x-x_0| < \delta [/tex]. Now let x_0 be any real number that is not an element of A. We must prove that g(x_0) = 0.

    To argue by contradiction, first assume that g(x_0) > 0. Again from g's continuity, [tex] \forall \epsilon > 0, \exists \delta > 0 : g(x_0) - \epsilon < g(x) < g(x_0) + \epsilon [/tex] whenever [tex] 0 < |x-x_0| < \delta [/tex]. Putting [tex] \epsilon = g(x_0)/2 [/tex], we have [tex] g(x_0) - g(x_0)/2 = g(x_0)/2 < g(x) [/tex]. Now g(x_0)/2 is positive and as a consequence, for all x in the interval [tex] x_0 - \delta < x < x_0 + \delta [/tex], g(x) > 0.

    Since A is dense, then we can find a value x = x* in our delta-interval that is an element of A. We know that g(x*) = 0, but from our assumption that g(x) > 0 we've proved that g(x*) > 0, and so this is a contradiction.

    The proof for assuming g(x) < 0 is similar, and so g(x) = 0 for all x. QED

    How does this proof look?
     
  2. jcsd
  3. May 24, 2009 #2

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    That looks just fine to me.
     
  4. May 24, 2009 #3
    Thanks for checking :)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Prove continuous function = 0
Loading...