Understanding formal definition of limits

[Muhammad Ali]

So far I could not understand the formal definition of limits. I know that limit of a function exists at a point say 'a' if left and right hand limit exist at that point. Then what is the need for the formal definition of limits?
Secondly, I am very confused by the usage of the notation of delta and epsilon and their usage in that definition.

 

[mathwonk]

that is defining something in terms of itself, considered circular. defining intelligence as the quality possessed by someone who is intelligent.

to define a limit you may not use the word limit in the definition. the point is to describe it to someone who does not understand the meaning of the word limit.

you have acomplished something, namely you have defiend a 2 sided limit for someone who already knows what a one sided limit is. now define a one sided limit and you will be done.

 

[mathwonk]

oops actually your definition is wrong,a s the 2 one sided limits must exist AND be equal.

 

[quasar987]

Reading this may help:

https://www.physicsforums.com/showthread.php?t=54175&highlight=limit

 

[Hubert]

I didn't want to start a new thread, but I have a question of my own:

I think essentially what the limit definition says is that
[tex]
\lim_{x\rightarrow a} f(x) = L
[/tex]

means for each [itex]\epsilon>0[/itex] there is a [itex]\delta>0[/itex] such that f(x) is in the inverval [itex](L-\epsilon, L+\epsilon)[/itex] whenever x is in the the interval [itex](a-\delta,a+\delta)[/itex] (x does not equal a).

Now, what I am wondering is: do the upper and lower bounds of the interval have to be the same distance from L and a?

Or could there be two epsilons and two deltas, making the limit definition:

[tex]
\lim_{x\rightarrow a} f(x) = L
[/tex]

means for each [itex]\epsilon_1>0[/itex] and [itex]\epsilon_2>0[/itex], there are [itex]\delta_1>0[/itex] and [itex]\delta_2>0[/itex] such that f(x) is in the inverval [itex](L-\epsilon_1, L+\epsilon_2)[/itex] whenever x is in the the interval [itex](a-\delta_1,a+\delta_2)[/itex] (x does not equal a).

Could this definition also work?

 

[radou]

The second 'definition' wouldn't make sense, unless I'm missing something, since the first states that for each [itex]\epsilon>0[/itex] ... So there must be more than one [itex]\epsilon>0[/itex].

 

[matt grime]

I didn't want to start a new thread, but I have a question of my own:

I think essentially what the limit definition says is that
[tex]
\lim_{x\rightarrow a} f(x) = L
[/tex]

means for each [itex]\epsilon>0[/itex] there is a [itex]\delta>0[/itex] such that f(x) is in the inverval [itex](L-\epsilon, L+\epsilon)[/itex] whenever x is in the the interval [itex](a-\delta,a+\delta)[/itex] (x does not equal a).

Now, what I am wondering is: do the upper and lower bounds of the interval have to be the same distance from L and a?

Or could there be two epsilons and two deltas, making the limit definition:

[tex]
\lim_{x\rightarrow a} f(x) = L
[/tex]

means for each [itex]\epsilon_1>0[/itex] and [itex]\epsilon_2>0[/itex], there are [itex]\delta_1>0[/itex] and [itex]\delta_2>0[/itex] such that f(x) is in the inverval [itex](L-\epsilon_1, L+\epsilon_2)[/itex] whenever x is in the the interval [itex](a-\delta_1,a+\delta_2)[/itex] (x does not equal a).

Could this definition also work?

exercise - show these are equivalent, hint: I can take the minimum of two positive real numbers and get a positive real number.