Finding the Right Delta for Epsilon-Delta Proofs

  • Thread starter Thread starter Paparazzi
  • Start date Start date
  • Tags Tags
    Limit Proof
Click For Summary

Homework Help Overview

The problem involves finding a delta (\(\delta\)) for given epsilon (\(\epsilon\)) in the context of epsilon-delta proofs related to the functions \(f\) and \(g\). The goal is to show that if \(0 < |x - 2| < \delta\), then \(|f(x) + g(x) - 6| < \epsilon\) holds true, based on the properties of \(f\) and \(g\).

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • Participants discuss the use of the triangle inequality to relate \(|f(x) + g(x) - 6|\) to \(|f(x) - 2|\) and \(|g(x) - 4|\). There is a focus on determining appropriate values for \(\delta_1\) and \(\delta_2\) to satisfy the conditions for both functions. Questions arise about the validity of substituting \(\epsilon/2\) for \(\epsilon\) in the context of the problem.

Discussion Status

The discussion is active, with participants providing insights on how to derive \(\delta_2\) based on the properties of \(g(x)\). There is acknowledgment of the need to establish a similar approach for \(\delta_1\). Some participants express gratitude for the guidance received, indicating a productive exchange.

Contextual Notes

Participants note the generality of the statement being true for all \(\epsilon > 0\) as a key aspect of the problem, which influences their reasoning about substitutions and the conditions for \(\delta\).

Paparazzi
Messages
9
Reaction score
0

Homework Statement


Suppose the functions [itex]f[/itex] and [itex]g[/itex] satisfy the following property: for all [itex]\epsilon > 0[/itex] and all [itex]x[/itex], [tex]\text{if } 0 < | x - 2 | < \text{sin}^2(\frac{\epsilon^2}{9}) + \epsilon, \text{then } | f(x) - 2 | < \epsilon.[/tex] [tex]\text{if } 0 < | x - 2 | < \epsilon^2, \text{then } | g(x) - 4 | < \epsilon.[/tex]
For the given [itex]\epsilon > 0[/itex] find a [itex]\delta > 0[/itex] such that, for all [itex]x[/itex], [tex]\text{if } 0 < | x - 2 | < \delta, \text{then } | f(x) + g(x) - 6 | < \epsilon.[/tex]

Homework Equations


N/A.

The Attempt at a Solution


Note that [tex]| f(x) + g(x) - 6 | = | (f(x) - 2) + (g(x) - 4) | \le | f(x) - 2 | + | g(x) - 4 |[/tex] by the triangle inequality.
Now, we need to find [itex]\delta_1, \delta_2 > 0[/itex] such that the two conditions [itex]| f(x) - 2 | < \frac{\epsilon}{2}[/itex] and [itex]| g(x) - 4 | < \frac{\epsilon}{2}[/itex] are satisfied.

This is where I fall short of the solution. Since I've done this problem before I (unfortunately) know what the answer should be. It appears that I just substituted in [itex]\epsilon/2[/itex] for [itex]\epsilon[/itex] in my previous solution, but I feel that it lacked rigor. Any clues as to where to go from here would be great. Thanks a lot.
 
Physics news on Phys.org
Hi Paparazzi! :smile:

I appreciate your work to TeX everything nicely! :wink:

So, you need [itex]\delta_2[/itex] such that

[tex]0<|x-2|<\delta_2~\Rightarrow~|g(x)-4|<\epsilon/2[/tex]

But, for all [itex]\epsilon[/itex], you have

[tex]0<|x-2|<\epsilon^2~\Rightarrow~|g(x)-4|<\epsilon[/tex]

Thus if you make sure that [itex]\delta_2=(\epsilon/2)^2[/itex], then you will have

[tex]0<|x-2|<\delta_2=(\epsilon/2)^2~\Rightarrow~|g(x)-4|<\epsilon/2[/tex]

Now you must do a similar thing for [itex]\delta_1[/itex]...
 
So since the statement is true for all [itex]\epsilon > 0[/itex], that's the reason you can just substitute in what is needed (since [itex]\epsilon/2 > 0[/itex])? Thanks a bunch for the reply.
 
Paparazzi said:
So since the statement is true for all [itex]\epsilon > 0[/itex], that's the reason you can just substitute in what is needed (since [itex]\epsilon/2 > 0[/itex])?

Indeed!
 
That is exactly what I needed. Thank you so much!
 

Similar threads

  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
6
Views
3K
Replies
2
Views
2K
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K