{
  "aliases": null,
  "backlinks": [
    {
      "field": "about",
      "target": "AZF9TXV5C0"
    },
    {
      "field": "uses",
      "target": "AZF9TXV5C0"
    }
  ],
  "body": "\n## Example\n\nLet $M$ be a [[smooth manifold|F45VQ47GPV]].\nThe *diffeomorphism group* $\\operatorname{Diff}(M)$ is the set of all [[diffeomorphisms|0KZZ70ZHXP]] $f \\colon M \\to M$, with composition as the operation.\nIt is a [[group|G5S1M9]].\nThe composition of two diffeomorphisms is a diffeomorphism, and composition is associative.\nThe identity map $\\id_M$ is the identity element, and the inverse of $f$ is the inverse map $f^{-1}$, a diffeomorphism too.\n\nWhen $M$ is compact, $\\operatorname{Diff}(M)$ is an infinite-dimensional Lie group.\nIt is a [[Fréchet manifold|EBMCFQT0JN]] modelled on the space of smooth [[vector fields|0299VCW1TH]] on $M$, with smooth composition and inversion.\nIts Lie algebra is the space of vector fields; with the usual conventions, the bracket is the negative of the Lie bracket of vector fields.\n\n## Remarks\n\nUnlike a finite-dimensional [[Lie group|7JBRGCVJRB]], $\\operatorname{Diff}(M)$ has an [[exponential map|H3QX1ZFC8K]], given by the time-one flow of a vector field, that need not be onto any neighbourhood of the identity.\nThis happens already for $M = S^1$.\nSo some results of finite-dimensional Lie theory fail for diffeomorphism groups.\n\n## Explanations\n\n### L1 human\n\nThe diffeomorphism group of a space collects all ways to deform the space smoothly and reversibly onto itself.\nFor the circle, these are the smooth bijections of the circle with smooth inverse, such as rotations and smooth stretchings.\nDoing one deformation after another is again a deformation, and each can be undone, so they form a group.\nThis group is too big to be a Lie group in the usual sense, since it has infinitely many independent directions, one for each vector field.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "G5S1M9"
    ],
    "kind": "example",
    "msc": [
      "58D05",
      "22E65",
      "57S05"
    ],
    "name": "Diffeomorphism group",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Diffeomorphism"
      }
    ],
    "tag": "WTCNKST134",
    "uses": [
      "0KZZ70ZHXP",
      "F45VQ47GPV",
      "0299VCW1TH",
      "EBMCFQT0JN",
      "7JBRGCVJRB",
      "H3QX1ZFC8K"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/WTCNKST134/",
  "links": [
    {
      "field": "instance_of",
      "target": "G5S1M9"
    },
    {
      "field": "uses",
      "target": "0KZZ70ZHXP"
    },
    {
      "field": "uses",
      "target": "F45VQ47GPV"
    },
    {
      "field": "uses",
      "target": "0299VCW1TH"
    },
    {
      "field": "uses",
      "target": "EBMCFQT0JN"
    },
    {
      "field": "uses",
      "target": "7JBRGCVJRB"
    },
    {
      "field": "uses",
      "target": "H3QX1ZFC8K"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/WTCNKST134.md",
  "msc": [
    "58D05",
    "22E65",
    "57S05"
  ],
  "name": "Diffeomorphism group",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WTC/WTCNKST134.md",
  "status": null,
  "tag": "WTCNKST134",
  "uri": "m2://WTCNKST134",
  "url": "https://tamnd.github.io/math2/wiki/diffeomorphism-group/",
  "writing": {
    "tag": "WTCNKST134",
    "kind": "example",
    "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
      }
    ]
  }
}