Darboux's theorem (analysis)
Darboux's theorem (also known as the Intermediate Value Theorem) is a theorem in real analysis, named after Jean Gaston Darboux. It states that all functions that result from the differentiation of other functions have the intermediate value property: the image of an interval is also an interval.
When f is continuously differentiable (f in C1([a,b])), this is a consequence of the intermediate value theorem. But even when f′ is not continuous, Darboux's theorem places a severe restriction on what it can be.
If equals or , then setting equal to or , respectively, works. Therefore, without loss of generality, we may assume that is strictly between and , and in particular that . Define a new function by
Since is continuous on the closed interval , its maximum value on that interval is attained, according to the extreme value theorem, at a point in that interval, i.e. at some . Because and , Fermat's theorem implies that neither nor can be a point, such as , at which attains a local maximum. Therefore, . Hence, again by Fermat's theorem, , i.e. .
A Darboux function is a real-valued function f which has the "intermediate value property": for any two values a and b in the domain of f, and any y between f(a) and f(b), there is some c between a and b with f(c) = y. By the intermediate value theorem, every continuous function is a Darboux function. Darboux's contribution was to show that there are discontinuous Darboux functions.
An example of a Darboux function that is discontinuous at one point, is the function .
By Darboux's theorem, the derivative of any differentiable function is a Darboux function. In particular, the derivative of the function is a Darboux function that is not continuous.
Darboux functions are a quite general class of functions. It turns out that any real-valued function f on the real line can be written as the sum of two Darboux functions. This implies in particular that the class of Darboux functions is not closed under addition.
- Larson, Ron; Robert P. Hostetler, Bruce H. (2006). "Continuity and One-Sided Limits". Calculus of a single variable (8th ed. ed.). Boston, Mass.: Houghton Mifflin Co. p. 77. ISBN 0618503048.
- Olsen, Lars: A New Proof of Darboux's Theorem, Vol. 111, No. 8 (Oct., 2004) (pp. 713-715), The American Mathematical Monthly
- Bruckner, Andrew M: Differentiation of real functions, 2 ed, page 6, American Mathematical Society, 1994