Understanding Limits - Spivak Calculus

Click For Summary

Discussion Overview

The discussion revolves around understanding the concept of limits as presented in Spivak's Calculus, particularly focusing on the formal ε-δ definition. Participants seek clarification and examples to better grasp this foundational concept in calculus.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant expresses difficulty in understanding the ε-δ definition of limits as described by Spivak and requests a more general explanation and example.
  • Another participant points out a typo in the original definition, clarifying that it should read |f(x) - l| < ε.
  • A different participant asserts that the definition is standard and not unique to Spivak, providing an example with the function f(x) = 3x to illustrate the limit as x approaches 1.
  • This example includes a detailed explanation of how to apply the ε-δ definition in a dialog format, demonstrating the reasoning behind proving the limit.
  • One participant acknowledges the clarification regarding the typo, indicating that they had not noticed it previously.
  • The participant who provided the example receives positive feedback, indicating that their explanation was helpful.

Areas of Agreement / Disagreement

Participants generally agree on the standard nature of the ε-δ definition of limits, but there remains some uncertainty regarding its application and understanding among those who are less familiar with the concept.

Contextual Notes

Some participants may have varying levels of familiarity with the ε-δ definition, which could affect their understanding and application of the concept. The discussion does not resolve all uncertainties regarding the definition's nuances.

Who May Find This Useful

Readers interested in calculus, particularly those studying limits and seeking clarification on formal definitions and their applications.

Sirsh
Messages
262
Reaction score
10
I have read Spivak's Calculus up to chapter 5, which is on Limits. Up until this point, the majority has been very straightforward and easy to understand.

However, I am having trouble grasping the concept of limits in the style/method that Spivak describes them. Can anyone elaborate in a more general sense this definition that he has laid out, possibly with an example?

"The function f approaches the limit l near a means: for every ε > 0 there is some δ > 0 such that, for all x, if 0 < |x - a| < δ, then |f(x) - l < ε."
 
Physics news on Phys.org
Sirsh said:
I have read Spivak's Calculus up to chapter 5, which is on Limits. Up until this point, the majority has been very straightforward and easy to understand.

However, I am having trouble grasping the concept of limits in the style/method that Spivak describes them. Can anyone elaborate in a more general sense this definition that he has laid out, possibly with an example?

"The function f approaches the limit l near a means: for every ε > 0 there is some δ > 0 such that, for all x, if 0 < |x - a| < δ, then |f(x) - l < ε."
There is a typo, it should be |f(x) - l| < ε

The first part of this Wikipedia page may help.
 
Sirsh said:
I have read Spivak's Calculus up to chapter 5, which is on Limits. Up until this point, the majority has been very straightforward and easy to understand.

However, I am having trouble grasping the concept of limits in the style/method that Spivak describes them. Can anyone elaborate in a more general sense this definition that he has laid out, possibly with an example?

"The function f approaches the limit l near a means: for every ε > 0 there is some δ > 0 such that, for all x, if 0 < |x - a| < δ, then |f(x) - l < ε."
This is the usual definition of the limit of a function -- it's not specific to Spivak. Here's a very simple example: Prove that ##\lim_{x \to 1} 3x = 3##.

The function here is f(x) = 3x, a straight line. It should be obvious that if x is "close to" 1, then f(x) will be "close to" 3. The limit definition quantifies all of this "close to" business.

You can think of the δ-ε business as part of a dialog between you (who are trying to prove the assertion) and an acquantance who is skeptical of the value of the limit.
Your associate provides an ε value of, say 0.06. You counter with a value of δ equal to ε/3 = 0.02. Then, if |x - 1| < 0.02. It follows from this inequality that 3|x - 1| < 3 * 0.06. In other words, that |3x - 3| < ε.

If your associate is still unconvinced, he will supply a smaller number for ε, think that that will make it harder for you. To his consternation, you come right back with a value of δ = ε/3, and show him that, indeed, if |x - 1| < δ, then |3x - 3| < ε. Eventually he will get tired of this game, and concede that ##\lim_{x \to 1} 3x = 3##.

Because the function in my example is linear, it's very simple to proved the limit using the definition. Other functions require some trickery, but still use the same basic idea.
 
Samy_A said:
There is a typo, it should be |f(x) - l| < ε
Good eye, Samy_A. I didn't notice that it was missing part of the absolute value.
 
Mark44 said:
This is the usual definition of the limit of a function -- it's not specific to Spivak. Here's a very simple example: Prove that ##\lim_{x \to 1} 3x = 3##.

The function here is f(x) = 3x, a straight line. It should be obvious that if x is "close to" 1, then f(x) will be "close to" 3. The limit definition quantifies all of this "close to" business.

You can think of the δ-ε business as part of a dialog between you (who are trying to prove the assertion) and an acquantance who is skeptical of the value of the limit.
Your associate provides an ε value of, say 0.06. You counter with a value of δ equal to ε/3 = 0.02. Then, if |x - 1| < 0.02. It follows from this inequality that 3|x - 1| < 3 * 0.06. In other words, that |3x - 3| < ε.

If your associate is still unconvinced, he will supply a smaller number for ε, think that that will make it harder for you. To his consternation, you come right back with a value of δ = ε/3, and show him that, indeed, if |x - 1| < δ, then |3x - 3| < ε. Eventually he will get tired of this game, and concede that ##\lim_{x \to 1} 3x = 3##.

Because the function in my example is linear, it's very simple to proved the limit using the definition. Other functions require some trickery, but still use the same basic idea.

Thank you very much for the explanation, makes plenty of sense to me.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 28 ·
Replies
28
Views
4K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K