Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.

# Darboux's theorem (analysis)

In mathematics, Darboux's theorem is a theorem in real analysis, named after Jean Gaston Darboux. It states that every function that results from the differentiation of other functions has the intermediate value property: the image of an interval is also an interval.

When ƒ is continuously differentiable (ƒ in C1([a,b])), this is a consequence of the intermediate value theorem. But even when ƒ′ is not continuous, Darboux's theorem places a severe restriction on what it can be.

## Darboux's theorem

Letbe aclosed interval,a real-valued differentiable function. Thenhas the intermediate value property: Ifandare points inwith, then for everybetweenand, there exists aninsuch that

## Proofs

Proof 1. The first proof is based on the extreme value theorem.

Ifequalsor, then settingequal toor, respectively, gives the desired result. Now assume thatis strictly betweenand, and in particular that. Letsuch that. If it is the case thatwe adjust our below proof, instead asserting thathas its minimum on.
Sinceis continuous on the closed interval, the maximum value ofonis attained at some point in, according to theextreme value theorem.
Because, we knowcannot attain its maximum value at. (If it did, thenfor all, which implies.)
Likewise, because, we knowcannot attain its maximum value at.
Therefore,must attain its maximum value at some point. Hence, byFermat's theorem,, i.e..

Proof 2. The second proof is based on combining the mean value theorem and the intermediate value theorem.[1][2]

Define. Fordefineand. And fordefineand.
Thus, forwe have. Now, definewith.is continuous in.
Furthermore,whenandwhen; therefore, from the Intermediate Value Theorem, ifthen, there existssuch that. Let's fix.
From the Mean Value Theorem, there exists a pointsuch that. Hence,.

## Darboux function

A Darboux function is a real-valued function ƒ which has the "intermediate value property": for any two values a and b in the domain of ƒ, and any y between ƒ(a) and ƒ(b), there is some c between a and b with ƒ(c) = y.[4] By the intermediate value theorem, every continuous function on a real interval is a Darboux function. Darboux's contribution was to show that there are discontinuous Darboux functions.

Every discontinuity of a Darboux function is essential, that is, at any point of discontinuity, at least one of the left hand and right hand limits does not exist.

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 functionis a Darboux function even though it is not continuous at one point.

An example of a Darboux function that is nowhere continuous is the Conway base 13 function.

Darboux functions are a quite general class of functions. It turns out that any real-valued function ƒ on the real line can be written as the sum of two Darboux functions.[5] This implies in particular that the class of Darboux functions is not closed under addition.

A strongly Darboux function is one for which the image of every (non-empty) open interval is the whole real line. Such functions exist and are Darboux but nowhere continuous.[4]

## References

[1]
Citation Linkopenlibrary.orgApostol, Tom M.: Mathematical Analysis: A Modern Approach to Advanced Calculus, 2nd edition, Addison-Wesley Longman, Inc. (1974), page 112.
Sep 30, 2019, 7:52 PM
[2]
Citation Linkopenlibrary.orgOlsen, Lars: A New Proof of Darboux's Theorem, Vol. 111, No. 8 (Oct., 2004) (pp. 713–715), The American Mathematical Monthly
Sep 30, 2019, 7:52 PM
[3]
Citation Linkopenlibrary.orgRudin, Walter: Principles of Mathematical Analysis, 3rd edition, MacGraw-Hill, Inc. (1976), page 108
Sep 30, 2019, 7:52 PM
[4]
Citation Link//zbmath.org/?format=complete&q=an:0938.03067Ciesielski, Krzysztof (1997). Set theory for the working mathematician. London Mathematical Society Student Texts. 39. Cambridge: Cambridge University Press. pp. 106–111. ISBN 0-521-59441-3. Zbl 0938.03067.
Sep 30, 2019, 7:52 PM
[5]
Citation Linkopenlibrary.orgBruckner, Andrew M: Differentiation of real functions, 2 ed, page 6, American Mathematical Society, 1994
Sep 30, 2019, 7:52 PM
[6]
Citation Linkwww.encyclopediaofmath.org"Darboux theorem"
Sep 30, 2019, 7:52 PM
[7]
Citation Linkzbmath.org0938.03067
Sep 30, 2019, 7:52 PM
[8]
Citation Linkwww.encyclopediaofmath.org"Darboux theorem"
Sep 30, 2019, 7:52 PM
[9]
Citation Linken.wikipedia.orgThe original version of this page is from Wikipedia, you can edit the page right here on Everipedia.Text is available under the Creative Commons Attribution-ShareAlike License.Additional terms may apply.See everipedia.org/everipedia-termsfor further details.Images/media credited individually (click the icon for details).
Sep 30, 2019, 7:52 PM