Estoy cursando Análisis Real y hace poco repasamos el Teorema del Punto Fijo de Banach, también conocido comúnmente como Teorema del Mapeo de la Contracción que dice:
Si $(X,d)$ es un espacio métrico completo, y $f:X\to X$ es una contracción, es decir $f$ satisface $$d(f(x),f(y)) \leq L d(x,y)$$ por cada $x,y \in X$ y algunos fijos $L<1$ entonces $f$ tiene exactamente un punto fijo, es decir, existe un único $z \in X$ tal que $f(z)=z$ .
Estaba pensando en una declaración similar para lo que supongo que se llaman mapeos de expansión.
Supongamos que $(X,d)$ es un espacio métrico completo y $f:X\to X$ satisface $$ d(f(x),f(y)) \geq L d(x,y)$$ para algunos fijos $L>1$ y cada $x,y \in X$ con $x\neq y$ . Hace $f$ ¿tiene necesariamente exactamente un punto fijo?
No he podido encontrar un contraejemplo utilizando funciones reales, aunque no he tenido tiempo (debido a los deberes) de pensar mucho más en ello.
He buscado en Google "expansion mapping" y otros términos similares, pero no parece haber ninguna fuente útil sobre el tema que haya podido encontrar. Creo que esta noción de mapeo de expansión es natural después de considerar los mapeos de contracción, así que no sé por qué no parece haber ninguna investigación disponible sobre el tema.
Tengo algunas buenas ideas para tratar de probar esto que podrían ayudar.
En primer lugar, observamos que $f$ debe ser inyectiva, de lo contrario tendríamos dos puntos distintos que se acercan (distancia cero) después de aplicar el mapeo lo que sería una contradicción.
Así, $f$ es invertible a la izquierda. Si tuviera que adivinar, diría que la inversa izquierda de un mapeo de expansión debe ser un mapeo de contracción (con constante recíproca $\frac{1}{L}$ ?). Entonces esa contracción debe tener un punto fijo por el Teorema del punto fijo de Banach. Quizás se pueda demostrar que también debe ser un punto fijo de $f$ sí mismo, no me he tomado el tiempo de ver si los puntos fijos se preservan usando sólo la invertibilidad unilateral.
Cualquier pensamiento, idea, investigación o prueba sobre el tema de los mapeos de expansión es bienvenido.