The local fixed point index assigns an integer to an isolated fixed point of a continuous map , where is a neighbourhood of . Choose a small ball containing no other fixed point; thenThe mapping degree counts the zero of the displacement map with its local topological multiplicity. Changing the ball or deforming without allowing a fixed point onto its boundary leaves this index unchanged.
If is differentiable and is invertible, the first-order displacement gives . On the real line, has index at zero, while has index there. A nonzero index forces the existence of a fixed point in the region. Under the hypotheses of the Lefschetz-Hopf fixed-point theorem, the sum of local indices is the global Lefschetz number.
New to topics? Read the docs here!