Understanding formal definition of limits

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

Discussion Overview

The discussion revolves around the formal definition of limits in calculus, particularly focusing on the epsilon-delta definition. Participants express confusion regarding the necessity of this formalism, the notation involved, and the implications of the definitions provided.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant expresses confusion about the need for the formal definition of limits, questioning its necessity given the understanding of left and right hand limits.
  • Another participant critiques the circular nature of defining limits without avoiding the term itself, suggesting that a proper definition should not use the word "limit." They propose that a one-sided limit should also be defined.
  • A subsequent post corrects an earlier claim, stating that both one-sided limits must exist and be equal for a two-sided limit to be defined correctly.
  • One participant attempts to clarify the epsilon-delta definition, questioning whether the bounds of the intervals must be equidistant from L and a, or if different distances could be used.
  • Another participant challenges the validity of the alternative definition proposed, arguing that it contradicts the requirement of the original definition that states for each epsilon, there must be a corresponding delta.
  • A repeated question about the epsilon-delta definition is posed, exploring the possibility of using two different epsilons and deltas in the limit definition.
  • A suggestion is made to show the equivalence of the two definitions by taking the minimum of two positive real numbers.

Areas of Agreement / Disagreement

Participants exhibit disagreement regarding the proper formulation of the limit definition, with some questioning the necessity of the formal definition and others challenging the correctness of proposed definitions. The discussion remains unresolved with multiple competing views on the topic.

Contextual Notes

Participants express uncertainty about the implications of the epsilon-delta definition and its requirements, particularly regarding the distances involved in the intervals. There is also a lack of consensus on the definitions and their interpretations.

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
[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?
 
Last edited:
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].
 
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
[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.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · 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