{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "0GTZ2F3PQY"
    },
    {
      "field": "uses",
      "target": "0VEKNG02W0"
    },
    {
      "field": "uses",
      "target": "0WQE3G7B88"
    }
  ],
  "body": "\n## Definition\n\nA box in $\\mathbb{R}^n$ is a set $Q = [a_1, b_1) \\times \\dots \\times [a_n, b_n)$ with $a_i \\le b_i$, and its volume is $|Q| = (b_1 - a_1) \\cdots (b_n - a_n)$.\nA simple set is a finite union of boxes. Each simple set $S$ is a finite union of pairwise disjoint boxes $Q_1, \\dots, Q_k$, and $m(S) = |Q_1| + \\dots + |Q_k|$ does not depend on this choice.\nFor a bounded set $A \\subseteq \\mathbb{R}^n$, the inner and outer Jordan measures are\n$$m_*(A) = \\sup \\{ m(S) : S \\subseteq A \\}, \\qquad m^*(A) = \\inf \\{ m(S) : S \\supseteq A \\},$$\nwhere $S$ runs over simple sets.\nThe set $A$ is Jordan measurable if $m_*(A) = m^*(A)$, and then this common value $m(A)$ is the Jordan measure, or Jordan content, of $A$.\n\n## Remarks\n\nHere $\\sup$ is the [[supremum|0R3H5PANRQ]] and $\\inf$ is the [[infimum|0QF1MZ9FRG]].\nClosed boxes, balls and bounded regions between the graphs of two continuous functions are Jordan measurable. Finite unions, intersections and differences of Jordan measurable sets are Jordan measurable.\nA bounded set $A$ is Jordan measurable if and only if its boundary has Jordan measure zero. Then $m(A) = \\int_Q \\mathbf{1}_A$ for each closed box $Q \\supseteq A$, where $\\mathbf{1}_A$ is the indicator function of $A$.\nThe set $\\mathbb{Q} \\cap [0, 1]$ is not Jordan measurable: its inner measure is $0$ and its outer measure is $1$. Lebesgue measure extends Jordan measure to more sets.\n\n## Explanations\n\n### L1 human\n\nJordan measure measures a set by fitting finite unions of boxes inside it and around it.\nIf the best inner and outer approximations have the same total volume, that volume is the measure of the set.\n",
  "commit": "545acf83a9b75c8ddc375ef8b23d2ae101a4d7e4",
  "front": {
    "defines": "0KTGJW1ZTH",
    "kind": "definition",
    "msc": [
      "28A75"
    ],
    "name": "Jordan measure",
    "sources": [
      {
        "locator": "Jordan measure of \"simple sets\"",
        "url": "https://en.wikipedia.org/wiki/Peano%E2%80%93Jordan_measure"
      },
      {
        "locator": "Extension to more complicated sets",
        "url": "https://en.wikipedia.org/wiki/Peano%E2%80%93Jordan_measure"
      }
    ],
    "tag": "0565DC8RMK",
    "uses": [
      "0XPR1E85W0",
      "0R3H5PANRQ",
      "0QF1MZ9FRG"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/0565DC8RMK/",
  "links": [
    {
      "field": "defines",
      "target": "0KTGJW1ZTH"
    },
    {
      "field": "uses",
      "target": "0XPR1E85W0"
    },
    {
      "field": "uses",
      "target": "0R3H5PANRQ"
    },
    {
      "field": "uses",
      "target": "0QF1MZ9FRG"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0565DC8RMK.md",
  "msc": [
    "28A75"
  ],
  "name": "Jordan measure",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/056/0565DC8RMK.md",
  "status": null,
  "tag": "0565DC8RMK",
  "uri": "m2://0565DC8RMK",
  "url": "https://math2.tamnd.com/wiki/jordan-measure-definition/",
  "writing": {
    "tag": "0565DC8RMK",
    "kind": "definition",
    "level": "W1",
    "next": [
      {
        "what": "edge instance_of in",
        "note": "one example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge not_instance_of in",
        "note": "one non-example that fails one clause",
        "have": 0,
        "want": 1
      }
    ]
  }
}