Teorema del punto fijo de Lefschetz

Teorema del punto fijo de Lefschetz

En el ámbito de las matemáticas, el teorema del punto fijo de Lefschetz es una fórmula que permite contar el número de puntos fijos de un mapeo continuo desde un espacio topológico compacto X a sí mismo mediante el uso de trazas de los mapeos inducidos en los grupos homólogos de X. Su nombre hace honor a Solomon Lefschetz, quién fue el que lo descubrió en 1926.

El conteo posee una multiplicidad en un punto fijo denominado el índice de punto fijo. Una versión más débil del teorema es suficiente para demostrar que un mapeo sin ningún punto fijo debe tener propiedades topológicas especiales (como ser la rotación de un círculo).

Enunciado

A continuación se presenta el enunciado formal del teorema. Sea

f: X \rightarrow X\,

un mapeo continuo de un espacio triangulable compacto X hacia sí mismo. Se define el número de Lefschetz Λf de f mediante la expresión

\Lambda_f:=\sum_{k\geq 0}(-1)^k\mathrm{Tr}(f_*|H_k(X,\mathbb{Q})),

la suma alternada (finita) de las trazas de matriz de los mapas lineales inducidos por f en el Hk(X,Q), de homología singular de X con coeficientes racionales.

Una versión simple del teorema del punto fijo de Lefschetz establece que: si

\Lambda_f \neq 0\,

entonces f posee por lo menos un punto fijo, es decir existe por lo menos un x en X tal que f(x) = x. En efecto, dado que el número de Lefschetz ha sido definido a nivel de homología, la conclusión puede ser extendida de manera de indicar que cualquier mapa homotópico de f posee también un punto fijo.

Notar sin embargo que en general el reverso no es cierto: Λf puede ser nulo aún si f posee puntos fijos.

Una versión más fuerte del teorema, también conocido como el teorema de Lefschetz-Hopf, establece que, si f posee una cantidad finita de puntos fijos, entonces

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

donde Fix(f) es el conjunto de los puntos fijos de f, y i(f,x) es el índice del punto fijo x.

Véase también

Referencias

  • Solomon Lefschetz (1926). «Intersections and transformations of complexes and manifolds». Trans. Amer. Math. Soc. 28:  pp. 1–49. doi:10.2307/1989171.  jstor
  • Solomon Lefschetz (1937). «On the fixed point formula». Ann. of Math.(4) 38:  pp. 819–822. doi:10.2307/1968838. 

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Teorema del punto fijo — En matemáticas, un teorema del punto fijo es un resultado sobre si una función f tendrá al menos un punto fijo (un punto x para el que f(x) = x). Dependiendo de las condiciones generales que cumple la función se tienen los siguientes teoremas del …   Wikipedia Español

  • Teorema de la bola peluda — Si un campo vectorial sobre una esfera se simboliza por pelos de longitud constante, el teorema de la bola peluda estipula que la esfera contiene al menos un rizo. La figura contiene dos, uno en cada polo. En matemática, y más precisamente en… …   Wikipedia Español

  • Función zeta de Lefschetz — En el ámbito de las matemáticas, la función zeta de Lefschetz es una herramienta utilizada en la teoría de topología periódica y punto fijo, y sistemas dinámicos para mapear ƒ. La función zeta se define por medio de las series: donde L(ƒ n)… …   Wikipedia Español

Compartir el artículo y extractos

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