Me gustaría demostrar que no existe ninguna secuencia de homeomorfismos de un espacio métrico compacto que converja puntualmente a alguna función constante. Sin embargo, no estoy seguro de que este resultado sea cierto; en el caso de que exista tal secuencia me gustaría ver un ejemplo...
Para ser más precisos, tenemos un espacio métrico compacto $K$ (que no es un punto único) y me gustaría saber si existe alguna secuencia $(f_n)_n$ donde $f_n : K \to K$ es un homeomorfismo para cada $n$ , de tal manera que $f_n \to f$ en un punto en el que $f : K \to K$ es una función constante.
Tuve una idea para demostrar que no existe tal secuencia, pero no parece funcionar perfectamente... Aquí está mi idea (tal vez podría ayudar) :
Supongamos que $(f_n)_n$ es una secuencia de este tipo, que converge puntualmente a $f : K \to K : x \mapsto y \quad \forall x \in K$ (donde $y$ es algún punto fijo de $K$ ). Sea $\epsilon > 0$ sea tal que $B(y, \epsilon)$ (la bola abierta centrada en $y$ de radio $\epsilon$ ) es un subconjunto propio de $K$ . Para cada $n$ , $f_n^{-1}(B(y, \epsilon))$ es un subconjunto abierto de $K$ . Así que $\left\{f_n^{-1}(B(y, \epsilon)) \mid n \in \mathbb{N}\right\}$ es una cubierta abierta de $K$ ya que para cada $x \in K$ hay algo de $n$ tal que $f_n(x) \in B(y, \epsilon)$ . Por la compacidad de K, hay alguna $N$ para lo cual $\left\{f_n^{-1}(B(y, \epsilon)) \mid n \leq N\right\}$ cubre K. Esto $N$ es tal que para cada $x \in K$ Hay un poco de $n \leq N$ para lo cual $f_n(x) \in B(y, \epsilon)$ . Esto se parece un poco a la convergencia uniforme de $(f_n)_n$ , pero esto es trivial que $f_n$ no puede converger uniformemente a $f$ . Me gustaría encontrar alguna contradicción aquí pero no encuentro la manera de concluir...
Como ya he dicho, no estoy totalmente convencido de que no exista tal secuencia. Sin embargo, cuando intento construir un ejemplo de tal $(f_n)_n$ no puedo imaginar una secuencia que no sea tal que si $f_n(x) \in B(y, \epsilon)$ para algunos $n$ , $x$ , $\epsilon$ entonces $f_m(x) \in B(y, \epsilon)$ para cada $m \geq n$ . No hay manera de que tal secuencia pueda hacer el truco, por el razonamiento explicado anteriormente.
¿Podría ayudarme, por favor? Gracias de antemano,
Nicolás