Proof of Modulus Limits: \lim_{x→p} \frac{f(x)}{x-p}=0

  • Thread starter Thread starter Portuga
  • Start date Start date
  • Tags Tags
    Limits Modulus
Click For Summary
SUMMARY

The discussion centers on proving the limit statement \(\lim_{x \rightarrow p} \frac{f(x)}{x - p} = 0\) is equivalent to \(\lim_{x \rightarrow p} \frac{f(x)}{|x - p|} = 0\). A theorem regarding the conservation of signal is referenced, emphasizing that if \(\lim_{x \rightarrow p} f(x) = L\) with \(L > 0\), then for every \(\varepsilon > 0\), there exists a \(\delta > 0\) such that \(0 < |x - p| < \delta\) implies \(f(x) > 0\). The user successfully proves the direct implication but seeks an independent method for the reverse implication, suggesting that a simple symbol replacement may resolve the issue.

PREREQUISITES
  • Understanding of limits in calculus
  • Familiarity with the epsilon-delta definition of limits
  • Knowledge of one-sided and two-sided limits
  • Basic concepts of continuity and differentiability
NEXT STEPS
  • Study the epsilon-delta definition of limits in detail
  • Learn about one-sided limits and their implications
  • Explore the concept of continuity and its relationship with limits
  • Investigate alternative proof techniques for limit theorems
USEFUL FOR

Mathematics students, calculus instructors, and anyone interested in advanced limit proofs and theorems in real analysis.

Portuga
Messages
56
Reaction score
6
Proof that [tex]\lim_{x→p} \frac {f(x)}{x - p} = 0 \Leftrightarrow \lim_{x \rightarrow p} \frac{f(x)}{\left | x - p\right |} = 0[/tex]

Relevant equations
I think there is a useful theorem here, the conservation of signal:
Suppose that [itex]\lim_{x\rightarrow p} f(x) = L[/itex]; [itex]L > 0[/itex]; [itex]\forall \varepsilon >0[/itex], there is [itex]\delta > 0[/itex] so that [itex]\forall x \in D_f[/itex], [tex]0 < \left | x - p \right | < \delta \Rightarrow f(x) > 0[/tex].



The attempt at a solution
I've figured out a solution for the direct implication, and it's very easy:
[tex]\lim_{x\rightarrow p} \frac{f(x)}{x - p} = 0 \Rightarrow \forall \varepsilon >0 \exists \delta > 0 : 0 < \left | x - p \right | < \delta \Rightarrow \left | \frac{f(x)}{x - p} \right | < \varepsilon.[/tex]
As [itex]\left | x - p \right | = \left | \left | x - p \right | \right |[/itex], the proof is over (at least, this is my opinion). The problem arise when I try to proof the reverse implication:
[tex]\lim_{x \rightarrow p} \frac{f(x)}{\left | x - p\right |} = 0 \Rightarrow \lim_{x→p} \frac {f(x)}{x - p} = 0 .[/tex]
That's because I never considered elegant to use "reverse engeneering" to prove reverse implications (I mean, use the same strategy for both). For me, this is not elegant, and we must use another strategy to prove the reverse of the theorem, but I am with no ideas for this. Anyone has a clue of an independent method to prove it?

Thanks in advance!
 
Last edited:
Physics news on Phys.org
Well, maybe a simple replacement of the symbol [itex]\Rightarrow[/itex] for [itex]\Leftrightarrow[/itex] in the proof above should solve the problem. I've seen it in some caculus textbooks. What do you think, guys?
 
Last edited:
Hint: a two-sided limit exists if and only if both one-sided limits exist and are equal.
 
  • Like
Likes   Reactions: 1 person

Similar threads

Replies
17
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
4K