レフシェッツ不動点定理
これは、 H k ( X , Q ) {\displaystyle H_{k}(X,\mathbb {Q} )} 上の f {\displaystyle f} により誘導された線型写像の行列のトレースの有限交代和であり、 H k ( X , Q ) {\displaystyle H_{k}(X,\mathbb {Q} )} は有理数を係数にもつ X {\displaystyle X} の特異ホモロジー(singular homology)である。
レフシェッツ不動点定理の単純なバージョンは、次のようになる。
Λ f ≠ 0 {\displaystyle \Lambda _{f}\neq 0\,}
とすると、f は少なくとも一つの不動点を持っている、すなわち、少なくとも X の点 x が一つ存在し、f(x) = x となる。実際、レフシェッツ数はホモロジーレベルで定義されているので、結果は f へホモトピックな写像が同様に一つの不動点を持っているということへ拡張することができる。
しかしながら、一般に逆は正しくはないことに注意する。
f が不動点を持つ場合でも Λf は 0 であることもある。