PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Darboux's theorem (analysis) (Theorem)

Let $f:[a,b]\to\Reals$ be a real-valued continuous function on $[a,b]$ , which is differentiable on $(a,b)$ , differentiable from the right at $a$ , and differentiable from the left at $b$ . Then $f'$ satisfies the intermediate value theorem: for every $t$ between $f'_{+}(a)$ and $f'_{-}(b)$ , there is some $x\in [a,b]$ such that $f'(x)=t$ .

Note that when $f$ is continuously differentiable ($f\in C^1([a,b])$ ), this is trivially true by the intermediate value theorem. But even when $f'$ is not continuous, Darboux's theorem places a severe restriction on what it can be.




"Darboux's theorem (analysis)" is owned by mathwizard. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

Other names:  intermediate value property of the derivative

Attachments:
proof of Darboux's theorem (Proof) by paolini
converse of Darboux's theorem (analysis) is not true (Example) by Gorkem
Log in to rate this entry.
(view current ratings)

Cross-references: restriction, places, theorem, even, continuously differentiable, intermediate value theorem, right, differentiable, continuous function
There is 1 reference to this entry.

This is version 4 of Darboux's theorem (analysis), born on 2002-06-06, modified 2004-02-25.
Object id is 3055, canonical name is DarbouxsTheorem.
Accessed 9542 times total.

Classification:
AMS MSC26A06 (Real functions :: Functions of one variable :: One-variable calculus)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy
is the converse true? by Gorkem on 2005-07-30 03:06:28
is the convese of darboux's theorem true? i mean, if f(x) does not have any jump discontinuity, then is it certain that there exists a function F(x) such that F'(x) = f(x) ?
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)