Punto fijo
# Punto fijo

En matemáticas, un punto fijo de una función es un punto cuya imagen producida por la función es él mismo. Es decir, x es un punto fijo de la función f si y sólo si $f(x)=x$. Por ejemplo:

1) Si f está definida sobre los números reales como

    $f(x)=x^{2},$

entonces 0 y 1 son los puntos fijos de f, porque f(0) = 0 y f(1) = 1.

2) Si f está definida sobre los números reales como

    $f(x)=x^{2}-3x+4,$

entonces 2 es un punto fijo de f, porque f(2) = 2, y, además, es el único.

No todas las funciones tienen puntos fijos. Por ejemplo, si f es una función definida sobre los números reales como $f(x)=x+1$, entonces f no tiene ningún punto fijo, ya que x no es nunca igual a x + 1 para ningún número real. En términos gráficos, y en el dominio de los reales, que x sea un punto fijo significa que el punto $(x,f(x))$ pertenece a la recta $y=x$, o en otras palabras la gráfica de f tiene un punto en común con esa recta. El ejemplo $f(x)=x+1$ es un caso donde la gráfica de f y la recta y=x son rectas paralelas. Puede verse fácilmente que para la función $f(x)=x$ todos los puntos del dominio son puntos fijos.

Los puntos que vuelven al mismo valor después de un número finito de iteraciones de la función se conocen como puntos periódicos; un punto fijo es un punto periódico con periodo igual a 1.

## Puntos fijos atractivos

Un punto fijo atractivo de una función f es un punto fijo $x_{0}$ de f tal que para cualquier valor de x en el dominio que es bastante cercano a $x_{0}$, la sucesión obtenida iterando la función

    $x,\ f(x),\ f(f(x)),\ f(f(f(x))),\dots$

converge a $x_{0}$. Cuán cerca es "bastante cerca" es a veces una cuestión sutil.

La función coseno natural ("natural" significa en radianes, no grados u otras unidades) tiene exactamente un punto fijo atractivo. En este caso "bastante cerca" no es nada restrictivo, para verlo se puede empezar con cualquier número real y pulsar repetidamente la tecla "cos" de la calculadora. El resultado converge rápidamente a 0,73908513, que es un punto fijo. Aquí es donde la gráfica de la función coseno interseca a la recta $y=x$.

No todos los puntos fijos son atractivos: por ejemplo, $x=0$ es un punto fijo de la función $f(x)=2x$, pero la iteración de esta función para cualquier punto distinto de cero diverge rápidamente. Ahora bien, si la función es continuamente derivable en un entorno abierto del punto fijo $x_{0}$, y $|f\,'(x_{0})|<1$, entonces la atracción está garantizada.

Los puntos fijos atractivos son un caso especial de atractores, que es un concepto matemático más amplio (que el de punto fijo atractivo).

Se dice que un punto fijo atractivo es un punto fijo estable si es también Lyapunov estable.

Se dice que un punto fijo estable es neutralmente estable si es Lyapunov estable pero no atrayente. El centro de una ecuación diferencial lineal homogénea de segundo orden es un ejemplo de un punto fijo neutralmente estable.

## Un ejemplo interesante

Siguiendo el primer capítulo del libro de Sternberg, podemos redactar el resumen del método para calcular los puntos fijos de una función dada $g(x)$ y también descubrir sus propiedades de estabilidad.

Un ejemplo más limpio es el siguiente:

Demostración del ejemplo sugerido. Entonces, si uno comienza la iteración con cualquier punto en $(1,3)$, la iteración converge a $2$. Para cualquier punto inicial en $\left(-\infty ,1\right)\cup \left(3,\infty \right)$ la iteración diverge a infinito positivo o negativo.

## Teoremas de puntos fijos

Hay numerosos teoremas en diferentes partes de las matemáticas que garantizan a las funciones, si cumplen ciertas condiciones, tener al menos un punto fijo.

## Aplicaciones

En muchos campos, "equilibrio" o "estabilidad" son conceptos fundamentales que pueden ser descritos en términos de puntos fijos. Por ejemplo, en economía, un Equilibrio de Nash de un juego es un punto fijo de la mejor respuesta posible de todos los jugadores.

En compiladores, computaciones de puntos fijos son usados para todo un análisis de programa, que suelen ser usados para la optimización de código.

