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

In summary, the conversation discusses the proof of the theorem that states the conservation of signal in the context of limits. The direct implication is easily proven, while the reverse implication requires a different strategy. One possible solution is to use a simple replacement of the symbol \Rightarrow for \Leftrightarrow in the proof. Another approach is to consider the existence of two-sided limits in relation to one-sided limits.
  • #1
Portuga
56
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
  • #2
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:
  • #3
Hint: a two-sided limit exists if and only if both one-sided limits exist and are equal.
 
  • Like
Likes 1 person

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

What is the definition of a limit?

A limit is a mathematical concept that describes the behavior of a function as its input approaches a specific value. It is denoted by the notation lim_{x→a} f(x), which reads as "the limit of f(x) as x approaches a".

How is the limit of a function defined?

The limit of a function is defined as the value that the function approaches as its input gets closer and closer to a specific value. In other words, it is the value that the function "approaches" but may not necessarily reach at that specific input value.

What does the statement "lim_{x→p} \frac{f(x)}{x-p}=0" mean?

This statement means that as x approaches the value p, the function f(x) approaches 0. In other words, the limit of the function f(x) as x approaches p is equal to 0.

Why is the concept of limit important in mathematics?

The concept of limit is important in mathematics because it allows us to understand the behavior of a function and make predictions about its values at certain points. It also helps in solving problems involving rates of change and continuity of functions.

What is the significance of the "Proof of Modulus Limits" in mathematics?

The "Proof of Modulus Limits" is an important concept in mathematics as it provides a rigorous mathematical proof for the behavior of a function as its input approaches a specific value. It helps in understanding the concept of limits and is essential in many branches of mathematics, including calculus and analysis.

Similar threads

Replies
5
Views
969
Replies
7
Views
868
Replies
14
Views
1K
Replies
9
Views
2K
Replies
13
Views
3K
Back
Top