Es más fácil demostrar una afirmación más general.
Considere $X$ un espacio métrico localmente compacto, $G$ un grupo de isometrías tal que existe un subconjunto compacto $K\subset X$ con $G\cdot K = X$ . Sea $f$ sea una continua $G$ -función periódica de $X$ a otro espacio métrico $Y$ . Entonces $f$ es uniformemente continua.
Prueba:
Considere $\tilde K\supset K$ una vecindad compacta (existe ya que $X$ es localmente compacta). Entonces $\Delta \colon = d(K, X\backslash \tilde K) >0$ . Toma $\epsilon>0$ arbitraria. Existe $\delta= \delta({\epsilon})>0$ tal que $\tilde x_1$ , $\tilde x_2$ en $\tilde K$ , $d(\tilde x_1,\tilde x_2)< \delta$ implica $d(f(\tilde x_1), f(\tilde x_2)) < \epsilon$ . Demostremos que $\delta'= \min(\delta, \Delta)$ trabaja para $f$ en general $X$ . De hecho, considere ahora $x_1$ , $x_2$ en $X$ tal que $d(x_1, x_2) < \delta'$ . Sea $g \in G$ tal que $\tilde x_1 = g x_1 \in K$ . Desde $d(x_1, x_2) = d(gx_1, gx_2)$ obtenemos $d(\tilde x_1, \tilde x_2) < \delta'\le \Delta$ Así que $\tilde x_2 \in \tilde K$ . Ahora también tenemos $d(\tilde x_1, \tilde x_2) < \delta$ Así que $d(f(\tilde x_1), f(\tilde x_2)) < \epsilon$ . Pero tenga en cuenta que $f(x_i) = f(\tilde x_i)$ . Hemos terminado.
Comentario: la idea es: traducir uno de los puntos $x_i$ al dominio fundamental compacto. Bajo la misma traslación, el otro punto caerá en la vecindad compacta del dominio fundamental. Utilicemos ahora la compacidad uniforme de $f$ en $\tilde K$ . Así pues, para el problema original, consideremos $K=[0,p]$ , $\tilde K= [-\Delta, p+\Delta]$ .