Lefschetz fixed-point theorem
Statement
If the Lefschetz number of a map from a compact polyhedron (viz a compact space that is also a polyhedron) to itself is nonzero, then the map has a fixed point.
Corollaries
- Any contractible compact polyhedron has the fixed-point property. More generally, every acyclic compact polyhedron has the fixed-point property
- The Euler characteristic of any compact connected Lie group is zero