Solved Epsilon-Delta Proof: Is it Coherent?

Click For Summary

Homework Help Overview

The discussion revolves around an epsilon-delta proof for the limit \(\lim_{x \rightarrow 2} x^{2} = 4\). Participants are examining the coherence and validity of various attempts to establish this proof, focusing on the definitions and relationships between epsilon and delta.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the need for defining epsilon and delta clearly, with some suggesting that delta should not depend on x. There are attempts to express the relationship between epsilon and delta, with varying degrees of rigor. Questions arise about the completeness of the proofs presented and the implications of using certain limits.

Discussion Status

The discussion is active, with participants providing feedback on each other's attempts. Some have offered clarifications regarding the definitions and conditions necessary for the proof, while others express uncertainty about the correctness of their approaches. There is no explicit consensus on the final form of the proof, but several productive lines of reasoning are being explored.

Contextual Notes

Participants note the importance of ensuring that the chosen delta is appropriate and does not lead to contradictions, particularly regarding the behavior of the function near critical points. There is also mention of the need to consider the bounds on x to avoid undefined behavior in the proof.

razored
Messages
173
Reaction score
0
[SOLVED] Epsilon Delta Proof

Does this limit proof make total sense? Given : "Show that [tex]\lim_{x \rightarrow 2} x^{2} = 4[/tex]."

My attempt at it :[tex]0<|x^{2}-4|<\epsilon[/tex] which can also be written as [tex]0<|(x-2)(x+2)|<\epsilon[/tex].
[tex]0<|x-2|<\delta[/tex] where [tex]\delta > 0[/tex]. It appears that [tex]\delta = \frac {\epsilon}{x+2}[/tex] which is the conversion factor. Which then by substitution, [tex]0<|x-2|<\frac {\epsilon}{x+2}[/tex].

Here is the actual proof:
Choose [tex]\delta = \frac {\epsilon}{x+2}[/tex], given [tex]epsilon > 0[/tex] then if [tex]0<|x-2|<\frac {\epsilon}{x+2}[/tex] then [tex]0<|(x-2)(x+2)|<\delta[/tex].

Is this explanation coherent? I actually have a slight idea of what I wrote. Hopefully I am on the right path.
 
Last edited:
Physics news on Phys.org
One of the more rigorous mathematicians here may have more to say about this then I will, but I think you have the gist of it. The one safeguard that is imposed in epsilon-delta proofs when you have a non-constant upper limit on the inequality is to make that limit

min ( 1 , [tex]\frac {\epsilon}{x+2}[/tex] ) ,

since the ratio can blow up at x = -2 and we've placed no restriction on the permitted values of x...
 
dynamicsolo said:
One of the more rigorous mathematicians here may have more to say about this then I will, but I think you have the gist of it. The one safeguard that is imposed in epsilon-delta proofs when you have a non-constant upper limit on the inequality is to make that limit

min ( 1 , [tex]\frac {\epsilon}{x+2}[/tex] ) ,

since the ratio can blow up at x = -2 and we've placed no restriction on the permitted values of x...

I can't believe I forgot to mention that!
 
When you are doing [tex]\epsilon-\delta[/tex] proofs, you have to say define what epsilon and delta are i.e. [tex]\forall \epsilon >0, \exists \delta[/tex] such that etc.
 
Your [itex]\delta[/itex] should not depend on [itex]x[/itex]. As the post above mentions, the logic goes: for all [itex]\epsilon > 0[/itex] there exists [itex]\delta > 0[/itex] such that if [itex]|x-2| < \delta[/itex] then [itex]|x^2 - 4| < \epsilon[/itex]. Delta can, however, depend on epsilon. If |x-2| is bounded by [itex]\delta < 1[/itex], then what is a bound on |x+2|?
 
eok20 said:
Your [itex]\delta[/itex] should not depend on [itex]x[/itex].

Sorry -- quite so! It's been a while since I've looked at one of these proofs and I'm writing from someplace I don't have my books handy...
 
My second attempt : Given any [tex]\epsilon > 0[/tex], choose [tex]\delta = \frac {\epsilon} {|x+2|} (x\neq -2)[/tex] where [tex]\delta > 0[/tex], then [tex]|x-2||x+2|<\epsilon[/tex] whenever [tex]|x-2|<\delta = \frac {\epsilon} {|x+2|}[/tex].

Is this right?
 
Last edited:
In my revision, I've been told that I did not prove anything. Is this a complete proof?
 
Let [tex]f(x)=x^2[/tex], [tex]x_{0}=2[/tex]. [tex]\forall \epsilon>0,\exists \delta>0[/tex] such that [tex]|x^2-4|<\epsilon[/tex], [tex]|x-2|<\delta[/tex]
Let [tex]\delta = \frac{\epsilon}{x+2}[/tex]
... continue from here. "..." [tex]<\epsilon[/tex]

OR let [tex]\delta=min\{ 1,\frac{\epsilon}{5} \}[/tex] and use the triangle inequality.
QED
 
Last edited:
  • #10
Substituting [tex]\delta = \frac {\epsilon}{x+2}[/tex] into [tex]|x-2|<\delta[/tex], we see that.. it works out? I do not know what to do from here.

Nor do I know the min way.
 
  • #11
Continue from the proof,
Let [tex]\epsilon>0[/tex], let [tex]\delta = min\{\frac{\epsilon}{5}\}[/tex]

Assume that [tex]|x-2|<\delta[/tex]

By Triangle inequality,
[tex]|x^2-4|=|(x+2)(x-2)|\leq |x+2||x-2|[/tex]

Since [tex]|x-2|<\delta[/tex], then [tex]|x-2|<\epsilon/5[/tex]

Then for 0<x<3 such that [tex]|x+2|=5[/tex] **note: this is why you get the 5 as the denominator under epsilon.

Thus, [tex]|x^2-4|\leq |x+2||x-2|<5*\frac{\epsilon}{5}=\epsilon[/tex] QED
 

Similar threads

  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
19
Views
2K