• Support PF! Buy your school textbooks, materials and every day products Here!

Help with Delta/Epsilon Proof

  • Thread starter Nidhogg
  • Start date
  • #1
11
0
I'm looking for a good, general explanation of how to do delta/epsilon proofs. I've searched all over the web but this stuff is just really confusing. Let me start with a problem, show my attempt at a solution, and then maybe you guys can explain it in a way that will make sense to me.

Homework Statement



Prove that: [tex]\lim_{x \rightarrow 2} 3x + 1 = 7 [/tex]

Homework Equations



If [tex](0 < |x-a| < \delta)[/tex] implies [tex](|f(x) - L| < \epsilon)[/tex], then [tex]\lim_{x\rightarrow a} f(x) = L [/tex].

The Attempt at a Solution



We want to prove that: [tex] \lim_{x \rightarrow 2} 3x + 1 = 7 [/tex] To do this, we must show that [tex](0 < |x- 2| < \delta)[/tex] implies: [tex](|3x + 1 - 7| < \epsilon)[/tex] So I start by taking: [tex]3x + 1 = 7[/tex] and simplifying it to [tex]3x - 6 = 0[/tex] Which we can set to being less than epsilon as a way of choosing a delta, thus [tex]|3x - 6| < \epsilon [/tex] which means that [tex]3|x-2| < \epsilon[/tex] so I can choose [tex]\delta = \frac{\epsilon}{3}[/tex]. Now I can assume that [tex]0 < |x - 2| < \delta[/tex], and since [tex] \delta = \frac{\epsilon}{3}[/tex] this means that [tex] 0 < |x - 2| < \frac{\epsilon}{3}[/tex]

At this point, I just draw a blank. I feel as if I have everything I need to complete the proof, but I'm missing something, and all the explanations I read don't seem to help. Can someone please help me get this through my thick skull?
 
Last edited:

Answers and Replies

  • #2
65
2
  • #3
RUber
Homework Helper
1,687
344
The goal is to show that for any fixed number epsilon, you can choose a delta such that ## | x- 2| < \delta \implies |f(x) - 7| < \epsilon##.
You have done a great job in the algebra, but you lost some of the theory.
You have ##| x- 2 | < \delta## and ##3| x-2 | < \epsilon ##.
When you choose ##\delta = \epsilon/3##, you are solving the equality not the inequality.
By putting the inequality back in, you should have shown that for any fixed epsilon, there exists a delta that satisfies the relationship.
 
  • #4
11
0
ciubba: D'oh, that was a typo! I fixed it.
RUber: Thanks, man. I'll work on it a little more tonight.
 
  • #5
11
0
So according to what RUber said, I have ## |x - 2| < \delta ## and ## 3|x - 2| < \epsilon##. I need to find from these two that such a delta exists for every epsilon, and I do this by putting together an inequality that relates delta and epsilon?

So, to take another whack at it I have: [tex] 3\delta = \epsilon [/tex] and I have [tex]|x - 2| < \delta[/tex] so can't I derive [tex]3|x - 2| < \epsilon[/tex] which means that ## |3x - 6| < \epsilon ## which means that ## |f(x) - L| < \epsilon##? In that case, haven't I completed the proof?
 
  • #6
65
2
So according to what RUber said, I have ## |x - 2| < \delta ## and ## 3|x - 2| < \epsilon##. I need to find from these two that such a delta exists for every epsilon, and I do this by putting together an inequality that relates delta and epsilon?

So, to take another whack at it I have: [tex] 3\delta = \epsilon [/tex] and I have [tex]|x - 2| < \delta[/tex] so can't I derive [tex]3|x - 2| < \epsilon[/tex] which means that ## |3x - 6| < \epsilon ## which means that ## |f(x) - L| < \epsilon##? In that case, haven't I completed the proof?
You just proved that when δ=ϵ/3, [tex]
|3x +1-7| < \epsilon[/tex] In other words, that value of delta will only get you back to the "epsilon" inequality IF it is valid. The delta heavy proofs tend to have the form of find a value of delta, then prove that that delta is true, which you have just done. These proofs tend to be more useful for proving general cases than specific ones.
 
  • #7
11
0
Ciubba: I'm not sure, but I think I'm getting closer to grasping this. We know now that when δ=ϵ/3, the limit inequality of |3x + 1 - 7| < ϵ holds. So what else do I have to do? Do I have to prove that there exists a δ such that δ=ϵ/3 for all ϵ? Isn't that necessarily true anyway since ϵ is a real number implicitly? What do you mean by an epsilon value's being "valid?" What does it mean to prove that a delta is true?

Sorry I'm so dense.
 
  • #8
65
2
Ciubba: I'm not sure, but I think I'm getting closer to grasping this. We know now that when δ=ϵ/3, the limit inequality of |3x + 1 - 7| < ϵ holds. So what else do I have to do? Do I have to prove that there exists a δ such that δ=ϵ/3 for all ϵ? Isn't that necessarily true anyway since ϵ > 0 by definition? What do you mean by an epsilon value's being "valid?" What does it mean to prove that a delta is true?

Sorry I'm so dense.
These are one of the hardest parts of calc, so don't feel bad.

The pre-delta/epsilon definition of a limit of the form [tex]\lim_{x->a}F(x)=L[/tex] is:

F(x) is arbitrarily close to L for any x sufficiently close to a. The arbitrarily close part is |F(x)-L|<ϵ and it is arbitrary because we define epsilon, or the distance between f(x) and the actual limit. |x-a|<delta is the sufficiently close part, and it is not arbitrary. If epsilon=1, then there exists a delta for which any input "x" that makes |x-a|<delta true will put the function output within one unit (epsilon=1) of the actual limit at a.

In your case, delta=epsilon/3. If I want f(x) to be within one unit of L (epsilon=1), then delta=1/3, which means |x-2|<1/3. In other words, any value of x between 5/3 and 7/3 will put me within one unit of 7.

There are many approaches to proofs, but in this case, the idea was first to find a value of delta by expanding |F(x)-L|<ϵ and performing "cosmetic surgery" to make it look like
|x-a|<δ. From there, you successfully worked backwards and proved that that value of delta made the "epsilon inequality" (i.e. |F(x)-L|<ϵ) true.

Edit: Once you've mastered that, there is one thing that I should add: often times we are faced with either functions that do not have a uniform slope or with arithmetic operations of functions (e.g. find the limit of f(x)+g(x)). This can be an issue as the value of delta that puts f(x) within epsilon of the limit might be different from the value of delta that puts g(x) within epsilon of the limit. In these situations, we often have multiple values for delta, so we take whichever is smallest, which is written as delta=min{value of delta 1, value of delta 2, etc.}. This is important as, in these situations, putting in a value of "x" within delta of "a" will often put you closer to the limit than epsilon required. This isn't relevant to your equation as it was linear and, thus, had a constant slope; however, it is something that you should be aware of.
 
Last edited:
  • #9
11
0
Wow, thanks for all your help, Ciubba! I'll be studying some of the more complex delta-epsilon proofs with a friend this evening and your post will definitely be referenced for that.
 
  • #10
65
2
If you decide to do general cases, a useful trick is to prove that as epsilon becomes small, so do the "bounds" of the inequalities. Good luck!
 

Related Threads on Help with Delta/Epsilon Proof

  • Last Post
Replies
0
Views
955
  • Last Post
Replies
13
Views
526
Replies
2
Views
4K
  • Last Post
Replies
14
Views
6K
  • Last Post
Replies
6
Views
6K
Replies
5
Views
2K
  • Last Post
Replies
2
Views
2K
Replies
7
Views
8K
Replies
4
Views
1K
  • Last Post
Replies
7
Views
1K
Top