Darboux function
From Wikipedia, the free encyclopedia
In mathematics, a Darboux function, named for Gaston Darboux (1842-1917), is a real-valued function f which has the "intermediate value property": on the interval between a and b, f assumes every real value between f(a) and f(b). Formally, for all real numbers a and b, and for every z such that f(a) < z < f(b), there exists some x with a < x < b such that f(x) = z.
By the intermediate value theorem, every continuous function is a Darboux function. Darboux's contribution was to show that there are discontinuous Darboux functions. Construction of a discontinuous Darboux function can proceed in at least two ways. One can use transfinite induction on Ω, or a construction involving Hamel bases.
Every discontinuity of a Darboux function is of the second kind, that is, at any point of discontinuity, neither the left hand limit nor the right hand limit is well-defined.
An example of a Darboux function that is discontinuous at one point, is the function 
.
As a consequence of the mean value 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.
