レフシェッツ不動点定理
この定理を公式に述べると、
f : X → X {\displaystyle f:X\rightarrow X}
をコンパクトな三角化可能空間(英語版)(triangulable space) X からそれ自身への連続写像とする。f のレフシェッツ数(Lefschetz number) Λf を
Λ f := ∑ k ≥ 0 ( − 1 ) k T r ( f ∗ | H k ( X , Q ) ) {\displaystyle \Lambda _{f}:=\sum _{k\geq 0}(-1)^{k}\mathrm {Tr} (f_{*}|H_{k}(X,\mathbb {Q} ))}
により定義する。