Bourbaki

Exercise 1, § 2

Functions of a Real Variable, II, 84

Let α\alpha and β\beta be two finite real numbers such that α<β\alpha < \beta. Show that if γ\gamma and δ\delta are two numbers such that α<γ≤δ<β\alpha < \gamma \leq \delta < \beta then there exists a real function ff defined on an interval [0,a][0, a], taking only the values α\alpha and β\beta, such that, on all the interval [ε,a][\varepsilon, a] (for ε>0\varepsilon > 0), ff is a step function and that, if one puts g(x)=∫0xf(t) dtg(x) = \int_0^x f(t)\, dt, one has

lim inf⁡x→0,x>0g(x)x=γ,lim sup⁡x→0,x>0g(x)x=δ; \liminf_{x \to 0, x > 0} \frac{g(x)}{x} = \gamma, \qquad \limsup_{x \to 0, x > 0} \frac{g(x)}{x} = \delta;
(*) (take for gg a function whose graph is a broken line whose consecutive sides have gradients α\alpha and β\beta and whose peaks occur alternately on the lines y=γx, y=δxy = \gamma x, \ y = \delta x for γ≠δ\gamma \neq \delta, or on the line y=γxy = \gamma x and the parabola y=γx+x2y = \gamma x + x^2 for γ=δ\gamma = \delta).

By the same method show that, whether γ\gamma and δ\delta are finite or not (γ<δ\gamma < \delta), there exists a real function ff defined on [0,a][0, a], such that on every interval [ε,a][\varepsilon, a] (for ε>0\varepsilon > 0), ff is a step function, that the integral g(x)=∫0xf(t) dtg(x) = \int_0^x f(t)\, dt exists, and that one again has the relations (*).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.