Finding the flaw in this continuity proof?

  • Thread starter Thread starter Mathmos6
  • Start date Start date
  • Tags Tags
    Continuity Proof
Click For Summary
SUMMARY

The discussion centers on the continuity proof of the derivative function f' at a point c, specifically questioning the validity of the argument that states if f' exists on (a, b), then f' is continuous at c. The flaw identified is the assumption that f' is continuous at c while attempting to prove it, creating a circular argument. The Mean Value Theorem is referenced to clarify the relationship between f(c+h) and f'(c+θh), where θ is a number between 0 and 1. The conclusion emphasizes that the limit can only be passed into the argument if f' is already established as continuous.

PREREQUISITES
  • Understanding of calculus concepts, particularly limits and derivatives.
  • Familiarity with the Mean Value Theorem and its implications.
  • Knowledge of continuity definitions in the context of real analysis.
  • Basic understanding of the notation used in calculus, including limits and the concept of θ.
NEXT STEPS
  • Study the Mean Value Theorem in detail and its applications in proving continuity.
  • Learn about the definitions and properties of continuity in real analysis.
  • Explore the implications of differentiability on the continuity of functions.
  • Investigate common pitfalls in proofs involving limits and continuity.
USEFUL FOR

Students of calculus, particularly those studying real analysis, educators teaching advanced calculus concepts, and anyone seeking to deepen their understanding of the relationship between differentiation and continuity.

Mathmos6
Messages
76
Reaction score
0

Homework Statement



“Let f ′ exist on (a, b) and let c ∈ (a, b) . If c + h ∈ (a, b) then (f (c + h) − f (c))/h = f ′(c+θh). Let h→0 ; then f ′ (c + θh) → f ′ (c) . Thus f ′ is continuous at c .” Is this argument correct?

The Attempt at a Solution



I'm pretty sure the argument's wrong - is the flaw simply that in saying f ′ (c + θh) → f ′ (c) you have assumed the result that f' is continuous at c in proving the result? I.e proving lim f'(x) as x→c=f'(c) by assuming lim f'(x) as x→c=f'(c)? Or is there a different error in the statement?
 
Physics news on Phys.org
(f (c + h) − f (c))/h = f ′(c+θh)
What does that statement mean?
What is θ?

It is true that
[tex]\lim_{h \to 0} \frac{f(c+h) - f(c)}{h} = f'(c)[/tex]
if f is differentiable at c (which I suppose you were assuming anyway, if you want to prove something about f') but that has a limit that the quoted statement does not have, and lacks a θ.
 
[tex]\theta[/tex] is a number between 0 and 1. In this case, you're not taking the limit, you're simply starting by looking at a small value of h, and noting by the mean value theorem,

[tex]\frac{f(c+h) - f(c)}{h} = f'(c + \theta h)[/tex] for some theta(endpoints c, c+h, c+h-c = h and somewhere between c and c+h the derivative equals the left hand side, we describe that point by adding a portion of h onto c).

Now when you take the limit, you see [tex]f'(c) = \lim_{h \rightarrow 0} f(c+ \theta h)[/tex]

and since theta is in between 0 and 1 (it varies as h varies, but doesn't matter), we expect that to approach f(c). But wait! We can only pass the limit into the argument when f' is continuous (that's a definition of continuity in fact). So you're right
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
15
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K