Lefschetz fixed-point theorem

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (March 2022) (Learn how and when to remove this message)

In mathematics, the Lefschetz fixed-point theorem^[1] is a formula that counts the fixed points of a continuous mapping from a compact topological space ${\displaystyle X}$ to itself by means of traces of the induced mappings on the homology groups of ${\displaystyle X}$. It is named after Solomon Lefschetz, who first stated it in 1926.

The counting is subject to an imputed multiplicity at a fixed point called the fixed-point index. A weak version of the theorem is enough to show that a mapping without any fixed point must have rather special topological properties (like a rotation of a circle).