Lefschetz fixed-point theorem

Lefschetz fixed-point theorem

In mathematics, the Lefschetz fixed-point theorem is a formula that counts the number of fixed points of a continuous mapping from a compact topological space "X" to itself by means of traces of the induced mappings on the homology groups of "X". It is named after Solomon Lefschetz, who first stated it in 1926.

The counting is subject to an imputed multiplicity at a fixed point called the fixed point index. A weak version of the theorem is enough to show that a mapping without "any" fixed point must have rather special topological properties (like a rotation of a circle).

Formal statement

For a formal statement of the theorem, let

:f: X ightarrow X,

be a continuous map from a compact triangulable space "X" to itself. Define the Lefschetz number Λ"f" of "f" by

:Lambda_f:=sum_{kgeq 0}(-1)^kmathrm{Tr}(f_*|H_k(X,mathbb{Q})),

the alternating (finite) sum of the matrix traces of the linear maps induced by "f" on the H"k"("X",Q), the singular homology of "X" with rational coefficients.

A simple version of the Lefschetz fixed-point theorem states: if

:Lambda_f eq 0,

then "f" has at least one fixed point, i.e. there exists at least one "x" in "X" such that "f"("x") = "x". In fact, since the Lefschetz number has been defined at the homology level, the conclusion can be extended to say that any map homotopic to "f" has a fixed point as well.

Note however that the converse is not true in general: Λ"f" may be zero even if "f" has fixed points.

A stronger form of the theorem, also known as the Lefschetz-Hopf theorem, states that, if "f" has only finitely many fixed points, then

:sum_{x in mathrm{Fix}(f)} i(f,x) = Lambda_f,

where Fix("f") is the set of fixed points of "f", and "i"("f","x") denotes the index of the fixed point "x".

Relation to the Euler characteristic

The Lefschetz number of the identity map on a finite CW complex can be easily computed by realizing that each f_* can be thought of as an identity matrix, and so each trace term is simply the dimension of the appropriate homology group. Thus the Lefschetz number of the identity map is equal to the alternating sum of the Betti numbers of the space, which in turn is equal to the Euler characteristic χ("X"). Thus we have:Lambda_{mathrm{id = chi(X).

Relation to the Brouwer fixed point theorem

The Lefschetz fixed point theorem generalizes the Brouwer fixed point theorem, which states that every continuous map from the "n"-dimensional closed unit disk "D""n" to "D""n" must have at least one fixed point.

This can be seen as follows: "D""n" is compact and triangulable, all its homology groups except H0 are 0, and every continuous map "f" : "D""n" → "D""n" induces a non-zero homomorphism "f"* : H0("D""n", Q) → H0("D""n", Q); all this together implies that Λ"f" is non-zero for any continuous map "f" : "D""n" → "D""n".

Historical context

Lefschetz presented his fixed point theorem in [Lefschetz 1926] . Lefschetz's focus was not on fixed points of mappings, but rather on what are now called coincidence points of mappings.

Given two maps "f" and "g" from a manifold "X" to a manifold "Y", the "Lefschetz coincidence number" of "f" and "g" is defined as

:Lambda_{f,g} = sum (-1)^k mathrm{Tr}( D_X circ g^* circ D_Y^{-1} circ f_*),

where "f"∗ is as above, "g"∗ is the mapping induced by "g" on the cohomology groups with rational number coefficients, and "D""X" and "D""Y" are the Poincaré duality isomorphisms for "X" and "Y", respectively.

Lefschetz proves that if the coincidence number is nonzero, then "f" and "g" have a coincidence point. He notes in his paper that letting "X" = "Y" and letting "g" be the identity map gives a simpler result, which we now know as the fixed point theorem.

ee also

*Fixed point theorems
*Fixed point index
*Lefschetz zeta function

References

* [http://www.jstor.org/view/0003486x/di961630/96p0032j/0 jstor]

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Fixed point theorem — In mathematics, a fixed point theorem is a result saying that a function F will have at least one fixed point (a point x for which F ( x ) = x ), under some conditions on F that can be stated in general terms. Results of this kind are amongst the …   Wikipedia

  • Brouwer fixed point theorem — In mathematics, the Brouwer fixed point theorem is an important fixed point theorem that applies to finite dimensional spaces and which forms the basis for several general fixed point theorems. It is named after Dutch mathematician L. E. J.… …   Wikipedia

  • Atiyah–Bott fixed-point theorem — In mathematics, the Atiyah–Bott fixed point theorem, proven by Michael Atiyah and Raoul Bott in the 1960s, is a general form of the Lefschetz fixed point theorem for smooth manifolds M , which uses an elliptic complex on M . This is a system of… …   Wikipedia

  • Fixed point index — In mathematics, the fixed point index is a concept in topological fixed point theory, and in particular Nielsen theory. The fixed point index can be thought of as a multiplicity measurement for fixed points.The index can be easily defined in the… …   Wikipedia

  • Lefschetz zeta function — In mathematics, the Lefschetz zeta function is a tool used in topological periodic and fixed point theory, and dynamical systems. Given a mapping f , the zeta function is defined as the formal series:zeta f(z) = exp left( sum {n=0}^infty L(f^n)… …   Wikipedia

  • Lefschetz duality — In mathematics, Lefschetz duality is a version of Poincaré duality in geometric topology, applying to a manifold with boundary. Such a formulation was introduced by Solomon Lefschetz in the 1920s, at the same time introducing relative homology,… …   Wikipedia

  • Atiyah–Singer index theorem — In the mathematics of manifolds and differential operators, the Atiyah–Singer index theorem states that for an elliptic differential operator on a compact manifold, the analytical index (closely related to the dimension of the space of solutions) …   Wikipedia

  • Théorème du point fixe de Brouwer — En 1886 Henri Poincaré démontre un résultat équivalent au théorème du point fixe de Brouwer. L énoncé exact est prouvé pour la dimension trois par Piers Bohl pour la première fois en 1904, puis par Jacques Hadamard dans le cas général en 1910.… …   Wikipédia en Français

  • Hairy ball theorem — The hairy ball theorem of algebraic topology states that there is no nonvanishing continuous tangent vector field on the sphere. If f is a continuous function that assigns a vector in R3 to every point p on a sphere such that f ( p ) is always… …   Wikipedia

  • Théorèmes de point fixe — En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques, principalement dans le domaine de …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”