{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "B1S7A7J8H4"
    },
    {
      "field": "about",
      "target": "T6BK8Q8PK8"
    },
    {
      "field": "uses",
      "target": "T6BK8Q8PK8"
    }
  ],
  "body": "\n## Summary\n\nA smooth map is infinitesimally stable if every infinitesimal deformation of it can be undone.\nThe undoing uses infinitesimal changes of coordinates in the source and in the target.\nIt is the linearised form of [[stability|1991WETZF9]]: an equation for vector fields replaces a condition on diffeomorphisms.\nMather's theorem says that for proper maps the two notions agree.\nThis turns stability into a problem of linear algebra over rings of smooth functions.\n\n## Explanations\n\n### L1 human\n\nPush a smooth map a tiny bit in some direction at each point; that push is a vector field along the map.\nThe map is infinitesimally stable if every such push can be produced in two steps.\nOne slides the points of the source along a vector field and the points of the target along another vector field.\nA submersion, such as the projection of the plane onto a line, is infinitesimally stable, since any push can be produced by sliding the source alone.\nA constant map from a circle to the line is not: sliding the target moves all points by the same amount, and sliding the source does nothing.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "58K25",
      "57R45"
    ],
    "name": "Infinitesimal stability",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Singularity_theory"
      }
    ],
    "tag": "C3TFCVE2YK"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/C3TFCVE2YK/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/C3TFCVE2YK.md",
  "msc": [
    "58K25",
    "57R45"
  ],
  "name": "Infinitesimal stability",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/C3T/C3TFCVE2YK.md",
  "status": null,
  "tag": "C3TFCVE2YK",
  "uri": "m2://C3TFCVE2YK",
  "url": "https://tamnd.github.io/math2/wiki/infinitesimal-stability/",
  "writing": {
    "tag": "C3TFCVE2YK",
    "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
      }
    ]
  }
}