{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "0P953MG05E"
    },
    {
      "field": "uses",
      "target": "0YS40B38JD"
    },
    {
      "field": "uses",
      "target": "0Z4V98VN5E"
    }
  ],
  "body": "\n## Definition\n\nLet $(X, d)$ be a [[metric space|063W5JMY85]], let $x \\in X$ and let $r \\ge 0$ be a real number.\nThe closed ball with centre $x$ and radius $r$ is the set\n$$\\bar{B}(x, r) = \\{ y \\in X : d(x, y) \\le r \\}.$$\n\n## Remarks\n\nThe [[open ball|0DC3MPR7C9]] $B(x, r)$ is a subset of $\\bar{B}(x, r)$.\nIn $\\mathbb{R}$ with the usual metric, $\\bar{B}(x, r)$ is the closed interval $[x - r, x + r]$.\nThe closed ball is not always the closure of the open ball. In the [[discrete metric|0NA4FK7B8S]], $B(x, 1) = \\{x\\}$ is closed, but $\\bar{B}(x, 1) = X$.\nFor $r = 0$, the closed ball is $\\{x\\}$.\n\n## Explanations\n\n### L1 human\n\nThe closed ball contains the points at distance at most $r$, so it also contains its edge.\nIn the plane, it is the disc of radius $r$ together with its circle.\n",
  "commit": "6ac761d40018146541484a9e8b9eafd6ecc303dc",
  "front": {
    "defines": "0Q0H13G8ZB",
    "kind": "definition",
    "msc": [
      "54E35"
    ],
    "name": "Closed ball",
    "sources": [
      {
        "locator": "In general metric spaces",
        "url": "https://en.wikipedia.org/wiki/Ball_(mathematics)"
      }
    ],
    "tag": "05DSV40EB9",
    "uses": [
      "063W5JMY85"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/05DSV40EB9/",
  "links": [
    {
      "field": "defines",
      "target": "0Q0H13G8ZB"
    },
    {
      "field": "uses",
      "target": "063W5JMY85"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/05DSV40EB9.md",
  "msc": [
    "54E35"
  ],
  "name": "Closed ball",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/05D/05DSV40EB9.md",
  "status": null,
  "tag": "05DSV40EB9",
  "uri": "m2://05DSV40EB9",
  "url": "https://math2.tamnd.com/wiki/closed-ball-definition/",
  "writing": {
    "tag": "05DSV40EB9",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}