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!

Proof on continuous functions

  1. Jan 7, 2009 #1
    1. The problem statement, all variables and given/known data

    Let f and g be continuous functions defined on all of R. Prove that if [tex]f(a) \neq g(x)[/tex] for some [tex] a \epsilon R [/tex], then there is a number [tex] \delta > 0 [/tex] such that [tex] f(x) \neq g(x) [/tex] whenever [tex]|x-a| < \delta[/tex].

    2. Relevant equations

    I would like to please check if my proof is correct :)

    3. The attempt at a solution

    Suppose that [tex] f(x) = g(x) [/tex] whenever [tex] |x-a| < \delta [/tex]. Then by the continuity of f and g we have [tex] |f(x) - f(a)| < \epsilon [/tex] whenever [tex] |x-a| < \delta [/tex] and [tex] |g(x) - g(a)| < \epsilon [/tex] whenever [tex] |x-a| < \delta [/tex]. Since g(x) = f(x) whenever [tex] |x-a| < \delta [/tex], we can write [tex] |g(x) - f(a)| < \epsilon [/tex]. Obviously the left hand side must tend to 0 as x tends to a, and so for values of g(x) > f(a), we have [tex] \lim_{x \rightarrow a} g(x) - \lim_{x \rightarrow a} f(a) = 0 [/tex], implying that [tex] \lim_{x \rightarrow a} g(x) = f(a) [/tex].
    Now for values of g(x) < f(x) we have [tex] \lim_{x \rightarrow a} f(a) - \lim_{x \rightarrow a} g(x) = 0 [/tex], implying again that [tex] \lim_{x \rightarrow a} g(x) = f(a) [/tex]. Since g is continuous, we must have [tex] \lim_{x \rightarrow a} g(x) = g(a) [/tex], but limits are unique, so this means that [tex] f(a) = g(a) [/tex], which is a contradiction. QED
  2. jcsd
  3. Jan 8, 2009 #2
    Hi JG89,

    I got a little lost with your arguments (does your original hypothesis hold for all delta; mixing epsilon-delta and limits can be confusing).

    It is often the case in these sort of exercises that we are given a suitable "epsilon" to work with in the question. In this case, if WLOG we assume f(a)>g(a) for some a, then our epsilon might be f(a)-g(a)>0.

    Then, recognising that f-g is also continuous, we may apply the epsilon-delta definition of continuity to f-g at a:

    Given [tex]\varepsilon = f(a)-g(a)>0[/tex] there is a [tex]\delta_\varepsilon>0[/tex] such that

    [tex]|x-a|<\delta_\varepsilon \Rightarrow |(f(x)-g(x)) - (f(a)-g(a))| < f(a)-g(a)[/tex].

    You continue this for yourself to obtain the desired result. These questions can often be tackled by playing around with the epsilon-delta definition in this manner.
  4. Jan 8, 2009 #3
    Please see below!
    Last edited: Jan 8, 2009
  5. Jan 8, 2009 #4
    Double Post
  6. Jan 8, 2009 #5
    Triple Post...See below
  7. Jan 8, 2009 #6
    Sorry, the latex is messing up on me!

    I will reword it so it is more clear.

    To prove this I will use a proof by contradiction. Assume that [tex]f(x) = g(x)[/tex] whenever [tex] |x-a| < \delta [/tex]. Since both functions are continuous, we have [tex] |f(x) - f(a)| < \epsilon [/tex] whenever [tex] |x-a| < \delta [/tex] and [tex] |g(x) - g(a)| < \epsilon [/tex] whenever [tex] |x-a| < \delta[/tex]. Now, since we have made the assumption that f(x) = g(x) then we can rewrite [tex] |f(x) - f(a)| < \epsilon [/tex] as [tex] |g(x) - f(a)| < \epsilon [/tex]. Since this equality must be true for all epsilon greater than zero, including arbitrarily small epsilon, the left side of the inequality must tend to zero as g(x) gets closer to f(a); that is, as x approaches a. So we have [tex] \lim_{ x \rightarrow a} |g(x) - f(a)| = 0 [/tex]. We will separate this limit into two cases because of the absolute value bars. For the first case we have [tex] \lim_{x \rightarrow a} [g(x) - f(a)] = 0 [/tex], implying that [tex] \lim_{x \rightarrow a} g(x) - \lim_{x \rightarrow a} f(a) = 0 [/tex], implying that [tex] \lim_{x \rightarrow a} g(x) = \lim_{x \rightarrow a} f(a)[/tex]. Now, since the function is continuous we must have [tex] \lim_{x \rightarrow a} g(x) = g(a)[/tex]. So our limit equation turns into [tex] g(a) = f(a) [/tex]. Which is a contradiction because we know that [tex] f(a) \neq g(a) [/tex]. For the second case, where we want to evaluate the limit as x approaches a of [tex] - [g(x) - f(a)] = f(a) - g(x) [/tex] it is easy to see that we will also arrive at the same contradiction. Therefore [tex] f(x) \neq g(x) [/tex] whenever [tex] |x-a| < \delta [/tex]. QED
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Proof on continuous functions