レフシェッツ不動点定理
この定理のより強い形は、レフシェッツ・ホップの定理(Lefschetz-Hopf theorem)として知られていて、f が有限個の不動点しか持たない場合は、
∑ x ∈ F i x ( f ) i ( f , x ) = Λ f {\displaystyle \sum _{x\in \mathrm {Fix} (f)}i(f,x)=\Lambda _{f}}
であることを言っている。ここに、Fix(f) は f の不動点の集合で、i(f,x) は不動点 x の指数(英語版)(index)を表す。