Let $f:[a,b]\to \Bbb R$ be a uniformly continuous function and define
$$ \omega(\delta) = \sup\{|f(x)-f(y)|:\ x,y\in [a,b], \ \text{ and } |x-y|<\delta\}$$
which we call the modulus of continuity. Prove that $\omega$ is continuous on $(0,\infty)$.
My attempt: Let $\delta\in(0,\infty)$ and $\varepsilon>0$. We want a neighborhood $N_r(\delta)$ such that $\eta\in N_r(\delta)$ implies $|\omega(\eta)-\omega(\delta)|<\varepsilon$. I don't see any reason to pick any particular $r$ so maybe we try to play with $f$ and see what happens.
We know that if $|x-y|<\delta$ then $|f(x)-f(y)|\le \omega(\delta)$.
Perhaps it's worth looking at $\omega(\delta)\pm\varepsilon$. Ignoring for now any concern about $\omega(\delta)-\varepsilon<0$, we could say that there correspond some two $\delta_1,\delta_2$ such that
$$ |x-y|<\delta_1 \Rightarrow |f(x)-f(y)|\le \omega(\delta_1) $$
$$ |x-y|<\delta_2 \Rightarrow |f(x)-f(y)|\le \omega(\delta_2) $$
I don't see any way to use this, though.
Best Answer
We can at least show left continuity fairly easily. Let's let $A(\delta)$ be the set we are taking the supremum over, namely $$A(\delta) = \{|f(x)-f(y)| : x,y\in[a,b], \text{and } |x-y|<\delta\}.$$ Given $\epsilon > 0$ the supremum properties says that there exists an element $z \in A(\delta)$ so that $\omega(\delta) - \epsilon < z$.
But $z$ is of the form $z = |f(x_0) - f(y_0)|$ for some $x_0,y_0\in[a,b]$ with $|x_0-y_0| < \delta.$
We may thus fix $r = \frac{1}{2}(\delta - |x_0-y_0|) > 0$. Let $\eta\in(0,\infty)$ be given so that $0 \leq \delta - \eta < r$.
It should be clear that $A(\eta) \subseteq A(\delta)$ (if $|x-y| < \eta$ then certainly $|x-y| < \delta$). But this means $\omega(\eta) \leq \omega(\delta)$. Notice $$\eta > \delta - r = \frac{1}{2}(\delta + |x_0-y_0|)> \frac{1}{2}(|x_0-y_0| + |x_0-y_0|) = |x_0-y_0|.$$ So since we know $\omega(\delta) - \epsilon < |f(x_0)-f(y_0)|$, it follows that $\omega(\delta) - \epsilon$ cannot be an upper bound on $A(\eta)$. Therefore $\omega(\delta) - \epsilon < \omega(\eta)$. But now $\omega(\delta) - \epsilon < \omega(\eta) \leq \omega(\delta)$ and so of course $|\omega(\eta) - \omega(\delta)| < \epsilon$. This therefore demonstrates left continuity.
For right continuity, we would need a different stipulation on $r$ to ensure $\omega(\eta)$ stays less than $\omega(\delta) + \epsilon$ when $\eta \geq \delta$ (we'd get $\omega(\delta) \leq \omega(\eta)$ for free in this case).