Dejemos que $\phi\colon\mathbb{R}\to\mathbb{R}$ sea una función que satisfaga $\lvert \phi(x)\rvert \geq 1$ para todos los reales $x$ y $\lvert\phi(x) - \phi(y)\rvert \leq \lvert x - y\rvert $ para todos los reales $x,y$ (por ejemplo $\phi(x) = \cos(x)$ ). Sea
$f(x) = \left\{ \begin{array}{ll} 0 & \mbox{if } x = 0 \\ x\phi(\frac{1}{x}) & \mbox{if } x \neq 0 \end{array} \right.$
Demostrar que $f$ es un mapeo uniformemente continuo desde $\mathbb{R} \to \mathbb{R}$ .
Lo tengo. $\phi(x)$ es Lipschitz con una constante de 1. Parece que uno de los teoremas de Carathéodory podría estar involucrado también.
Gracias.