{
  "aliases": null,
  "backlinks": [
    {
      "field": "about",
      "target": "6SZDXD3KYH"
    },
    {
      "field": "about",
      "target": "HH2EM3DPNK"
    },
    {
      "field": "uses",
      "target": "6SZDXD3KYH"
    },
    {
      "field": "uses",
      "target": "HH2EM3DPNK"
    },
    {
      "field": "defines",
      "target": "F55M92H5JY"
    }
  ],
  "body": "\n## Summary\n\nA subanalytic set is a subset of a [[real analytic manifold|Z7H98E1NHP]] that is locally the image of a bounded [[semianalytic set|E1V22QQHYJ]] under a coordinate [[projection|033DA1WE8Y]].\nThe class is larger than the class of semianalytic sets, because projections of semianalytic sets need not be semianalytic.\nSubanalytic sets are closed under finite unions, intersections, complements and images under proper analytic maps.\nThey play in real analytic geometry the role that [[semialgebraic sets|BX5WSK8ZCT]] play in real algebraic geometry.\n\n## Explanations\n\n### L1 human\n\nA semianalytic set is cut out locally by finitely many equations and inequalities between real analytic functions.\nShadows of such sets, obtained by forgetting some coordinates, can be more complicated.\nSubanalytic sets are exactly these shadows, taken locally and of bounded pieces.\nFor example, the image of the bounded set $\\set{(x, t) : x = t^2,\\ 0 \u003c t \u003c 1}$ under $(x, t) \\mapsto x$ is the interval $(0, 1)$, which is subanalytic.\nIn spite of the larger class, subanalytic sets still behave well: near each point they have only finitely many connected components.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "32B20",
      "14P15"
    ],
    "name": "Subanalytic set",
    "same_as": {
      "wikidata": "Q7630735",
      "wikipedia": "Subanalytic set"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Subanalytic_set"
      }
    ],
    "tag": "K1HTQF26MA"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/K1HTQF26MA/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/K1HTQF26MA.md",
  "msc": [
    "32B20",
    "14P15"
  ],
  "name": "Subanalytic set",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/K1H/K1HTQF26MA.md",
  "status": null,
  "tag": "K1HTQF26MA",
  "uri": "m2://K1HTQF26MA",
  "url": "https://tamnd.github.io/math2/wiki/subanalytic-set/",
  "writing": {
    "tag": "K1HTQF26MA",
    "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
      }
    ]
  }
}