{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "G14BVRT221"
    },
    {
      "field": "uses",
      "target": "XGNX9R7Q0Y"
    }
  ],
  "body": "\n## Statement\n\nLet $M$ be a compact smooth manifold and let $f \\colon M \\to M$ be a $C^1$ [[diffeomorphism|0Z1Y7JHGBR]].\nLet $p$ be a [[non-wandering point|EY2W34JZA4]] of $f$.\nGive the space of $C^1$ diffeomorphisms of $M$ the $C^1$ topology, and let $\\mathcal{U}$ be a neighbourhood of $f$ in it.\nThen there is $g \\in \\mathcal{U}$ such that $p$ is a [[periodic point|T75CZ5H47N]] of $g$.\n\n## Remarks\n\nThe result is due to Pugh, and it is often called Pugh's closing lemma.\nSince $p$ is non-wandering, some orbit starting near $p$ returns near $p$.\nThe difficulty is to close this orbit by a perturbation that is small in $C^1$.\nA naive push changes the derivative by about the size of the gap divided by the size of the region where one pushes.\nPugh's argument spreads the push over many returns of the orbit, so that each step is small in $C^1$.\nA consequence is the general density theorem: for a $C^1$-generic diffeomorphism, the periodic points are dense in the non-wandering set.\nThe analogous statement with the $C^r$ topology for $r \\ge 2$ is open in general; it is the tenth of Smale's problems.\n\n## Explanations\n\n### L1 human\n\nA non-wandering point is a point near which some orbits come back again and again.\nThe closing lemma says that by changing the system only very slightly, one can make the point lie on a closed, periodic orbit.\nSo recurrence can always be turned into periodicity at small cost.\n\n### L2 human\n\nThe closing lemma is the basic perturbation tool of $C^1$ generic dynamics.\nTogether with the Kupka–Smale theorem it shows that a $C^1$-generic diffeomorphism has dense hyperbolic periodic points in its non-wandering set.\nIt is a key ingredient in Mañé's proof of the stability conjecture.\nRelated tools are the connecting lemma of Hayashi and Franks' lemma, which also rely on $C^1$-small perturbations.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "EY2W34JZA4",
      "T75CZ5H47N"
    ],
    "kind": "statement",
    "msc": [
      "37C20",
      "37C25"
    ],
    "name": "Closing lemma",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q7258945",
      "wikipedia": "Pugh's closing lemma"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Pugh%27s_closing_lemma"
      }
    ],
    "tag": "E1Z444F6TV",
    "uses": [
      "EY2W34JZA4",
      "T75CZ5H47N",
      "0Z1Y7JHGBR"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/E1Z444F6TV/",
  "links": [
    {
      "field": "about",
      "target": "EY2W34JZA4"
    },
    {
      "field": "about",
      "target": "T75CZ5H47N"
    },
    {
      "field": "uses",
      "target": "EY2W34JZA4"
    },
    {
      "field": "uses",
      "target": "T75CZ5H47N"
    },
    {
      "field": "uses",
      "target": "0Z1Y7JHGBR"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/E1Z444F6TV.md",
  "msc": [
    "37C20",
    "37C25"
  ],
  "name": "Closing lemma",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/E1Z/E1Z444F6TV.md",
  "status": null,
  "tag": "E1Z444F6TV",
  "uri": "m2://E1Z444F6TV",
  "url": "https://tamnd.github.io/math2/wiki/closing-lemma/",
  "writing": {
    "tag": "E1Z444F6TV",
    "kind": "statement",
    "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
      }
    ]
  }
}