Solved Epsilon-Delta Proof: Is it Coherent?

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:
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
4K
  • · Replies 20 ·
Replies
20
Views
4K
  • · 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