{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "6PWN57BW45"
    },
    {
      "field": "uses",
      "target": "GEQV0DZS3W"
    }
  ],
  "body": "\n## Summary\n\nLet $f$ be a self-map of a finite CW complex or compact polyhedron.\nIts Lefschetz number is the alternating sum of the traces of the maps that $f$ induces on rational homology.\nIt depends only on the homotopy class of $f$, and for the identity map it is the Euler characteristic.\nThe Lefschetz fixed-point theorem says that if it is not zero, then $f$ has a fixed point.\n\n## Explanations\n\n### L1 human\n\nA map from a space to itself moves the holes of the space around.\nFor each dimension, the trace measures how much of the homology the map sends back onto itself.\nThe Lefschetz number adds these traces with alternating signs.\nFor a constant map on a connected space, only dimension $0$ counts and the Lefschetz number is $1$, which matches the single fixed point.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "55M20"
    ],
    "name": "Lefschetz number",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Lefschetz_fixed-point_theorem"
      }
    ],
    "tag": "ZSYCA4EGEZ"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/ZSYCA4EGEZ/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/ZSYCA4EGEZ.md",
  "msc": [
    "55M20"
  ],
  "name": "Lefschetz number",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZSY/ZSYCA4EGEZ.md",
  "status": null,
  "tag": "ZSYCA4EGEZ",
  "uri": "m2://ZSYCA4EGEZ",
  "url": "https://math2.tamnd.com/wiki/lefschetz-number/",
  "writing": {
    "tag": "ZSYCA4EGEZ",
    "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
      }
    ]
  }
}