Finding the Right Delta for Epsilon-Delta Proofs

  • Thread starter Thread starter Paparazzi
  • Start date Start date
  • Tags Tags
    Limit Proof
Paparazzi
Messages
9
Reaction score
0

Homework Statement


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

Homework Equations


N/A.

The Attempt at a Solution


Note that | f(x) + g(x) - 6 | = | (f(x) - 2) + (g(x) - 4) | \le | f(x) - 2 | + | g(x) - 4 | by the triangle inequality.
Now, we need to find \delta_1, \delta_2 > 0 such that the two conditions | f(x) - 2 | < \frac{\epsilon}{2} and | g(x) - 4 | < \frac{\epsilon}{2} 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 \epsilon/2 for \epsilon 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 \delta_2 such that

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

But, for all \epsilon, you have

0<|x-2|<\epsilon^2~\Rightarrow~|g(x)-4|<\epsilon

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

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

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

Indeed!
 
That is exactly what I needed. Thank you so much!
 
Thread 'Use greedy vertex coloring algorithm to prove the upper bound of χ'
Hi! I am struggling with the exercise I mentioned under "Homework statement". The exercise is about a specific "greedy vertex coloring algorithm". One definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf Here is also a screenshot of the relevant parts of the linked PDF, i.e. the def. of the algorithm: Sadly I don't have much to show as far as a solution attempt goes, as I am stuck on how to proceed. I thought...
Back
Top