Explaining the Epsilon-Delta Concept in Limits

In summary: L. So far, we've only talked about epsilon. In order to prove continuity for the function f defined by f(x)=x, we need to find a value for delta that will make f(x) continue to exist as x gets closer to a. The delta in this particular example is \frac{-1}{10}. This delta makes sure that the function f(x) goes to 0 as x goes to 0 within the error bounds of epsilon and L.
  • #1
spandan
9
0
I'm studying limits now (for the first time) and though have understood the intuitive concept of limit, I didn't get at all the epsilon-delta concept.

What is epsilon and delta? What is x-2? I didn't get anything at all.

So please explain me these in detail.


Thanking you in advanced for your kind help
 
Physics news on Phys.org
  • #2
Consider the sequence 1/2, 1/3, 1/4,... If you pick a small number epsilon, I can always (no matter what small number you picked) find an integer N such that 1/n is smaller than your epsilon for all n≥N. That's what we mean when se say that the limit of the sequence is 0.

Consider the function f defined by f(x)=x. (Let's keep it as simple as possible). If you pick a small number epsilon, I can always (no matter what number you picked) find a positive number delta such that |f(x)-0| is less than epsilon for all x such that |x-0| is less than delta. That's what we mean when we say that the function goes to 0 as x goes to 0.

The point is that by choosing x "close enough" to 0 (the value that x goes to), we can make f(x) be "close enough" to 0 (the limit of f(x)).

I don't know what you mean by "x-2".
 
  • #3
f(x) approaches a limit L (f(x) -> L) as x approaches a (x -> a) if we can make f(x) as close to L as we want provided that x is sufficiently close, but unequal to, a. This is probably the intuitive notion you are familiar with. Note we are not concerned with whether f is even defined at a since we only care about behavior of f as x gets arbitrarily close to a.

This graph helps connect the intuitive definition with the formal definition: http://www.math.ucdavis.edu/~kouba/CalcOneDIRECTORY/preciselimdirectory/precise.gif

Let's be very specific to begin with. It is not hard to convince yourself that the function f(x) = [tex]\sqrt{|x|}cos(x)[/tex] approaches 0 as x approaches 0. We want to make f(x) close to 0, so why not make f(x) within [tex]\frac{1}{10}[/tex] of 0?

We want
[tex] \frac{-1}{10} < \sqrt{|x|}cos(x) < \frac{1}{10} [/tex],
which is the same as
[tex]|\sqrt{|x|}cos(x)| < \frac{1}{10}[/tex].
But [tex]|cos(x)| \leq 1[/tex],
so [tex]|\sqrt{|x|}cos(x)| = \sqrt{|x|}\cdot|cos(x)|\leq \sqrt{|x|} [/tex].

Now we need to make x sufficiently close to a.
By inspection, if we make x within [tex]\frac{1}{100}[/tex] of 0, i.e.,
[tex]|x| < \frac{1}{100}[/tex],
then [tex]|\sqrt{|x|}cos(x)| \leq \sqrt{|x|} < \sqrt{\frac{1}{100}} = \frac{1}{10}[/tex].

This means that if x is within 1/100 of 0, but unequal to 0 (again, don't be concerned with f(0) for the moment), then |f(x) - 0| < 1/10. Now try to generalize this example. Take another look at the definition and the picture, both provided here: http://www.math.ucdavis.edu/~kouba/CalcOneDIRECTORY/preciselimdirectory/PreciseLimit.html

What epsilon was used in the above example? Could we have chosen any number to be epsilon? Which delta was chosen and how does it relate to the given epsilon? If you can relate each component of the specific example shown with those of the precise definition, then you prove the more general statement (bolded above).
 
  • #4
I liked Fredrik's explanation. It might also help to remember that when speaking about functions, the entire delta-neighborhood must be mapped into the epsilon-neighborhood.
 
  • #5
The epsilon-delta definition is very weird! Don't be discouraged if you have trouble understanding it at first.

First, let's get the definition out there so we have something to work with:

[tex]\lim_{x \to a}f(x) = L \text{ means } \forall \epsilon: \exists \delta: \text{ if } |x - a| < \delta \text{ then } |f(x) - L| < \epsilon[/tex]

That's definitely not an intuitive or simple definition. In one sentence, you have some of the hardest parts of logic put together: mixed quantifiers and implication (and the implication is often written "backwards" using the phrasing "whenever"). But nevermind all the details. Just get a feel for it. You never need the definition ever again once you've proven the continuity of the important classes functions. But it's a good workout for the brain!

In real life, you can never have perfect precision. In any measurement you make, there will always be some amount of error. If you are careful, you can make the bounds of that error very small.

In the definition of a limit, epsilon and delta are error bounds. That is why the absolute values are there. When you say [tex] |x - a| < \delta[/tex], what you mean is that x and a are equal within an error tolerance of delta. Similarly with epsilon, f(x), and L.

A continuous function has to do with accuracy of input and output of the function. There needs to be a relationship between accurate output and accurate input. More specifically, a continuous function must be one that allows you get an output as accurate as you desire... simply by inputting accurate enough data.

When coming up with proofs of continuity, you are usually looking for a value for delta in terms of epsilon that satisfy the logical implication. These proofs also make heavy use of the triangle rule for absolute value.

The
 
  • #6
If the sequence a_n tends to a limit a, then we usually formulate this by saying that for every epsilon>0 there exists a N such that for all
n > N we have that |a_n -a| < epsilon.

A math prof. of a course I was following once said in class that he didn't understand why we always let the small n be larger than the big N :biggrin:
 
  • #7
I still don't get it very nicely. I would appreciate if you could put it in simpler words.

The [tex]\epsilon - \delta[/tex] definition of limit is given as follows:
Let [tex]f(x)[/tex] be defined in the neighbourhood of [tex]a[/tex]. Then [tex]f(x)[/tex] is said to tend to limit [tex]L[/tex] as [tex]x[/tex] approaches to [tex]a[/tex], or symbolically,
[tex]lim_{x \rightarrow a} f(x) =L[/tex]
If for every positive number [tex]\epsilon[/tex] - however small it be - there exists a corresponding positive number [tex]\delta[/tex] such that
[tex]0 < |x - a| < \delta \mbox{then} |f(x) - L| < \epsilon[/tex]

I have some questions:
1. Can [tex]x[/tex] be equal to [tex]a[/tex]?
2. Is is that we can select [tex]\epsilon[/tex] and [tex]\delta[/tex] ourselves? How? Can any small number serve as [tex]\epsilon[/tex]?

I am also confused about the "Existence of a funstion at a point" part:
A function [tex]f(x)[/tex] will exist at a point [tex]x = a[/tex] if [tex]\mbox{left hand limit = right hand limit}[/tex]
[tex]lim_{x \rightarrow a-h} f(x) = lim_{x \rightarrow a+h} f(x) \mbox{ for } |h| < \delta [/tex]
[tex]lim_{h \rightarrow 0} f(a-h) = lim_{h \rightarrow 0} f(a+h) \mbox{ for } |h| < \delta[/tex]
Explain this one to me please.


What is h?

Fredrik said:
Consider the sequence 1/2, 1/3, 1/4,... If you pick a small number epsilon, I can always (no matter what small number you picked) find an integer N such that 1/n is smaller than your epsilon for all n≥N. That's what we mean when se say that the limit of the sequence is 0.
Say if I pick epsilon to be 0.0009, find me the integer N.
 
Last edited:
  • #8
The existence of a function at point has nothing to do with its limit at that point. You mean to say the limit at that point only exists if the left and right limits exist and agree.
 
  • #9
spandan said:
Say if I pick epsilon to be 0.0009, find me the integer N.
Since 1/0.0009=1111.111..., the smallest integer we can use for this purpose is 1112. So I pick N=1112, and you say "ha-ha, that N is useless when I choose epsilon to be 0.000007 instead". But then I calculate 1/0.000007=142857.142... and choose N=142858.

The meaning of the statement "the limit of this sequence is 0" is that I will always win this game if I get to choose my number (N) after you choose yours (epsilon).
 
Last edited:
  • #10
spandan said:
I have some questions:
1. Can [tex]x[/tex] be equal to [tex]a[/tex]?
2. Is is that we can select [tex]\epsilon[/tex] and [tex]\delta[/tex] ourselves? How? Can any small number serve as [tex]\epsilon[/tex]?
1. The function f doesn't have to be defined at a, so if we allow x=a, the inequality [itex]|f(x)-L|<\epsilon[/itex] doesn't always make sense. So [itex]0<|x-a|<\delta[/itex] is right.

2. All positive numbers serve as [itex]\epsilon[/itex].

spandan said:
I am also confused about the "Existence of a funstion at a point" part:
That should be "the limit of the function f as x goes to a exists if..."

spandan said:
What is h?
Any number satisfying [itex]0<h<\delta[/itex].

f(x) is said to go to y as x goes to a from the right (x→a+) if

[tex]\forall\epsilon>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } \exists \delta>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } 0<x-a<\delta\implies |f(x)-y|<\epsilon[/tex]

f(x) is said to go to y as x goes to a from the left (x→a-) if

[tex]\forall\epsilon>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } \exists \delta>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } 0<a-x<\delta\implies |f(x)-y|<\epsilon[/tex]
 
  • #11
spandan said:
I'm studying limits now (for the first time) and though have understood the intuitive concept of limit, I didn't get at all the epsilon-delta concept.

What is epsilon and delta? What is x-2? I didn't get anything at all.

So please explain me these in detail.Thanking you in advanced for your kind help

Consider this example , f(x)_as x approaches 1_= 2x + 3 = 5
We must prove that:
for each positive number ", there is a positive number delta such that

| (2x + 3 ) - 5| < epsilon for all x satisfying 0 < | x -1 | < delta

that is | 2(x - 1 ) | < epsilon , for all x satisfying 0 < | x -1 | < delta

now 2|x - 1 | < epsilon , now divide by 2 to get

| x - 1 | < (epsilon / 2) , here is the thing, look at this and look at

0 < | x - 1 | < delta

both look identical except for the " 0 < " in the delta part

since | x - 1 | < (epsilon/2)

and | x -1 | < delta ( note here i didnt include the " 0 < " part
which is fine because that just tell us that | x -1 | has to be greater than 0

so we can make | x - 1 | < delta = (epsilon/2)

we choose delta = (epsilon/2) , so the statement

[tex]\forall\epsilon>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } \exists \delta>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } 0<x-a<\delta\implies |f(x)-y|<\epsilon[/tex]

holds since for 0 < | x -1 | < (epsilon/2) we have

delta = (epsilon/2) ==> epsilon = 2*delta

|2(x - 1 ) | < 2(delta) here epsilon = 2 delta ,see above

|2(x -1 ) | < 2 ( epsilon /2 ) here we just simplify

| 2(x-1) | < epsilon as required NOTE: look at this website, several examples in detail about proving with epsilon delta are given

http://tutorial.math.lamar.edu/Classes/CalcI/DefnOfLimit.aspx
 
Last edited:
  • #12
Can I take epsilon = 600 billion as well?

And I remember my Calculus teacher mentioning that delta should be greater than or equal to epsilon. Why is this?
 
  • #13
spandan said:
Can I take epsilon = 600 billion as well?
Look at the definition again:

We say that f(x)→y when x→a if

[tex]\forall\epsilon>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } \exists \delta>0 \mbox{ }\mbox{ }\mbox{ }\mbox{ } 0<|x-a|<\delta\implies |f(x)-y|<\epsilon[/tex]

([itex]\forall[/itex] means "for all". [itex]\exists[/itex] means "there exists"). The statement "there exists a number [itex]\delta>0[/itex] such that [itex]0<|x-a|<\delta\implies |f(x)-y|<\epsilon[/itex]" is going to be true when [tex]\epsilon=6\cdot 10^{11}[/itex] for most functions f that you will encounter. But this tells you nothing, since we only say that f(x)→y when x→a if that statement holds for all [itex]\epsilon>0[/itex], including every member of (for example) the sequence 1/2n.

spandan said:
And I remember my Calculus teacher mentioning that delta should be greater than or equal to epsilon. Why is this?
You probably just heard him wrong or misunderstood him. Consider the example [itex]f(x)=\sqrt x[/itex] and choose [itex]\epsilon=\frac 1 2[/itex]. We obviously want to define the limit in a way that means that this f(x)→0 as x→0, but do you think it's possible to chose a [itex]\delta\geq\epsilon=\frac 1 2[/itex] such that [itex]0<|x-0|<\delta \implies |f(x)-0|<\epsilon[/itex]? When x is slightly less than 1/2, f(x) is approximately 1.4 which is [itex]>\epsilon=0.5[/itex], so [itex]|f(x)-0|<\epsilon[/itex] doesn't hold.
 
  • #14
spandan said:
Can I take epsilon = 600 billion as well?

The equation has to hold for all epsilon, including 600 billion. However, the challenge is in small numbers.

And I remember my Calculus teacher mentioning that delta should be greater than or equal to epsilon. Why is this?

There is no need for delta to be greater than epsilon. They will be related to each other, but not necessarily in a simple way like this.
 
  • #15
So if I pick epsilon=0.00001, what would delta be? Say [tex]lim_{x \rightarrow 2} (2x^2 + 3x - 14) = 0 [/tex]. What would be delta? How do we find out? How are epsilon and delta related to each other? So delta is not smaller than or equal to epsilon?
This is how my book solves this question:
Find the limit [tex]lim_{x \rightarrow 3} (3x - 4)[/tex] and verify the result.
Solution:
[tex]lim_{x \rightarrow 3} (3x - 4)[/tex] = 3*3-4 = 5. To verify that result, we have to show that the corresponding to [tex]\epsilon > 0[/tex], there exists [tex]\delta[/tex] such that [tex]|(3x - 4) - 5| < \epsilon[/tex] whenever [tex]|x-3| < \delta[/tex].

Here we have to find [tex]\delta[/tex] in terms of [tex]\epsilon[/tex], considering [tex]\epsilon[/tex] is given. Now

[tex] |(3x-4)-5| < \epsilon \Rightarrow |3x-9| < \epsilon \Rightarrow |x-3| < (\epsilon / 3)[/tex]
Hence [tex]\delta \leq (\epsilon / 3)[/tex].How is delta found out in terms of epsilon in this solution? Is |x - 3| equal to delta? How? I didn't get this solution. Please help me out.
 
Last edited:
  • #16
Maybe an alternate description will help.

Fred and George are going to play a game. The game goes as follows:
(1) Fred writes a positive number. We will call that number [itex]\epsilon[/itex].
(2) George writes a positive number. We will call that number [itex]\delta[/itex].
(3) Fred writes down another number. We will call that number [itex]x[/itex].

Fred wins if both of the following are true:
(A) [itex]0 < |x - 2| < \delta[/itex]
(B) [itex]|(2x^2 + 3x - 14) - 0| \geq \epsilon[/itex]
otherwise, George wins.

The definition of limit says that if [itex]\lim_{x \rightarrow 2} (2x^2 + 3x - 14) = 0[/itex], then there is a strategy George can use that will let him win every time. If that limit doesn't exist or is not zero, then there is a strategy Fred can use that will let him win every time.
 
  • #17
spandan said:
This is how my book solves this question:
Find the limit [tex]lim_{x \rightarrow 3} (3x - 4)[/tex] and verify the result.
Solution:
[tex]lim_{x \rightarrow 3} (3x - 4)[/tex] = 3*3-4 = 5. To verify that result, we have to show that the corresponding to [tex]\epsilon > 0[/tex], there exists [tex]\delta[/tex] such that [tex]|(3x - 4) - 5| < \epsilon[/tex] whenever [tex]|x-3| < \delta[/tex].

Here we have to find [tex]\delta[/tex] in terms of [tex]\epsilon[/tex], considering [tex]\epsilon[/tex] is given. Now

[tex] |(3x-4)-5| < \epsilon \Rightarrow |3x-9| < \epsilon \Rightarrow |x-3| < (\epsilon / 3)[/tex]
Hence [tex]\delta \leq (\epsilon / 3)[/tex].





How is delta found out in terms of epsilon in this solution? Is |x - 3| equal to delta? How? I didn't get this solution. Please help me out.
What part of it are you having problems with? The solution you posted clearly shows that if we choose δ=ε/3 (or smaller), we have |(3x-4)-5|<ε for all x that satisfies 0<|x-3|<δ, and by definition of the limit, that means that 3x-4→5 as x→3.

I don't see why you're asking if |x-3| is equal to delta. It seems that you have ignored the words "for all" in all of the replies you got. You should think about what they mean.
 
Last edited:
  • #18
If you have problems understanding the definition of
[tex]\lim_{x \rightarrow a} f(x) = L[/tex]
start with a really easy example.

Easy example:
Consider [tex]f(x) = x[/tex] and [tex]\lim_{x \rightarrow 5} x = ?[/tex]

Obviously the limit is 5, i.e. [tex]\lim_{x \rightarrow 5} x = 5[/tex] but how do you prove
that? (It is obvious if you draw it. Do you know the geometric meaning of the limit?)

To show that the limit is 5, you have to show the following:
[tex]|x-a|< \delta \Rightarrow |f(x)-L| < \epsilon[/tex]
(this is just taken from the definition. L is the limit)

In other words:
Proof:
Step 0. Choose an appropriate value for delta
Step 1. You start with [tex]|x-a|< \delta[/tex],
Step 2. then make some manipulations and
Step 3. arrive at [tex]|f(x)-L| < \epsilon[/tex]
End of proof
--

In our example [tex]\lim_{x \rightarrow 5} x[/tex],

we have a=5 and f(x)=x and we want
to show that L=5. For this, we have to show that:

[tex]|x-5|< \delta \Rightarrow |x-5|< \epsilon[/tex]
Remember the definition:
[tex]|x-a|< \delta \Rightarrow |f(x)-L|< \epsilon[/tex]


Step 1. You start with [tex]|x-5|< \delta[/tex],
Step 2. then make some manipulations
Step 3. and arrive at [tex]|x-5|< \epsilon[/tex].

How do you get from Step 1 to Step 3, i.e. from [tex]|x-5|< \delta[/tex] to [tex]|x-5|< \epsilon[/tex]?
See Step 0: Choose an appropriate value for delta.
An obvious choice is delta = epsilon.
Let's check that:

Proof:
Step 0: Choose delta = epsilon
Step 1: |x-5| < delta = epsilon
Step 2: No complicated manipulations necessary here.
Step 3: |x-5| < epsilon from Step 1, thus |f(x)-L| < epsilon.
End of proof

Note: If you WRITE DOWN THE PROOF always start with Step 0: Choose appropriate delta

Although working "backwards" is a good method to find delta in terms of epsilon
always start with Step 0 for the proof.


---

Another example:

f(x) = 7*x

What is [tex]\lim_{x \rightarrow 3} 7x[/tex] ?

[tex]\lim_{x \rightarrow 3} 7x = 21[/tex]

Proof:
Step 0: Let delta = 1/7 epsilon, then
Step 1: |x-3| < delta = 1/7 epsilon
Step 2: Manipulations
|x-3| < 1/7 epsilon
=> 7 |x-3| < epsilon
=> |7x-21|< epsilon

Step 3: We arrived at
|7x-21| < epsilon, thus
|f(x)-L| < epsilon
End of proof

----

Note that usually you have a delta that depends on epsilon.
In the first example we had
delta = epsilon
in the second we had
delta = 1/7*epsilon

In other examples you may have
delta = epsilon^1/2,
delta = epsilon ^3/2

or just delta = 8 (or some other constant).

------

Here's a nice video on the delta-epsilon definition of a limit:
http://www.youtube.com/watch?v=u06Yrvt2XLc&fmt=18
 
Last edited:
  • #19
Anyone notice that when functions are not simple linear expressions, that the epsilon-delta limit proofs are usually not easy?
 
  • #20
symbolipoint said:
Anyone notice that when functions are not simple linear expressions, that the epsilon-delta limit proofs are usually not easy?

That's because linear functions are among the simplest of functions! That's why things like derivatives and the mean value theorem are so important -- they allow you to approximate complicated functions with linear functions. Another particular example is the limit of a quadratic expression; one controls a quadratic term like
[tex]|x^2 - a|[/tex]​
by factoring it into a product of linear terms
[tex]|(x - \sqrt{a})| |(x + \sqrt{a}) |[/tex]​
and then finding a way to simultaneously control both (linear) factors.
 
  • #21
In the definition of a limit, epsilon and delta are error bounds. That is why the absolute values are there. When you say [tex]|x - a| < \delta[/tex] , what you mean is that x and a are equal within an error tolerance of delta. Similarly with epsilon, f(x), and L.
Then shouldn't x-a BE delta?

Maybe an alternate description will help.

Fred and George are going to play a game. The game goes as follows:
(1) Fred writes a positive number. We will call that number [tex]\epsilon[/tex] .
(2) George writes a positive number. We will call that number [tex]\delta[/tex] .
(3) Fred writes down another number. We will call that number [tex]x[/tex] .
So then delta and epsilon are not related to each other. Is it? But the graphs I've seen suggest that they ARE related.And delta and epsilon are not related to each other means any can be bigger or smaller than other, right?

I don't see why you're asking if |x-3| is equal to delta. It seems that you have ignored the words "for all" in all of the replies you got. You should think about what they mean.
Thanks, I uinderstood it now.

The confusion is all because a friend of mine told me that the result is done when we prove that delta is smaller than or equal to epsilon. So I thought |x-3| is delta...
 
Last edited:
  • #22
spandan said:
So then delta and epsilon are not related to each other. Is it? But the graphs I've seen suggest that they ARE related.


And delta and epsilon are not related to each other means any can be bigger or smaller than other, right?
Yes and no. There is no a priori relationship between delta and epsilon in this game. But if George wants to win, he has to pick [itex]\delta[/itex] intelligently, taking advantage of his knowledge of what Fred picked for [itex]\epsilon[/itex]. If George ignores [itex]\epsilon[/itex], he will usually lose the game.


It turns out in this particular game, if I've done the analysis correctly, George needs to pick his delta in the interval

[tex]0 < \delta \leq \frac{\sqrt{121 + 8 \epsilon} - 11}{4} [/tex]

If George does not do so, then Fred can win. Note that if George picks anything in this interval, he will win!

Now, I did my analysis unnecessarily strictly; when George searches for his winning strategy, he will probably settle for an approximate solution (using a method you have probably already seen); he doesn't need to know the entire range of [itex]\delta[/itex] values he can use... he just needs to find a single value that works. He will probably settle on the strategy of picking [itex]\delta[/itex] to be the smaller of the two numbers [itex]\epsilon / 11[/itex] and [itex]1[/itex].



Each different limit yields a different game, and each one will require George to devise a different winning strategy. However, one general principle is that if George has a winning strategy for one particular game, he can always make another winning strategy by choosing a smaller (positive) value. If, for some reason, George really doesn't like having [itex]\delta \geq \epsilon[/itex] he does have the freedom to always make sure that [itex]\delta < \epsilon[/itex]: if he uncovers a winning strategy that would say otherwise, he just modifies the winning strategy to give something smaller. But such a restriction is definitely unnecessary.
 
Last edited:
  • #23
symbolipoint said:
Anyone notice that when functions are not simple linear expressions, that the epsilon-delta limit proofs are usually not easy?

Hmm I find that for a lot these functions, finding a certain limit just tests how well acquainted you are with manipulating inequalities. Pathological functions are much more fun to play with.
 
  • #24
Does both [tex]\epsilon [/tex] and ε represent epsilon? My textbook uses [tex]\epsilon [/tex] (the "belongs to" / "is a member of") sign, but many use ε.

Fred wins if both of the following are true:
(A) [tex] 0 < |x - 2| < \delta [/tex]
(B) [tex]|(2x^2 + 3x - 14) - 0| \geq \epsilon [/tex]
otherwise, George wins.

The definition of limit says that if [tex] lim_{x \\rightarrow 2} (2x^2 + 3x - 14) = 0[/tex] , then there is a strategy George can use that will let him win every time. If that limit doesn't exist or is not zero, then there is a strategy Fred can use that will let him win every time.
Shouldn't it be [tex]|f(x) - L| < \epsilon[/tex]? You've written [tex]|f(x) - L| \geq \epsilon [/tex]

There is no a priori relationship between delta and epsilon in this game.
What is "priori"?

It turns out in this particular game, if I've done the analysis correctly, George needs to pick his delta in the interval

[tex] 0 < \delta \leq \frac{\sqrt{121 + 8 \epsilon} - 11}{4}[/tex]

If George does not do so, then Fred can win. Note that if George picks anything in this interval, he will win!

Now, I did my analysis unnecessarily strictly; when George searches for his winning strategy, he will probably settle for an approximate solution (using a method you have probably already seen); he doesn't need to know the entire range of delta values he can use... he just needs to find a single value that works. He will probably settle on the strategy of picking delta to be the smaller of the two numbers epsilon / 11 and 1 .
How did you do the analysis?

Can you do the proof of this problem for me please?
 
Last edited:
  • #25
spandan said:
Then shouldn't x-a BE delta?
No. You really have to think about what the words "for all" (or "for each") mean in the definition.

spandan said:
So then delta and epsilon are not related to each other. Is it? But the graphs I've seen suggest that they ARE related.
There's one delta for each epsilon, so the value of the biggest possible delta you can choose clearly depends on epsilon.

spandan said:
And delta and epsilon are not related to each other means any can be bigger or smaller than other, right?
You will sometimes be able to choose a delta that's > epsilon and sometimes not. It depends on what function you're dealing with.

spandan said:
The confusion is all because a friend of mine told me that the result is done when we prove that delta is smaller than or equal to epsilon. So I thought |x-3| is delta...
You don't prove what delta is. You find the biggest value of delta you can choose.

spandan said:
Does both [tex]\epsilon [/tex] and ε represent epsilon?
Yes. It doesn't matter if you write "epsilon" ([itex]\epsilon[/itex]) or "varepsilon" ([itex]\varepsilon[/itex]).

spandan said:
Shouldn't it be [tex]|f(x) - L| < \epsilon[/tex]? You've written [tex]|f(x) - L| \geq \epsilon [/tex]
No. George is the the one who gets to pick delta, so he's the one who wins when the limit exists. He only wins when Fred loses.

spandan said:
What is "priori"?
He meant that there's no relationship between them that holds in general. Any relationship between epsilon and the largest possible choice of delta must be caused by the specific problem we're considering.

http://dictionary.reference.com/browse/a priori

spandan said:
How did you do the analysis?

Can you do the proof of this problem for me please?
You already posted a complete solution to a similar but much simpler problem, and you say that you don't understand it. Would another complete solution really help? I think it would be better if you explained what it is that bothers you about the solution you posted, so you can get some help understanding that.

I think the cause of all your difficulties is that you're consistently ignoring the words "for all".
 
Last edited:
  • #26
No, I understood it now. I was thinking the proof will be complete once we somehow prove delta is smaller than or equal to epsilon. I thought that in the last step you assumed |x-3| to be delta and somehow change the smaller than sign to smaller than and equals to. This what I had not got. But how do we know that epsilon/3 (and smaller) values of delta work?

But I couldn't solve that (difficult) question.
 
Last edited:
  • #27
spandan said:
But how do we know that epsilon/3 (and smaller) values of delta work?

Um, it follows from the proof itself?

[tex]
\lim_{x \to 3}3x-4 = 5
[/tex]

Proof:

[tex]
\text{ Given } \epsilon > 0, \text{ choose }\delta = \frac{\epsilon}{3}. \text{ For all x, if } 0 < |x - 3| < \delta, \text{ then } |f(x) - L| = |(3x-4)-5| = 3\cdot|x-3| < 3\cdot \delta = 3\cdot \frac{\epsilon}{3} = \epsilon.
[/tex]

[tex]\text{ We are requiring that } 0 < |x - 3| < \delta = \frac{\epsilon}{3}. \text{ It should be clear why smaller values work }.[/tex]
Your question is kind of ambiguous though. For any epsilon > 0, it should be clear that picking [tex]\frac{\epsilon}{3}[/tex] to be delta will work. Try some actual values, but really take another look at the precise definition of the limit how each part relates to this specific proof.

spandan said:
But I couldn't solve that (difficult) question.

Hmm, this is somewhat tricky, take a look at 3) under examples here: http://en.wikibooks.org/wiki/Calculus/Formal_Definition_of_the_Limit . As Hurkyl mentioned, there are different ways to handle these types of limits. But yeah you should try it on your own. Look up the triangle inequality if you're not familiar with it.
 
Last edited:

FAQ: Explaining the Epsilon-Delta Concept in Limits

1. What is the definition of epsilon and delta?

Epsilon and delta are mathematical symbols used in the study of limits in calculus. Epsilon represents a small, positive number and delta represents a small change in the input of a function.

2. How are epsilon and delta related to the concept of limits?

Epsilon and delta are used to define the concept of a limit, which is the value that a function approaches as its input approaches a certain value. Epsilon represents the margin of error or tolerance, and delta represents the distance between the input value and the value that the function approaches.

3. Can you give an example of how epsilon and delta are used in calculus?

For example, in the limit definition of a derivative, epsilon and delta are used to show that as the input value approaches a certain value, the output value approaches a specific value. This can be written as: "For every epsilon greater than 0, there exists a delta greater than 0 such that if the distance between x and a is less than delta, then the absolute value of f(x) - f(a) is less than epsilon."

4. Are epsilon and delta only used in calculus?

No, epsilon and delta are also used in other areas of mathematics, such as in the definition of continuity and convergence in analysis. They can also be applied in other fields, such as engineering and physics, to represent small changes and tolerances in calculations and measurements.

5. Why are epsilon and delta important in mathematics?

Epsilon and delta provide a precise and rigorous way to express and understand the concept of limits. They enable mathematicians to prove the existence of limits and to make accurate approximations in calculations. Additionally, they are fundamental to many other concepts in mathematics, making them an essential tool in the field.

Similar threads

Back
Top