IMC 2021 · Problem 4

Day 128th IMC · Online

Statement

Let f ⁣:R→Rf \colon \mathbb{R} \to \mathbb{R} be a function. Suppose that for every ε>0\varepsilon > 0, there exists a function g ⁣:R→(0,∞)g \colon \mathbb{R} \to (0, \infty) such that for every pair (x,y)(x, y) of real numbers,

if∣x−y∣<min⁡{g(x),g(y)},then∣f(x)−f(y)∣<ε.\text{if} \quad |x - y| < \min\{g(x), g(y)\}, \quad \text{then} \quad |f(x) - f(y)| < \varepsilon.

Prove that ff is the pointwise limit of a sequence of continuous R→R\mathbb{R} \to \mathbb{R} functions, i.e., there is a sequence h1,h2,…h_1, h_2, \ldots of continuous R→R\mathbb{R} \to \mathbb{R} functions such that lim⁡n→∞hn(x)=f(x)\lim\limits_{n \to \infty} h_n(x) = f(x) for every x∈Rx \in \mathbb{R}.

Official solution

Hidden so you can work on the problem first.

Proposed by Camille Mau, Nanyang Technological University, Singapore.