{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "9NMMRYKBNG"
    },
    {
      "field": "uses",
      "target": "MJGPW5EVB3"
    },
    {
      "field": "uses",
      "target": "WF95J6ZXV3"
    },
    {
      "field": "defines",
      "target": "Z0K8AXW8Z1"
    }
  ],
  "body": "\n## Summary\n\nSemicontinuity is a one-sided form of [[continuity|0VGFHTM75Y]] for functions with values in the [[extended real line|0GSZ7B0CGR]].\nA function is upper semicontinuous when its value at a point may lie above the nearby values but not below them.\nIt is lower semicontinuous in the opposite case.\nA function is continuous exactly when it is both.\nLower semicontinuous functions attain their minimum on nonempty [[compact spaces|0TVJZYB6SH]], which makes them basic in optimisation and the calculus of variations.\n\n## Explanations\n\n### L1 human\n\nThink of the graph of a function with a jump.\nAt an upper semicontinuous point, the value is at least as high as the nearby values tend to be.\nThe function may drop sharply as you move away from the point, but it cannot rise sharply.\nThe [[floor function|08GR54CKEA]] is upper semicontinuous: at an integer $n$ its value is $n$, and just to the left it is $n - 1$.\nThe [[indicator function|0RCQZ36MME]] of an open set is lower semicontinuous, and the indicator function of a closed set is upper semicontinuous.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "54C08",
      "26A15"
    ],
    "name": "Semicontinuity",
    "same_as": {
      "wikidata": "Q955072",
      "wikipedia": "Semi-continuity"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Semi-continuity"
      }
    ],
    "tag": "RN4G8SGP6P"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/RN4G8SGP6P/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/RN4G8SGP6P.md",
  "msc": [
    "54C08",
    "26A15"
  ],
  "name": "Semicontinuity",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RN4/RN4G8SGP6P.md",
  "status": null,
  "tag": "RN4G8SGP6P",
  "uri": "m2://RN4G8SGP6P",
  "url": "https://math2.tamnd.com/wiki/semicontinuity/",
  "writing": {
    "tag": "RN4G8SGP6P",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}