{
  "aliases": null,
  "backlinks": [
    {
      "field": "about",
      "target": "23RVD8K8RB"
    },
    {
      "field": "uses",
      "target": "23RVD8K8RB"
    },
    {
      "field": "uses",
      "target": "E192Q8BQWJ"
    },
    {
      "field": "uses",
      "target": "VQ7D5N3MV7"
    },
    {
      "field": "illustrates",
      "target": "E192Q8BQWJ"
    },
    {
      "field": "illustrates",
      "target": "VQ7D5N3MV7"
    },
    {
      "field": "defines",
      "target": "NZASV9ZMGN"
    }
  ],
  "body": "\n## Summary\n\nAn unfolding of a function [[germ|7SWSRGDT4A]] is a family of germs depending on parameters that reduces to the given germ when the parameters are zero.\nAn unfolding is versal if every other unfolding can be obtained from it by changes of a simple kind.\nThese are a change of parameters, a parameter-dependent change of coordinates and the addition of a function of the parameters.\nSo a versal unfolding contains, up to equivalence, every way of perturbing the germ.\nA versal unfolding with the least number of parameters is called universal or miniversal, and that number is the [[codimension|B4FRQMWQKP]] of the germ.\nVersal unfoldings are the normal forms of [[catastrophe theory|6FKJ6SXP3G]].\n\n## Explanations\n\n### L1 human\n\nTake a degenerate function, such as $x^3$, whose flat point at $0$ is destroyed by almost any small change.\nAn unfolding lists the changes by parameters, for example $x^3 + a x + b x^2 + c x^4$.\nA versal unfolding is a short list that is already enough.\nFor $x^3$, the one-parameter family $x^3 + a x$ captures every possible perturbation up to a change of coordinates and an added constant.\nIndeed, the term $b x^2$ can be removed by shifting $x$, which only changes $a$ and adds a constant.\nThe term $c x^4$ can be removed by a smooth change of coordinates near $0$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "58K60",
      "58K35",
      "58K40"
    ],
    "name": "Versal unfolding",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Catastrophe_theory"
      }
    ],
    "tag": "KSAFWZVB8K"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/KSAFWZVB8K/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/KSAFWZVB8K.md",
  "msc": [
    "58K60",
    "58K35",
    "58K40"
  ],
  "name": "Versal unfolding",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KSA/KSAFWZVB8K.md",
  "status": null,
  "tag": "KSAFWZVB8K",
  "uri": "m2://KSAFWZVB8K",
  "url": "https://tamnd.github.io/math2/wiki/versal-unfolding/",
  "writing": {
    "tag": "KSAFWZVB8K",
    "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
      }
    ]
  }
}
