Trying to fully grasp limit definition

Click For Summary
SUMMARY

The discussion centers on understanding the limit definition using the epsilon-delta method, specifically for the function x^2sin(1/x) as x approaches 0. The participant highlights the effectiveness of choosing δ = √ε for proving limits but struggles with the nuances of Spivak's approach, which requires considering different cases for ε. The key takeaway is that for ε ≤ 1, the condition |x| < ε suffices, while for ε > 1, |x| must be less than 1. The participant seeks clarification on the justification for choosing δ as the minimum of two real numbers in limit proofs.

PREREQUISITES
  • Epsilon-delta definition of limits
  • Basic understanding of trigonometric functions, specifically sin(x)
  • Familiarity with the concept of bounds in mathematical proofs
  • Experience with limit proofs in calculus
NEXT STEPS
  • Study the epsilon-delta definition of limits in detail
  • Explore advanced limit proofs using the epsilon-delta method
  • Learn about the implications of choosing δ as the minimum of two quantities
  • Practice limit problems involving trigonometric functions and their bounds
USEFUL FOR

Students and educators in calculus, particularly those focusing on limit proofs and the epsilon-delta method. This discussion is beneficial for anyone seeking to deepen their understanding of mathematical rigor in limit definitions.

snipez90
Messages
1,095
Reaction score
5

Homework Statement


An example in the text that involves showing that [tex]x^2sin\frac{1}{x}[/tex] approaches 0 as x approaches 0.

Homework Equations


[tex]\epsilon -\delta[/tex] argument

The Attempt at a Solution


I can prove many limits efficiently now using [tex]\epsilon -\delta[/tex] but I don't think I am that flexible with the definition. I don't feel that I fully understand it. For instance, in this example, it's easy to choose [tex]d = \sqrt{\epsilon}[/tex] and after noting that [tex]|sin\frac{1}{x}| \leq 1[/tex], the proof is very short.

But in this part of the text, Spivak assumes that the reader does not know the definition yet. He argues that for [tex]|x^2sin\frac{1}{x}|[/tex] to be less than [tex]\epsilon[/tex], it is only required that [tex]|x| < \epsilon[/tex] and [tex]x \neq 0[/tex], provided that [tex]\epsilon \leq 1[/tex]. This makes sense because [tex]|x^2| = |x|^2 \leq |x|[/tex] for [tex]|x| \leq 1[/tex] and hence the stated bound [tex]\epsilon \leq 1[/tex]. If [tex]\epsilon > 1[/tex], then it is required that [tex]|x| < 1[/tex] and [tex]x \neq 0[/tex].

This approach may seem more trouble than it's worth since [tex]\delta = \sqrt{\epsilon}[/tex] apparently works well. But when trying to write up a proof based on the above approach, I had a hard time. I understood his approach but it seemed weird to be considering two different epsilon cases. After working off of [tex]|f(x) - L|[/tex] , I quickly got to [tex]|x^2sin\frac{1}{x}| \leq |x|^2[/tex], but am now stuck. I know from Spivak's argument that I can have [tex]|f(x)-L| < |x|^2 < |x| < \epsilon[/tex] for [tex]\epsilon \leq 1[/tex] but how do I choose [tex]\delta[/tex]? Does choosing delta = min{a,b}, where a and b are real numbers, have something to do with this approach?

I guess choosing delta to be the min of two real quantities is still unclear to me. Basically for harder limit proofs, I manipulate the |f(x) - L| term until I get a quantity that has the |x-a| term (which is < delta). Then if multiple terms are involved, I assume that delta is bounded above by some z > 0 (usually 1 or a fraction less than 1) and find a bound for each of the terms beside the |x-a| term. Multiplying the bounds on these terms gives a bound B on the |x-a| term so that [tex]B|x-a| < B\delta[/tex]. Then I just choose delta to be [tex]\frac{\epsilon}{B}[/tex].

Right now, my idea of why this approach is justified is that we can choose delta. Once we do enough manipulations to find the other delta choice dependent on epsilon, then epsilon can vary so that we can always find a delta for which the limit definition holds. But this is all very hazy and if someone could clarify my reasoning or justify my approach and why it works it would be greatly appreciated.
 
Physics news on Phys.org
Does choosing delta = min{a,b}, where a and b are real numbers, have something to do with this approach?

That's exactly it. If you can find an easy proof of the limit for small epsilon, say epsilon smaller than M, then when epsilon is larger than M, you can pick a delta that worked when epsilon was smaller than M and it still trivially works
 
Hmm ok I think that makes sense. For some reason I kept thinking that min meant that I could only pick one of the quantities that delta can equal. But since delta bounds two quantities, then no matter what epsilon > 0 is chosen, then the |f(x) - L| term will be less than epsilon.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
3K
Replies
16
Views
3K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
19
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K