Proving \lim_{x \to a} f(x) = \lim_{h \to 0} f(a+h): Analysis & Feedback

  • Context: Graduate 
  • Thread starter Thread starter jgens
  • Start date Start date
  • Tags Tags
    Analysis Feedback
Click For Summary
SUMMARY

The discussion focuses on proving the equality \lim_{x \to a} f(x) = \lim_{h \to 0} f(a+h) using the epsilon-delta definition of limits. The proof demonstrates that if the limits were unequal, it leads to a contradiction, thereby establishing that both limits must be equal. Participants suggest that while the proof is valid, a more intuitive approach could involve directly manipulating the limits or using the definition of limits more straightforwardly. Overall, the consensus is that the proof is correct but could be simplified for clarity.

PREREQUISITES
  • Epsilon-delta definition of limits
  • Understanding of continuity in calculus
  • Basic knowledge of functions and their limits
  • Familiarity with mathematical proofs and logical reasoning
NEXT STEPS
  • Study the epsilon-delta definition of limits in depth
  • Explore alternative proofs for limit properties in calculus
  • Learn about continuity and its implications in limit evaluation
  • Investigate intuitive approaches to limit proofs using graphical representations
USEFUL FOR

Students of calculus, mathematics educators, and anyone interested in understanding the rigorous foundations of limits and continuity in mathematical analysis.

jgens
Gold Member
Messages
1,575
Reaction score
50
So, I'm trying to prove that [itex]\lim_{x \to a} f(x) = \lim_{h \to 0} f(a+h)[/itex] and I'm wondering if this "proof" is correct:

Suppose that [itex]\lim_{x \to a} f(x) = l[/itex] and [itex]\lim_{h \to 0} f(a+h) = m[/itex] with [itex]l \neq m[/itex]. Then, for any [itex]\varepsilon > 0[/itex] there must be some [itex]\delta > 0[/itex] such that [itex]0 < |x-a| < \delta[/itex] implies that [itex]|f(x) - l| < \varepsilon[/itex] and [itex]0< |h| < \delta[/itex] that [itex]|f(a+h) - m| < \varepsilon[/itex].

Clearly [itex]a - \delta < x < a + \delta[/itex] and [itex]a - \delta < a + h < a + \delta[/itex], so there is a number [itex]x_1[/itex] such that [itex]|f(x_1) - l| < \varepsilon[/itex] and [itex]|f(x_1) - m| < \varepsilon[/itex].

Choosing [itex]\varepsilon = |l-m|/2[/itex], it follows that [itex]|l-m| = |l - f(x_1) + f(x_1) -m| \leq |f(x_1) - l| + |f(x_1) - m| < |l-m|/2 + |l-m|/2 < |l-m|[/itex], which is a contradiction. Therefore, [itex]l=m[/itex].

Does this work alright? Or is there another way that I should approach this problem? I appreciate any feedback! Thanks!
 
Physics news on Phys.org
Your approach seems to work, but I think it would have been much easier to write out what one of the limits means and then later set x = a + h. This approach also supports the intuitive idea behind this equality. There is also a way to prove this without resorting to the definition of the limit via some manipulations.
 
Looks ok. It is possible to do it more directly. Suppose [tex]\lim_{x\to a}f(x)=L[/tex]. Fix [tex]\epsilon > 0[/tex]. For some [tex]\delta[/tex]-neighbourhood of [tex]a[/tex], [tex]|f(x)-L|<\epsilon[/tex]. Hence, if [tex]|h|<\delta[/tex], [tex]|f(a+h)-L|<\epsilon[/tex] holds, and therefore [tex]\lim_{h\to 0}f(a+h)=L[/tex]. It's essentially the same, though.

Edit: I'm too slow
Edit2: Wow, 3 minutes...way too slow
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K