Math 2.0

Real functions Definition

Darboux function

Builds on IntervalFunctionContinuous functionIntermediate value theoremDarboux's theoremConway base 13 function

Definition

Let I⊆ℝI \subseteq \R be an interval and let f ⁣:I→ℝf \colon I \to \R be a function. The function ff is a Darboux function, or has the intermediate value property, if the following holds. For all a<ba < b in II and each real yy between f(a)f(a) and f(b)f(b), there is c∈[a,b]c \in [a, b] with f(c)=yf(c) = y.

Remarks

Equivalently, ff maps every subinterval of II onto an interval. Each continuous function on II is a Darboux function, by the intermediate value theorem. Each derivative on an open interval is a Darboux function, by Darboux's theorem.

Example: let f(x)=sin⁡(1/x)f(x) = \sin(1/x) for x≠0x \ne 0 and f(0)=0f(0) = 0, on ℝ\R. On a subinterval not containing 00, ff is continuous, so its image is an interval. A subinterval with more than one point that contains 00 contains a full period of sin⁡(1/x)\sin(1/x) on one side of 00, so its image is [−1,1][-1, 1]. So ff is a Darboux function, although it is not continuous at 00.

Non-example: the floor function ⌊x⌋\floor{x} on ℝ\R has ⌊0⌋=0\floor{0} = 0 and ⌊1⌋=1\floor{1} = 1, but it never takes the value 1/21/2.

The Conway base 13 function is a Darboux function that is continuous at no point.

Reading path

To understand this page from the ground up, read these 49 pages in order. The foundations come first.

  1. Construction of the reals from Cauchy sequences concept
  2. Darboux function concept
  3. Element definition
  4. Integers object
  5. Limit point of a set definition
  6. Local maximum definition
  7. Ordered field definition
  8. Proposition concept
  9. Rational numbers object
  10. Sequence definition
  11. Set definition
  12. Ring of integers statement
  13. Limit of a function definition
  14. Local minimum definition
  15. Implication definition
  16. Predicate definition
  17. Real sequence definition
  18. Subsequence definition
  19. Ordered pair definition
  20. Continuity at a point definition
  21. Derivative definition
  22. One-sided limit definition
  23. The rationals form a field statement
  24. Existential quantifier definition
  25. Universal quantifier definition
  26. Bounded sequence definition
  27. Limit of a sequence definition
  28. Monotone sequence definition
  29. Cartesian product definition
  30. Continuous function definition
  31. One-sided derivative definition
  32. Subset definition
  33. Fermat's theorem on stationary points statement
  34. The rationals form an ordered field statement
  35. Uniqueness quantifier definition
  36. Convergent sequence definition
  37. Every sequence has a monotone subsequence statement
  38. Monotone convergence theorem for sequences statement
  39. Intermediate value theorem statement
  40. Binary relation definition
  41. Order on the reals definition
  42. Bolzano–Weierstrass theorem statement
  43. Conway base 13 function counterexample
  44. Boundedness theorem statement
  45. Interval definition
  46. Function definition
  47. Extreme value theorem statement
  48. Darboux's theorem statement
  49. Darboux function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Darboux%27s_theorem_(analysis), Darboux function
About this page
TagA7549DJW1N
URIm2://A7549DJW1N
Kinddefinition
WritingW0 stub
MSC26A15, 26A24
DefinesDarboux function
UsesInterval, Function, Continuous function, Intermediate value theorem, Darboux's theorem, Conway base 13 function
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.