Pregunta de papel del año pasado.
Dejemos que $(X, d)$ sea un espacio métrico y que $f: X \to \mathbb{R}$ sea una función continua, donde $\mathbb{R}$ se le da la métrica estándar. Supongamos que para cualquier $\epsilon > 0$ el conjunto $\{ x \in X : |f(x)| \geq \epsilon \}$ es un subespacio métrico compacto de $X$ . Demostrar que $f$ es uniformemente continua en $X$ .
Intento:
Dejemos que $\epsilon >0$ se le dará. Sea $K := \{ x \in X : |f(x)| \geq \frac{\epsilon}{2} \}$ . $f$ es continua en $K$ $\implies f$ es continua uniforme en $K$ . Entonces existe $\delta$ tal que $d(x,y)<\delta \implies |f(x)-f(y)| < \frac{\epsilon}{2}$ .
Tome cualquier $2$ puntos $x,y \in X$ , de tal manera que $d(x,y)<\delta$ . Si $x,y \in K$ entonces $|f(x)-f(y)| < \frac{\epsilon}{2} < \epsilon$ . Si $x,y \notin K$ entonces $|f(x)-f(y)| \leq |f(x)|+|f(y)| \leq \frac{\epsilon}{2} + \frac{\epsilon}{2} \leq \epsilon$ .
Pero estoy atascado aquí, porque ¿qué pasa si $x \in K$ y $y \notin K$ .