# Darboux property

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A function (where denotes the set of all real numbers with the natural metric; cf. also Real number) is said to have the intermediate value property if, whenever , are real numbers and is any number between and , there exists a number between and such that . In the 19th century some mathematicians believed that this property is equivalent to continuity. In 1875, G. Darboux [a7] showed that every finite derivative has the intermediate value property and he gave an example of discontinuous derivatives. The intermediate value property is usually called the Darboux property, and a Darboux function is a function having this property. For an arbitrary function there exists a Darboux function such that everywhere except on a set of the first category (cf. also Baire classes) and of Lebesgue measure zero. If is a measurable function (respectively, belongs to a Baire class ), then can be chosen to be measurable (respectively, to belong to Baire class ).

In [a2], the notion of a "Darboux point" was introduced, leading to a local characterization of the Darboux property (see also [a16]). Let (respectively, ) be the set of all continuity (respectively, Darboux) points of . Then ([a3]) is a Darboux function if and only if . One can prove ([a21]) that is a -set (cf. also Set of type ( )) and, of course, . Conversely [a4], [a16], if are -sets, then there exists a function such that and .

Every continuous function and every approximately continuous function (cf. Approximate continuity) has the Darboux property [a6] and this is also true for a finite (approximate) derivative, [a13], [a10]. In the case of an infinite derivative, the following result holds ([a26], [a14]): If is Darboux (respectively, approximately continuous) and (respectively, ) exists everywhere (finite or infinite), then (respectively, ) is a Darboux function.

The simplest example of a Darboux discontinuous function is the function where (if , is a derivative, and if  is not a derivative). There exist Darboux functions that are discontinuous at each point of their domain (e.g. [a2]).

In spite of the fact that the Darboux property is close to continuity, the class of Darboux functions has some peculiar properties. For example, the class of all Darboux functions is not closed with respect to the fundamental operations of addition, multiplication, uniform convergence, etc. In particular, every function is the sum of two Darboux functions. In 1959, H. Fast proved [a8] that for every family of functions that has the cardinality of the continuum there is a Darboux function such that the sum of and any function from has the Darboux property. Conversely (under the continuum hypothesis or the Martin axiom, cf. also Suslin hypothesis), there exists a Darboux function such that is not Darboux, for every continuous, nowhere constant function (thus, is "universally bad" ; [a15]). However, under quite natural assumptions (see, e.g., [a22], [a23]) on a Darboux function whose set of all discontinuity points is nowhere dense (this function can be Lebesgue non-measurable), there exists a ring of Darboux functions, containing the class of all continuous functions, such that . The existence of such an algebraic structure for Darboux functions is connected with the existence of some special topologies on the real line.

## Generalizations.

The main generalizations of the notion of a Darboux function are connected with the consideration of functions mapping a topological space into a topological space, and with the observation that a real function of a real variable has the Darboux property if and only if the image of any interval is a connected set (the Darboux property can be characterized in terms of images but not in terms of pre-images). The main idea of these generalizations can be described as follows: For a family of sets (for example, all connected sets, all arcs, etc.), one says that a function is a Darboux function if is a connected set for each (see, e.g., [a9], [a25], [a19], [a12], [a18], [a1]). Thus, for example, it is possible to consider relationships between the existence of rings of Darboux functions and Darboux homotopies (see, e.g., [a24]), as well as problems connected with the monotonicity of Darboux functions defined on a topological space (see, e.g., [a9]) and Darboux retracts (see, e.g., [a20]).

Let , where , are topological spaces. Consider the following families of functions: : the family of Darboux functions; : the class of all connectivity functions; : the class of all almost-continuous functions in the sense of Stallings; : the family of all extendable functions. In the literature, functions from these classes are called Darboux-like functions, [a11]. In the class of functions mapping the real line into the real line the following (proper) inclusions hold: (where is the family of all continuous functions). The investigations connected with the properties of Darboux-like functions concentrate around the characterizations of these families, relationships between these classes, algebraic operations, and considerations connected with cardinal functions (see, e.g., [a11], [a17]).

The Darboux property has also been considered for multi-valued functions (see, e.g., [a5]).

How to Cite This Entry:
Darboux property. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Darboux_property&oldid=18598
This article was adapted from an original article by R.J. Pawlak (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article