{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "4XYXDYXQZR"
    }
  ],
  "body": "\n## Summary\n\nThe Darboux integral defines the integral of a bounded function on a closed interval by squeezing it between [[upper and lower Darboux sums|0QRQVH0CRW]].\nA function is Darboux integrable when its [[upper and lower Darboux integrals|09FQT057T7]] agree, and the integral is the common value.\nThis gives exactly the same integrable functions and the same values as the [[Riemann integral|0QM4TXT3DR]], by [[a classical theorem|021XJAQVDC]].\nIt is often the most convenient way to prove that a given function is integrable.\n\n## Explanations\n\n### L1 human\n\nCut the interval into pieces and draw on each piece a rectangle as high as the largest value of the function there, and another as high as the smallest value.\nThe tall rectangles cover the area under the graph from above, and the short ones fill it from below.\nIf refining the cuts can bring the two totals as close as you like, the area is the number caught between them.\nFor $f(x) = x$ on $[0, 1]$ with $n$ equal pieces, the two totals are $\\frac{n+1}{2n}$ and $\\frac{n-1}{2n}$, and both tend to $\\frac12$.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "26A42"
    ],
    "name": "Darboux integral",
    "same_as": {
      "wikidata": "Q2294564",
      "wikipedia": "Darboux integral"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Darboux_integral"
      }
    ],
    "tag": "F961Q88FHK"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/F961Q88FHK/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/F961Q88FHK.md",
  "msc": [
    "26A42"
  ],
  "name": "Darboux integral",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/F96/F961Q88FHK.md",
  "status": null,
  "tag": "F961Q88FHK",
  "uri": "m2://F961Q88FHK",
  "url": "https://math2.tamnd.com/wiki/darboux-integral/",
  "writing": {
    "tag": "F961Q88FHK",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}