Understanding formal definition of limits

  • Context: Undergrad 
  • Thread starter Thread starter Muhammad Ali
  • Start date Start date
  • Tags Tags
    Definition Limits
Click For Summary
SUMMARY

The discussion centers on the formal definition of limits in calculus, specifically the epsilon-delta definition. The limit of a function at point 'a' exists if both the left-hand and right-hand limits are equal. Participants express confusion regarding the circular nature of using epsilon and delta in the definition and whether the bounds of the intervals must be equidistant from L and a. The consensus emphasizes that the definition requires both epsilon and delta to be positive, and the intervals can be adjusted accordingly without losing validity.

PREREQUISITES
  • Understanding of basic calculus concepts, particularly limits.
  • Familiarity with epsilon-delta notation in mathematical analysis.
  • Knowledge of one-sided and two-sided limits.
  • Ability to interpret mathematical definitions and proofs.
NEXT STEPS
  • Study the formal epsilon-delta definition of limits in detail.
  • Explore the concept of one-sided limits and their implications.
  • Learn about the equivalence of different definitions of limits.
  • Practice problems involving epsilon-delta proofs to solidify understanding.
USEFUL FOR

Students of calculus, mathematics educators, and anyone seeking a deeper understanding of limit definitions and their applications in analysis.

Muhammad Ali
Messages
12
Reaction score
0
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.
 
Physics news on Phys.org
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.
 
oops actually your definition is wrong,a s the 2 one sided limits must exist AND be equal.
 
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
<br /> \lim_{x\rightarrow a} f(x) = L<br />

means for each \epsilon&gt;0 there is a \delta&gt;0 such that f(x) is in the inverval (L-\epsilon, L+\epsilon) whenever x is in the the interval (a-\delta,a+\delta) (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:

<br /> \lim_{x\rightarrow a} f(x) = L<br />

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

Could this definition also work?
 
Last edited:
The second 'definition' wouldn't make sense, unless I'm missing something, since the first states that for each \epsilon&gt;0 ... So there must be more than one \epsilon&gt;0.
 
Hubert said:
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
<br /> \lim_{x\rightarrow a} f(x) = L<br />

means for each \epsilon&gt;0 there is a \delta&gt;0 such that f(x) is in the inverval (L-\epsilon, L+\epsilon) whenever x is in the the interval (a-\delta,a+\delta) (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:

<br /> \lim_{x\rightarrow a} f(x) = L<br />

means for each \epsilon_1&gt;0 and \epsilon_2&gt;0, there are \delta_1&gt;0 and \delta_2&gt;0 such that f(x) is in the inverval (L-\epsilon_1, L+\epsilon_2) whenever x is in the the interval (a-\delta_1,a+\delta_2) (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.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 20 ·
Replies
20
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K